米兰达 软件作者：D.A.特纳。 引用于： 150本出版物（1985-2020） 相关软件： 哈斯克尔；毫升；清洁；Nuprl；巴贝尔；自动… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）
落叶松 软件作者：John V.Guttag。；詹姆斯·霍宁。 引用于： 94出版物（1989–2021） 相关软件： JML；埃菲尔；PVS；CASL；莫德；咖啡OBJ… 主要字段： （68Q65-XX）；（68N15-XX）；（68Q60-XX）
信号 软件作者：大卫·诺瓦克；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 引用于： 48本出版物（1987年至2018年） 相关软件： 酯类；卢斯特；托勒密；Simulink；多时性；状态流… 主要字段： （68U99-XX）；（68M01-XX）；（68N15-XX）
OPL公司 软件作者：范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；劳伦·佩伦（Laurent Perron）；Jean-Francois，普吉 引用于： 37出版物（2000-2023） 相关软件： 炸薯条；SALSA；AMPL；CPLEX；锌；COMET… 主要字段： （90C59-XX）；（90C27-XX）
镊子 软件作者：Green，Alexander S。；Lumsdaine，Peter LeFanu；尼尔·J·罗斯。；彼得·塞林格（Peter Selinger）；贝诺缬氨酸 引用于： 30本出版物（2013-2021） 相关软件： QPL；ScaffCC；液体；项目Q；蟒蛇；混合型… 主要字段： （68Q05-XX）；（94C10-XX）
Multilisp公司 软件作者：Robert H.jun，Halstead。 引用于： 29出版物（1985-2019） 相关软件： 甲酚；埃菲尔；莫德；防抱死制动系统；羽量级Java；AmbientTalk… 主要字段： （68W30-XX）；（68N25-XX）；（68N01-XX）
本质 软件作者：艾伦·M·弗里希（Alan M.Frisch）。；沃里克·哈维；克里斯·杰斐逊（Chris Jefferson）；马丁内斯·埃尔南德斯（Martínez-Hernández），伯纳黛特（Bernadette）；伊恩·米格尔 引用于： 26出版物（2008–2023） 相关软件： 微量锌；锌；ESRA；通用电气；彗星；小精灵… 主要字段： （68N15-XX）；（68T20-XX）
PLT兑换 软件作者：费莱森，马提亚斯；布鲁斯·芬德勒；马修·弗拉特 引用于： 22出版物（2009-2022） 相关软件： K校准仪；Coq；哈斯克尔；K工具；奥特；轻量级Java… 主要字段： （68Q55-XX）；（68-01-XX）
项目Q 软件作者：Damian S.Steiger、Thomas Häner、Matthias Troyer 引用于： 6出版物（2019-2022） 相关软件： 蟒蛇；开放费米子；qHiPSTER；液体；草莓地；Quipper… 主要字段： –
OSiL公司 软件作者：罗伯特·福勒；马军；基普·马丁 引用于： 10出版物（2005-2022） 相关软件： AMPL；GAMS；林多；MINOS；安提戈内；MINLPLib… 主要字段： （90-08-XX）；（90Cxx-XX）；（68M11-XX）
推动 软件作者：Lee Spector；艾伦·罗宾逊 引用于： 2出版物（2002年至2004年） 相关软件： PushGP；CUDA；TerpreT；Scikit；Clojush；Python… 主要字段： （68N19-XX）；（68U99-XX）；（68T05-XX）
JSAI公司 软件作者：维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫 引用于： 5出版物（2017-2022） 相关软件： JavaScript；幻影；诺恩；节点.js；PPL；ast… 主要字段： –
森林 软件作者：Robert S.Smith、Michael J.Curtis、William J.Zeng 引用于： 4出版物（2019-2022） 相关软件： 奎珀；液体；项目Q；蟒蛇；ScaffCC；QPL… 主要字段： –
Java日志 软件作者：阿曼迪，安娜拉；马塞洛·坎波；亚历杭德罗·祖尼诺 引用于： 3出版物（2002年至2007年） 相关软件： 高尔夫；奥兹；METATEM公司；莫扎特；图形平面图；商店2… 主要字段： （68N19-XX）；（68N17-XX）；（68N15-XX）
Pengines公司 软件作者：托比恩拉格；Wielemaker，简 引用于： 5出版物（2014-2019年） 相关软件： SWI-预测；R；真实；字符串；原苏铁岩；YAP-Prolog… 主要字段： （68N17-XX）；（68P15-XX）；（68U35-XX）
BioStream公司 软件作者：Thies，William；约翰·保罗·乌尔班斯基（John Paul Urbanski）；托德·托德·托森（Todd Thorsen）；萨曼·阿马拉辛格 引用于： 2出版物（2008年至2020年） 相关软件： COPASI；波特车轮；雏菊 主要字段： （68Q10-XX）
CSSim公司 软件作者：菲利普·布鲁克。；理查德·佩奇（Richard F.Paige）。；杰里米·雅各布。 引用于： 4出版物（2007-2009） 相关软件： 埃菲尔；勺；马戏团；TCOZ；Ada95；布吉… 主要字段： （68N15-XX）；（68N19-XX）
DiSL公司 软件作者：卢卡什·马雷克（LukášMarek）、郑宇迪（Yudi Zheng 引用于： 2出版物（2016-2022） 相关软件： JMeter；方面J；github；Apache Flink；萨维纳；阿克卡普洛夫 主要字段： –
后勤局域网 软件作者：安东尼·克雷茨马尔（Antoni Kreczmar）；安德烈·索尔维基（Andrzej Salwicki）；马雷克·沃佩霍夫斯基 引用于： 4出版物（1985-2016） 相关软件： Simula 67；贝塔 主要字段： （68N15-XX）；（68N01-XX）；（68-01-XX）
PFLP公司 软件作者：桑德拉·戴卢斯（Sandra Dylus）、扬·克里斯蒂安森（Jan Christiansen）、芬兰·蒂根（Finn Teegen） 引用于： 3出版物（2020–2022） 相关软件： 教会；EasyCheck；瑞士；工厂；PAKCS；扁平咖喱… 主要字段： –
NetCore公司 软件作者：克里斯托弗·孟山都；Nate Foster；罗伯·哈里森（Rob Harrison）；大卫·沃克 引用于： 2出版物（2013-2018） 相关软件： 自动参考；nftables；iptables；前列腺素f；路由；ConfigChecker… 主要字段： （68N19-XX）；（68M12-XX）；（68N20-XX）
帕塞尔 软件作者：亚杜·巴布吉、安娜·伍德德、李卓昭、丹尼尔·卡茨、本·克利福德、罗汉·库马尔、卢卡斯·拉金斯基、瑞安·查德、贾斯汀·沃兹尼亚克、伊恩·福斯特、迈克尔·王尔德、凯尔·查德 引用于： 0出版物 相关软件： 蟒蛇；达克；凯拉斯；PyCOMPS；零MQ；TensorFlow… 主要字段： –
数据娱乐 软件作者：迈克尔·阿恩特泽尼乌斯（Michael Arntzenius）；尼拉坎坦·R·克里希纳斯瓦米。 引用于： 2出版物（2016-2022） 相关软件： 哈斯克尔；夏普；哈卡鲁；玩具；汞；教堂… 主要字段： （68N18-XX）；（68N17-XX）
GAMS-NIMBUS公司 软件作者：维萨·奥贾利托；凯萨·米埃蒂宁；Timo Laukkanen 引用于： 2出版物（2014-2019年） 相关软件： 帕累托导航器；油漆；尼姆布斯；非凸Pareto Navigator；IND-NIMBUS公司；游戏… 主要字段： （90C-XX）
Rely公司 软件作者：M.Carbin、S.Misailovic、M.Rinard 引用于： 2出版物（2018–2021） 相关软件： 胡迪尼；布吉；绿色；EnerJ公司；接受；凿子… 主要字段： （68N01-XX）
安全发电机 软件作者：黄珊珊；大卫·佐克；亚尼斯·斯马拉格达基斯 引用于： 2出版物（2011年） 相关软件： 方面J；卡宴；隐喻；OCaml；JBoss；ESC/Java… 主要字段： （68N15-XX）；（68N30-XX）；（68N19-XX）
SecEr公司 软件作者：David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit 引用于： 1出版物（2018） 相关软件： 风吹；PropEr；卡特尔；红虫；埃尔朗；键入… 主要字段： –
DLVM（分布式虚拟机） 软件作者：Richard Wei、Vikram Adve、Lane Schwartz 引用于： 0出版物 相关软件： 卤化物；PyTorch；NNVM；XLA；咖啡馆；LLVM… 主要字段： –
FJ量子 软件作者：塞缪尔·塞缪尔·费托萨（Samuel S.Feitosa）。；朱利安娜·维佐托（Juliana K.Vizzotto）。；爱德华多·K·皮维塔。；安德烈·R·杜波伊斯。 引用于： 1出版物（2016） 相关软件： 轻量级Java 主要字段： （68N15-XX）；（81P68-XX）
森林 软件作者：凯瑟琳·费希尔（Kathleen Fisher）；Nate Foster；大卫·沃克（David Walker）；Zhu，Kenny Q。 引用于： 0出版物 相关软件： 格拉夫维兹 主要字段： （68N18-XX）；（68N25-XX）；（68P20-XX）
Lua Rocks公司 软件作者：穆罕默德·希沙姆；法比奥·马斯卡伦哈斯（Fabio Mascarenhas）；罗伯托·伊鲁萨利姆西 引用于： 0出版物 相关软件： 路易斯安那州 主要字段： （68N15-XX）
元QASM 软件作者：艾米、马修 引用于： 1出版物（2019年） 相关软件： QPL；PyZX；费曼；openQASM；草莓地；Quantum++… 主要字段： （68Q05-XX）；（68Q10-XX）；（81P68-XX）
NetWorkSpace（网络空间） 软件作者：罗伯特·D·比约恩森。；Nicholas J.Carriero。；马丁·舒尔茨（Martin H.Schultz）。；Patrick M.Shields。；斯蒂芬·韦斯顿（Stephen B.Weston）。 引用于： 1出版物（2009年） 相关软件： ElemStatLearn；扭曲的；琳达；雪；插入符号；雪 主要字段： （68N15-XX）；（68N19-XX）
ProGraML软件 软件作者：Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather 引用于： 0出版物 相关软件： 亚当；XLA；TensorFlow；LLVM；神经矢量器；代码2vec 主要字段： –
PyCG公司 软件作者：Vitalis Salis、Thodoris Sotiropoulos、Panos Louridas、Diomidis Spinellis、Dimitris Mitropoulos 引用于： 0出版物 相关软件： ast；守门人；Synode；法官；WALA；节点.js… 主要字段： –
QCOR（质量控制报告） 软件作者：Tiffany M.Mintz、Alexander J.Mccaskey、Eugene F.Dumitrescu、Shirley V.Moore、Sarah Powers、Pavel Lougovski 引用于： 0出版物 相关软件： SciPy；开放费米子；奥奎斯特拉；奇斯基特·特拉；水；Python… 主要字段： –
TryLinks（尝试链接） 软件作者：朱诺·吴（Junao Wu）、阿雷克·米科拉扎克（Arek Mikolajczak）、詹姆斯·切尼（James Cheney） 引用于： 0出版物 相关软件： Pingdom工具；AngularDart；链接 主要字段： –
雅普 软件作者：纪尧姆·鲍达特（Guillaume Baudart）、马丁·赫泽尔（Martin Hirzel）、基兰·凯特（Kiran Kate）、路易斯·曼德尔（Louis Mandel）、阿夫拉哈姆·辛纳（Avraham Shinnar） 引用于： 0出版物 相关软件： 斯坦；蟒蛇；高温；切线；数字Py；PyMC… 主要字段： –
吉莉安 软件作者：何塞·弗拉戈索·桑托斯（JoséFragoso Santos）、彼得·马克西莫维奇（Petar Maksimović）、萨沙·埃利·阿永（Sacha-E lie Ayoun）、菲利普·加德纳（Philippa Gardner） 引用于： 0出版物 相关软件： – 主要字段： –