×

找到18个软件包(结果1-18)

LMFDB公司

259篇文献引用(2014–2024)
软件作者: http://www.lmfdb.org/确认
相关软件: 岩浆;SageMath;GitHub…
主要字段: 数论(11-XX);代数几何(14-XX);特殊功能(33-XX)…

EFD(电子飞行显示器)

59篇文献引用(2007–2023)
软件作者: 丹尼尔·伯恩斯坦(Daniel J.Bernstein);坦尼娅·兰格
相关软件: 25519号曲线;mpFq;SageMath…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

Wolfram功能站点

42篇文献引用(2007–2023)
软件作者: Wolfram研究公司。
相关软件: DLMF;Mathematica;仲裁…
主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…

特尔梅克

23篇文献引用(2013–2023)
软件作者: 拉里萨·马托斯(Larissa A.Matos)。;马科斯·奥·普拉特斯。;陈明慧;维克托·拉科斯(Victor H.Lachos)。
相关软件: R;lmec;MomTrunc…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

semprop公司

17篇文献引用(2002–2022)
软件作者: 莱茨,莱因霍尔德
相关软件: Quaffle;布洛克;QUBOS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

德贾武

引用于8份文件(2018–2022)
软件作者: Havelund,K。;贝利德,D。;D.乌卢斯。
相关软件: LOLA;蒙保利;Java-MOP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿姆斯特克斯

6篇文献引用(1986–1995)
软件作者: 美国数学学会
相关软件: 特克斯;PlainTeX;LaTeX…
主要字段: 计算机科学(68-XX)

kP工作台

5份文件引用(2015–2023)
软件作者: Gheorghe,M.、Ipate,F.、Mierla,L.、Konur,S。
相关软件: 自旋蛋白;NuSMV;莫德…
主要字段: 计算机科学(68-XX)

德夫莫尔

4份文件引用(2002–2021)
软件作者: 皮埃尔·奥格尔(Pierre Auger);吉尔伯特·拉贝尔;皮埃尔·勒鲁
相关软件: 罗宾斯;组织环境信息系统;枫树
主要字段: 历史与传记(01-XX);组合数学(05-XX);统计力学,物质结构(82-XX)

FOOL(足球)

4份文件引用(2015–2021)
软件作者: 科特利尼科夫(Kotelnikov),叶夫根尼(Evgenii);劳拉·科夫亚茨(Laura Kov'acs);安德烈·沃伦科夫
相关软件: TPTP;大锤;SMT-LIB…
主要字段: 计算机科学(68-XX)

对象管理组织

引用于2份文件(2018–2020)
软件作者: Peironcely,J.E。;罗哈斯·切托,M。;Fichera,D。;Reijmers,T。;库利埃,L。;Faulon,J.L。;Hankemeier,T。
相关软件: 鹦鹉螺;踪迹;Gecode…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

CoSA公司

引用于2份文件(2020–2022)
软件作者: Mattarei,C.、Mann,M.、Barrett,C.等人。
相关软件: 尤瑟斯;BtorMC;Pono…
主要字段: 计算机科学(68-XX)

PRe学习

引用于2份文件(2022–2023)
软件作者: 约瑟夫·里夫斯(Joseph E.Reeves)。;马里恩·赫勒。;Randal E.布莱恩特。
相关软件: CaDiCaL;Paracooba;接吻…
主要字段: 计算机科学(68-XX)

GENCRAY公司

1份文件引用(1992)
软件作者: 桑吉瓦Weerawarana;Wang,Paul S。
相关软件: 手指;GENTRAN公司;马西玛…
主要字段: 计算机科学(68-XX)

电子表格编码器

1份文件引用(2023)
软件作者: 陈新云;马尼亚蒂斯,Petros;里沙巴·辛格;查尔斯·萨顿(Charles Sutton);戴、韩军;林,马克斯;周,丹尼
相关软件: SQL生成器;PyGGI;杜松子酒…
主要字段: 计算机科学(68-XX)

3D-Xplor路径

在0个文档中引用
软件作者: David Eck、Hermann Karcher、Richard Palais 3D-XplorMath联盟
相关软件:
主要字段:

在0个文档中引用
软件作者: 克里斯蒂安·帕塔罗
相关软件:
主要字段:

数值解

在0个文档中引用
软件作者: 奥兰多·曼苏尔
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件