GEX公司 34份文件引用(1996年-2023年) 软件作者: Gao,X.-S.等。 相关软件: GeoGebra;日本国债交易所;GCLC… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);数值分析(65-XX)…
MMP/几何仪 15篇文献引用(2004–2023) 软件作者: 高小山;林强(Lin,Qiang) 相关软件: GEX;GCLC;GeoGebra… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);数值分析(65-XX)…
ArgoCLP公司 在14份文件中引用(2011–2023) 软件作者: 萨那斯托亚诺维奇;巴甫洛维奇,韦斯纳;贾尼契奇,普雷德拉格 相关软件: Coq;GCLC;TPTP… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)…
埃利米诺 6篇文献引用(1999–2005) 软件作者: 吴永伟;廖伟东;林,东岱;Wang,Paul S。 相关软件: SACLIB;OMEI;DisCAS… 主要字段: 场论与多项式(12-XX);实函数(26-XX);复变量函数(30-XX)…