米兰达 155篇文献中引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；范畴理论；同调代数（18-XX）…
落叶松 105份文献中引用(1989–2023) 软件作者： 约翰·V·古塔格。；詹姆斯·霍宁。 相关软件： JML；埃菲尔；PVS… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
信号 51份文件中引用(1987–2020) 软件作者： 诺瓦克，大卫；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
镊子 47篇文献引用(2013–2024) 软件作者： Green，Alexander S。；Lumsdaine，Peter LeFanu；尼尔·J·罗斯。；彼得·塞林格（Peter Selinger）；贝诺缬氨酸 相关软件： QPL；ScaffCC；QML… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
口服避孕药 39篇文献引用(2000–2023) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；劳伦·佩伦（Laurent Perron）；Jean-Francois，普吉 相关软件： CPLEX；AMPL；芯片… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
Multilisp公司 31份文件引用(1985–2022) 软件作者： Robert H.jun，Halstead。 相关软件： 甲酚；埃菲尔；莫德… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
本质 27篇文献引用(2008–2023) 软件作者： 艾伦·M·弗里希（Alan M.Frisch）。；沃里克·哈维；克里斯·杰斐逊（Chris Jefferson）；马丁内斯·埃尔南德斯（Martínez-Hernández），伯纳黛特（Bernadette）；伊恩·米格尔 相关软件： 微量锌；锌；ESRA… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；量子理论（81-XX）…
PLT兑换 25篇文献引用（2009年至2022年） 软件作者： 费莱森，马蒂亚斯；布鲁斯·芬德勒；马修·弗拉特 相关软件： Coq；K校准仪；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
项目Q 17篇文献引用（2019年至2024年） 软件作者： Damian S.Steiger、Thomas Häner、Matthias Troyer 相关软件： qHiPSTER；液体；Python… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；量子理论（81-XX）…
M探针 12份文件引用(2001–2021) 软件作者： John W.钦奈克。 相关软件： CVX；DrAmpl；游戏… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OSiL公司 10篇文献引用(2005–2022) 软件作者： 罗伯特·福勒；马军；基普·马丁 相关软件： AMPL；GAMS；LINDO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
推动 引用于3份文件(2002–2023) 软件作者： Lee Spector；艾伦·罗宾逊 相关软件： PushGP；PyshGP；库达… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；运筹学，数学编程（90-XX）
森林 7份文件引用（2019年-2023年） 软件作者： Robert S.Smith、Michael J.Curtis、William J.Zeng 相关软件： github；openQASM；Quipper… 主要字段： 数理逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
JSAI公司 6篇文献引用(2017–2022) 软件作者： 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫 相关软件： JavaScript；幻影；诺恩… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
后勤局域网 5份文件引用(1985–2020) 软件作者： 安东尼·克雷茨马尔（Antoni Kreczmar）；安德烈·索尔维基（Andrzej Salwicki）；马雷克·沃佩霍夫斯基 相关软件： Simula 67；贝塔 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
Pengines公司 5份文件引用(2014–2019) 软件作者： 托比恩拉格；Wielemaker，简 相关软件： SWI Prolog公司；R；真实… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
Rely公司 5份文件引用(2018–2022) 软件作者： M.Carbin、S.Misailovic、M.Rinard 相关软件： 胡迪尼；APL；VeriFast… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
BioStream公司 2份文件引用(2008–2020) 软件作者： Thies，William；约翰·保罗·乌尔班斯基（John Paul Urbanski）；托德·托德·托森（Todd Thorsen）；Amarasinghe，萨曼 相关软件： 科帕西；波特车轮；雏菊 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
CSSim公司 4份文件引用(2007–2009) 软件作者： 菲利普·布鲁克。；理查德·佩奇（Richard F.Paige）。；杰里米·雅各布。 相关软件： 埃菲尔；勺；TCOZ… 主要字段： 计算机科学（68-XX）
DiSL公司 2份文件引用(2016–2022) 软件作者： 卢卡什·马雷克（LukášMarek）、郑宇迪（Yudi Zheng 相关软件： 阿克卡普洛夫；JMeter；Kieker… 主要字段： 计算机科学（68-XX）
帕塞尔 1份文件引用(2023) 软件作者： 亚杜·巴布吉、安娜·伍德德、李卓昭、丹尼尔·卡茨、本·克利福德、罗汉·库马尔、卢卡斯·拉金斯基、瑞安·查德、贾斯汀·沃兹尼亚克、伊恩·福斯特、迈克尔·王尔德、凯尔·查德 相关软件： 蟒蛇；达克；Keras… 主要字段： 数值分析（65-XX）；地球物理学（86-XX）；运筹学，数学编程（90-XX）
PFLP公司 引用于3份文件(2020–2022) 软件作者： 桑德拉·戴卢斯（Sandra Dylus）、扬·克里斯蒂安森（Jan Christiansen）、芬兰·蒂根（Finn Teegen） 相关软件： 教堂；EasyCheck；瑞士… 主要字段： 计算机科学（68-XX）
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；福斯特，内特；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲尔马托… 主要字段： 计算机科学（68-XX）
数据娱乐 2份文件引用(2016–2022) 软件作者： 迈克尔·阿恩特泽尼乌斯（Michael Arntzenius）；尼拉坎坦·R·克里希纳斯瓦米。 相关软件： 汞；哈斯克尔；夏普… 主要字段： 计算机科学（68-XX）
GAMS-NIMBUS公司 2份文件引用(2014–2019) 软件作者： 维萨·奥贾利托；凯萨·米埃蒂宁；Timo Laukkanen 相关软件： 帕累托导航器；油漆；尼姆布斯… 主要字段： 运筹学，数学编程（90-XX）
校样板 1份文件引用（2018年） 软件作者： Caleb Eggensperger公司 相关软件： ACL2；ACuLa博士；DrJava… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SecEr公司 1份文件引用（2018年） 软件作者： David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit 相关软件： 风吹；PropEr；CutEr… 主要字段： 计算机科学（68-XX）
FJ量子 1份文件引用(2016) 软件作者： 塞缪尔·塞缪尔·费托萨（Samuel S.Feitosa）。；朱利安娜·维佐托（Juliana K.Vizzotto）。；爱德华多·K·皮维塔。；安德烈·R·杜波伊斯。 相关软件： 轻量级Java 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
森林 在0个文档中引用 软件作者： 凯瑟琳·费希尔（Kathleen Fisher）；福斯特，内特；大卫·沃克（David Walker）；朱，Kenny Q。 相关软件： 格拉夫维兹 主要字段： ——
Lua Rocks公司 在0个文档中引用 软件作者： 穆罕默德·希沙姆；法比奥·马斯卡伦哈斯（Fabio Mascarenhas）；罗伯托·伊鲁萨利姆西 相关软件： 路易斯安那州 主要字段： 计算机科学（68-XX）
NetWorkSpace（网络空间） 1份文件引用(2009) 软件作者： 罗伯特·D·比约恩森。；Nicholas J.Carriero。；马丁·舒尔茨（Martin H.Schultz）。；Patrick M.Shields。；斯蒂芬·韦斯顿（Stephen B.Weston）。 相关软件： ElemStatLearn；扭曲的；琳达… 主要字段： 计算机科学（68-XX）
皮罗埃特 1份文件引用(2023) 软件作者： 安德鲁·赫施（Andrew K.Hirsch），迪帕克·加格（Deepak Garg） 相关软件： 卡拉斯；类动物；Coq公司 主要字段： 计算机科学（68-XX）
ProGraML软件 在0个文档中引用 软件作者： Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather 相关软件： 亚当；XLA；TensorFlow… 主要字段： ——
PyCG公司 在0个文档中引用 软件作者： Vitalis Salis、Thodoris Sotiropoulos、Panos Louridas、Diomidis Spinellis、Dimitris Mitropoulos 相关软件： ast；看门人；合成码… 主要字段： ——
QCOR（质量控制报告） 在0个文档中引用 软件作者： Tiffany M.Mintz、Alexander J.Mccaskey、Eugene F.Dumitrescu、Shirley V.Moore、Sarah Powers、Pavel Lougovski 相关软件： SciPy；开放费米子；奥奎斯特拉… 主要字段： ——
机器人俚语 1份文件引用(2008) 软件作者： 奥维迪乌塞族人、阿利娜·米隆、卡林·利赫特、米尔恰塞族人和米哈伊·奥尔坦 相关软件： —— 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
简单RaTT 1份文件引用(2023) 软件作者： 帕特里克·巴尔（Patrick Bahr）；格劳伦德（Graulund），克里斯蒂安（Christian）；拉斯穆斯·莫格伯格 相关软件： MiniML；效率；阿格达 主要字段： 计算机科学（68-XX）
TryLinks（尝试链接） 在0个文档中引用 软件作者： 朱诺·吴（Junao Wu）、阿雷克·米科拉扎克（Arek Mikolajczak）、詹姆斯·切尼（James Cheney） 相关软件： Pingdom工具；安格拉达特；链接 主要字段： ——
雅普 在0个文档中引用 软件作者： 纪尧姆·鲍达特（Guillaume Baudart）、马丁·赫泽尔（Martin Hirzel）、基兰·凯特（Kiran Kate）、路易斯·曼德尔（Louis Mandel）、阿夫拉哈姆·辛纳（Avraham Shinnar） 相关软件： 迈亚；PyCmdStan；PyStan… 主要字段： ——
吉莉安 在0个文档中引用 软件作者： 何塞·弗拉戈索·桑托斯（JoséFragoso Santos）、彼得·马克西莫维奇（Petar Maksimović）、萨沙·埃利·阿永（Sacha-E lie Ayoun）、菲利普·加德纳（Philippa Gardner） 相关软件： —— 主要字段： ——