×

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

动态数学

32篇文献引用(2001–2018)
软件作者: DFKI&萨尔大学
相关软件: OMDoc;枫树;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

甘道夫

35篇文献引用(1996–2018)
软件作者: 塔内尔·塔米特
相关软件: TPTP;Isabelle/HOL;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

质量管理团队

22篇文献引用(2012–2022)
软件作者: 弗洛里安·拉贝
相关软件: MMT;米扎尔;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

VMEXT公司

6篇文献引用(2017–2022)
软件作者: 莫里茨·舒博茨(Moritz Schubotz);诺曼·穆什克;托马斯·赫普(Thomas Hepp);霍华德·科尔。;吉普,贝拉
相关软件: DLMF;CiteFlag公司;LaTeXML…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)

筛选结果依据…