基础知识 43篇文献引用(2011–2023) 软件作者： 罗伯特·布雷顿；阿兰·米什琴科 相关软件： MiniSat；爱格；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
项目Q 17篇文献引用(2019–2024) 软件作者： Damian S.Steiger、Thomas Häner、Matthias Troyer 相关软件： qHiPSTER；液体；Python… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Lambda-Clam公司 24篇文献引用(1997–2012) 软件作者： J.Richardson、A.Smaill、I.Green 相关软件： IsaPlanner公司；Nuprl；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Verilog公司 9份文件引用(1999–2020) 软件作者： 斯图亚特·萨瑟兰 相关软件： VPI；电源保护；卡米… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
博西 9份文件引用(2019–2021) 软件作者： 彼得·费蒙维尔（Peter Faymonville）；芬克贝纳（Bernd Finkbeiner）；Leander Tentrup公司 相关软件： 条纹；SPOT；相思树+… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
X模糊 5份文件引用(2001–2021) 软件作者： D.R.Lopez；C.J.Jimenez；I.巴图隆；A.巴里加；S.桑切斯·索拉诺 相关软件： XFL3；NEFCLASS-X；FuzzyLogic.jl… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
AMYTISS公司 8份文件引用(2020–2023) 软件作者： 拉瓦伊（Lavaei），阿波法兹尔（Abolfazl）；马哈茂德·哈立德；萨代赫·苏贾尼；马吉德·扎马尼 相关软件： FAUST2；SReachTools；ProbReach… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
CRISP公司 7份文件引用(2001–2020) 软件作者： 彼得·奥佩克（Pieter Op de Beeck）、弗朗西斯科·巴拉特（Francisco Barat）、穆拉利·贾亚帕拉（Murali Jayapala）和鲁迪·劳韦林斯（Rudy Lauwereins） 相关软件： KNIME；R；MODL… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MAHA公司 5份文件引用(1995–2007) 软件作者： A.Parker、J.Pizarro、M.Mlinar 相关软件： 西瓦；火焰；森林狼… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
p面 7份文件引用(2019–2022) 软件作者： 马哈茂德·哈立德；马吉德·扎马尼 相关软件： SCOTS；ROCS；CoSyma… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
SyReC公司 7份文件引用(2012–2023) 软件作者： Wille，R.、Offermann，S.、Drechsler，R。 相关软件： RevLib；LRinv；Quipper… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
波利斯 6篇文献引用(2002–2007) 软件作者： 马西莫·巴莱尼；马西莫·孔蒂（Massimo Conti）；法拉利，阿尔贝托；瓦莱里奥·弗雷斯科拉；阿尔贝托Sangiovanni-Vincentelli 相关软件： 多时性；糠；MiBench… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DSP生成器 4份文件引用(2008–2021) 软件作者： Altera公司 相关软件： Matlab；Simulink；gpuls-mwcp… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SAFL公司 5份文件引用(2000–2007) 软件作者： 阿兰·迈克罗夫特（Alan Mycroft）；理查德·夏普 相关软件： Handel-C；系统C；Cayenne… 主要字段： 计算机科学（68-XX）
SystemVerilog公司 5份文件引用(2004–2014) 软件作者： 萨瑟兰，斯图亚特；西蒙·戴维曼；皮特·弗莱克 相关软件： 哈斯克尔；vlogsl；DART… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PRISM-PSY公司 4份文件引用(2018) 软件作者： 乔什卡，M.，Pilař，P.，Paoletti，N.，Brim，L.，Kwiatkowska，M。 相关软件： 棱镜；PROPhESY公司；PPL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
SC图表 2份文件引用(2015–2018) 软件作者： R.von Hanxleden等人。 相关软件： 酯类；卢斯特；VerCors… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
CGMurphi公司 2份文件引用(2013–2021) 软件作者： 朱塞佩·德拉·佩纳；贝内代托（Benedetto）的Intrigila；Daniele Magazzeni；伊戈尔·梅拉蒂；恩里科·特隆西 相关软件： UPPAAL TIGA公司 主要字段： 系统论；控制（93-XX）
MatryODShka公司 2份文件引用(2022–2023) 软件作者： 本杰明·阿塔尔（Benjamin Attal）、赛琳娜·玲（Selena Ling）、亚伦·戈卡斯兰（Aaron Gokaslan）、克里斯蒂安·理查德（Christian Richardt）、詹姆斯·汤普金 相关软件： 布里斯克；效率Det；面2面… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PyLog软件 1份文件引用(2021) 软件作者： 黄思涛；吴坤；Jeong，Hyunmin；王成岳；陈德铭；吴文美 相关软件： AutoSA；PYNQ；PyRTL… 主要字段： 计算机科学（68-XX）
QuaSiMo公司 在0个文档中引用 软件作者： Thien Nguyen、Lindsay Bassman、Phillip C.Lotshaw、Dmitry Lyakh、Alexander McCaskey、Vicente Leyton Ortega、Raphael Pooser、Wael Elwasif、Travis S.Humble、Wibe A.de Jong 相关软件： SciPy；开放费米子；QCOR… 主要字段： –
比赛 1份文件引用(2010) 软件作者： 罗珊·拉格尔（Roshan Ragel）；安杰洛·安布罗斯；Jorgen Peddersen；斯里·帕拉梅斯瓦兰 相关软件： – 主要字段： 计算机科学（68-XX）
暗房 在0个文档中引用 软件作者： 詹姆斯·赫加蒂（James Hegarty）；John Brunhaver；扎卡里·德维托；乔纳森·拉甘·凯利（Jonathan Ragan-Kelley）；诺伊·科恩；史蒂文·贝尔（Steven Bell）；阿特姆·瓦西利耶夫；马克·霍洛维茨（Mark Horowitz）；帕特·汉拉罕 相关软件： – 主要字段： –