FunGrim: A Symbolic Library for Special Functions

机译：FunGrim：特殊功能的符号库

获取原文

获取外文期刊封面目录资料

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

We present the Mathematical Functions Grimoire (Fun-Grim), a website and database of formulas and theorems for special functions. We also discuss the symbolic computation library used as the backend and main development tool for FunGrim, and the Grim formula language used in these projects to represent mathematical content semantically.

机译：我们介绍了数学函数Grimoire（Fun-Grim），这是一个特殊函数的公式和定理的网站和数据库。我们还将讨论用作FunGrim的后端和主要开发工具的符号计算库，以及这些项目中用于语义表示数学内容的Grim公式语言。

著录项

来源
《International Congress on Mathematical Software》|2020年|315-323|共9页
会议地点
作者
Fredrik Johansson;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Special functions; Symbolic computation; Mathematical databases; Semantic mathematical markup;

机译：特殊功能;符号计算;数学数据库;语义数学标记;

相似文献

外文文献
中文文献
专利

1. The action of the special orthogonal group on planar vectors: integrity bases via a generalization of the symbolic interpretation of Molien functions [J] . Dhont Guillaume, Patras Frederic, Zhilinskii Boris I. Journal of physics, A. Mathematical and theoretical . 2015,第3期

机译：特殊正交群对平面向量的作用：完整性基于对Molien函数的符号解释的概括
2. A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions [J] . Amparo Gil, Javier Segura urnal of Symbolic Computation . 2003,第5期

机译：正交多项式和特殊函数零点的符号和数值组合算法
3. Abstracting symbolic matrices Special issue on artificial intelligence and symbolic computation [J] . Randa Almomen, Alan P. Sexton, Volker Sorge Annals of Mathematics and Artificial Intelligence . 2012,第4期

机译：抽象符号矩阵有关人工智能和符号计算的特刊
4. Tutorial 2: Symbolic Manipulation, Summation, and Integration of Special Functions and Combinatorial Sequences: The Holonomic Approach [C] . Frederic Chyzak International Symposium on Symbolic and Algebraic Computation . 1999

机译：教程2：特殊功能的符号操纵，总和和集成和组合序列：定期方法
5. Information technology (IT) and the special library: An exploratory study of special libraries in Western Pennsylvania. [D] . Freedman, Phyllis D. 1989

机译：信息技术（IT）和特殊图书馆：西宾夕法尼亚州特殊图书馆的探索性研究。
6. Organic Synthesis Toward Small-Molecule Probes and Drugs Special Feature: Creation and manipulation of common functional groups en route to a skeletally diverse chemical library [O] . Jiayue Cui, Jason Hao, Olesya A. Ulanovskaya, 2011

机译：面向小分子探针和药物的有机合成特殊功能：常见功能基团的创建和操作途经骨架多样的化学文库
7. A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions [O] . Gil Amparo, Segura Javier 2003

机译：正交多项式和特殊函数零点的符号和数值组合算法
8. AMOSLIB: A Special Function Library Version 9/77. [R] . amos, d. e. daniel, s. l. 1978

机译：amOsLIB：特殊功能库版本9/77。

FunGrim: A Symbolic Library for Special Functions

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅