×

找到3个软件包（结果1-3）

引文 按字母顺序

波特玛

9份文件引用(1969–2020)
软件作者： 杨璐；夏世宏
相关软件： 枫树；发现者；QEPCAD…
主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；几何（51-XX）…

SymProve3公司

2份文件引用(2013–2017)
软件作者： 陈胜利；陈良玉
相关软件： 波特玛；QEPCAD；枫树
主要字段： 几何（51-XX）；计算机科学（68-XX）

博特马

引用于1份文件(2018)
软件作者： 黄方建
相关软件： 枫树
主要字段： 几何（51-XX）；计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段