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