ConGolog公司 40篇文献引用(1999–2022) 软件作者： 德贾科莫；Lespérance，Y。；H.J.列夫斯克。 相关软件： 高尔夫；AgentSpeak；METATEM… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
FlexRiLoG公司 5份文件引用(2020–2023) 软件作者： 乔治·格拉塞格（Georg Grasegger）、简·莱杰斯克（Jan Legersk） 相关软件： 拉曼图；SageMath；github 主要字段： 组合数学（05-XX）；几何（51-XX）；凸和离散几何（52-XX）…
VeriPhy公司 6篇文献引用(2018–2022) 软件作者： Brandon Bohrer、Yong Kiam Tan、Stefan Mitsch、Magnus O.Myreen、AndréPlatzer 相关软件： 凯伊迈拉；Coq；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
CLUCalc公司 4份文件引用(2017–2021) 软件作者： J.Hrdina；A.Návrat；P.Vaík；R.马图舍克 相关软件： 微分几何；盖根；枫树… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；微分几何（53-XX）…
DQ机器人 1份文件引用(2021) 软件作者： 布鲁诺·维莱纳·阿多诺（Bruno Vilhena Adorno）、穆里洛·马奎斯·马里尼奥（Murilo Marques Marinho） 相关软件： —— 主要字段： 数论（11-XX）；系统论；控制（93-XX）
弹道 1份文件引用(2017) 软件作者： Semushin，InnokentiĭVasil'evich作者简介；安德烈·齐加诺夫（Andre Tsiganov，Vladimirovich）；尤利娅·弗拉基米洛夫纳（Yuliya Vladimirovna）·茨加诺娃（Tsyganova）；阿列克斯·格卢布科夫（Alekse Golubkov，Vladimirovich）；斯坦尼斯拉夫·德米特里维奇·维诺库罗夫 相关软件： Matlab公司 主要字段： 系统论；控制（93-XX）