动态数学 32篇文献引用(2001–2018) 软件作者: DFKI&萨尔大学 相关软件: OMDoc;枫树;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
VMEXT公司 6篇文献引用(2017–2022) 软件作者: 莫里茨·舒博茨(Moritz Schubotz);诺曼·穆什克;托马斯·赫普(Thomas Hepp);霍华德·科尔。;吉普,贝拉 相关软件: DLMF;CiteFlag公司;LaTeXML… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)