×

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

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)…

DisCAS公司

1份文件引用(2004)
软件作者: 吴永伟;杨光文;郑伟民;林东岱
相关软件: 埃利米诺
主要字段: 计算机科学(68-XX)

NOPH(氮氧化物)

1份文件引用(2014)
软件作者: 刘银平
相关软件: 枫树
主要字段: 常微分方程(34-XX);数值分析(65-XX)

筛选结果依据…