LISP公司 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OMNet公司++ 33篇文献引用(2001–2021) 软件作者： 安德拉斯·瓦尔加 相关软件： ns-2；和弦；GloboSim… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
项目Q 17篇文献引用（2019年至2024年） 软件作者： Damian S.Steiger、Thomas Häner、Matthias Troyer 相关软件： qHiPSTER；液体；Python… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；量子理论（81-XX）…
液体 13份文件引用(2018–2023) 软件作者： Dave Wecker、Krysta M.Svore 相关软件： qHiPSTER；项目Q；Python… 主要字段： 数论（11-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
塑料 18篇文献引用(2000–2023) 软件作者： 保罗·卡拉汉 相关软件： 乐高；Coq；ALF… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
利巴夫 12份文件引用(2011–2022) 软件作者： Benedikt Bollig；Joost-Pieter Katoen；卡斯滕·克恩（Carsten Kern）；马丁·勒克；丹尼尔·奈德；大卫·R·皮格登 相关软件： LearnLib；西格玛*；COMICS… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
孢子虫 在11份文件中引用(2011–2020) 软件作者： Lennart C.L.Kats；埃尔科·维瑟 相关软件： Stratego；JastAdd；SugarJ… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
Polyglot公司 7份文件引用(2003–2015) 软件作者： 纳撒尼尔·奈斯特罗姆；迈克尔·R·克拉克森。；安德鲁·迈尔斯（Andrew C.Myers）。 相关软件： JastAdd；ANTLR；赋格… 主要字段： 计算机科学（68-XX）
Xtext（扩展文本） 6篇文献引用(2013–2019) 软件作者： eclipse.org 相关软件： 孢子虫；Stratego；ANTLR… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
迷你凯恩人 9份文件引用(2008–2022) 软件作者： Daniel P.Friedman、William E.Byrd、Oleg Kiselyov 相关软件： 卡恩；自动化；汞… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
PSync（同步） 9份文件引用(2016–2023) 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格（Thomas A.Henzinger）。；达米安·祖弗里 相关软件： 威尔第；常春藤；ByMC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
资产负债管理 8份文件引用（2012年至2020年） 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
MFront（前端） 8份文件引用(2015–2024) 软件作者： 托马斯·海尔弗（Thomas Helfer）；布鲁诺·米歇尔；Jean-Michel Proix；马克西姆·萨尔沃；杰罗姆·塞尔科姆；米歇尔·卡塞拉 相关软件： 编码主体；FEniCS；PETSc… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；光学、电磁理论（78-XX）…
LoPSiL公司 5份文件引用（2009年-2023年） 软件作者： 杰·利加蒂（Jay Ligatti）；比利·里基；纳林·赛加尔 相关软件： 方面J；BCEL；TaintDroid公司 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
LMS公司 5份文件引用(2010–2022) 软件作者： 蒂亚克·隆普夫（Tiark Rompf），马丁·奥德斯基（Martin Odersky） 相关软件： 科卡；博客；TMB… 主要字段： 计算机科学（68-XX）
URSA公司 6篇文献引用(2012–2022) 软件作者： 贾尼奇，P。 相关软件： z3；卡环；MiniSat… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
APLEpy公司 4份文件引用(2008–2017) 软件作者： 苏莱曼·卡拉布克 相关软件： 蟒蛇；AIMMS；皮奥莫… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
CDAO商店 4份文件引用(2011–2022) 软件作者： Brandon Chisham；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao；本·赖特 相关软件： aspeed；LPaaS；GHC… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
美兰尼 5份文件引用（2019年-2023年） 软件作者： 阿恩·兰格（Arne Lange）、科林·阿特金森（Colin Atkinson）；Gerbig，R.等人。 相关软件： AToMPM；梅兰热；安… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
MontiCore公司 引用于3份文件(2016–2021) 软件作者： 霍尔格·克拉恩（Krahn，Holger）；伦佩，伯恩哈德；史蒂文·沃尔克尔 相关软件： 梦幻岛；ANTLR；Spoofax… 主要字段： 计算机科学（68-XX）
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
德维托 引用于3份文件(2020) 软件作者： 纳瓦约特·库克雷加、马蒂亚斯·卢布廷、费利佩·维埃拉、法比奥·卢波里尼、迈克尔·兰格、杰勒德·戈尔曼 相关软件： 蟒蛇；朱莉娅；mpi4jax… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DiSL公司 2份文件引用(2016–2022) 软件作者： 卢卡什·马雷克（LukášMarek）、郑宇迪（Yudi Zheng 相关软件： 阿克卡普洛夫；JMeter；Kieker… 主要字段： 计算机科学（68-XX）
长石 2份文件引用(2015–2016) 软件作者： E.Axelsson、K.Claessen、G.Devai、Z.Horvath、K.Keijzer、B.Lyckegard、A.Persson、M.Sheeran、J.Sveningsson、A.Vajda 相关软件： 熔岩；哈斯克尔；旋风… 主要字段： 计算机科学（68-XX）
F路径 在0个文档中引用 软件作者： David，P.-C.，Ledoux，T.，Coupaye，T..，Léger，M。 相关软件： FScript；OCaml；xMAML… 主要字段： 计算机科学（68-XX）
F脚本 在0个文档中引用 软件作者： David，P.-C.，Ledoux，T.，Coupaye，T..，Léger，M。 相关软件： FPath；OCaml；xMAML… 主要字段： 计算机科学（68-XX）
流氓 引用于3份文件(2010–2013) 软件作者： 希尔斯，马克；Paul Klint；Jurgen J.文朱。 相关软件： 莫德；Stratego；Xtext… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
糖J 2份文件引用(2015–2020) 软件作者： Erdweg，S.、Rendel，T.、Kastner，C.、Ostermann，K。 相关软件： 孢子虫；JastAdd；Twelf… 主要字段： 计算机科学（68-XX）
墨西哥煎玉米卷 引用于3份文件(2013–2018) 软件作者： 克里斯蒂安·柯奇斯（Christian Kirches）；斯文·莱弗尔 相关软件： Optimica；JModelica；Ipopt… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
未绑定 4份文件引用(2011–2019) 软件作者： 斯蒂芬妮·威里奇；布伦特·A·约基。；蒂姆·谢尔德 相关软件： Isabelle/HOL；Psi结石；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
梅兰奇 引用于3份文件（2019年-2023年） 软件作者： Degueule T、Combemale B、Blouin A、Barais O、Jézéquel J-M 相关软件： 黑色素；莫德；AToMPM… 主要字段： 计算机科学（68-XX）
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；福斯特，内特；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲尔马托… 主要字段： 计算机科学（68-XX）
Terra公司 2份文件引用（2015年至2022年） 软件作者： Zachary DeVito、James Hegarty、Alex Aiken、Pat Hanrahan、Jan Vitek 相关软件： 链子；DyNet；宏复制… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
vlogsl语言 引用于3份文件(2011–2013) 软件作者： Michael Katelman；何塞·梅塞盖尔 相关软件： 莫德；Java+ITP；K校准仪… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
色度 2份文件引用(2018–2022) 软件作者： 霍诺拉托·齐梅尔（Honorato Zimmer），里卡多（Ricardo）；安德鲁·米勒（Andrew J.Millar）。；戈登·普洛金（Gordon D.Plotkin）。；扎迪利斯，阿格里斯 相关软件： PySB；BioNetGen；eBCGen… 主要字段： 生物学和其他自然科学（92-XX）
数据娱乐 2份文件引用(2016–2022) 软件作者： 迈克尔·阿恩特泽尼乌斯（Michael Arntzenius）；尼拉坎坦·R·克里希纳斯瓦米。 相关软件： 汞；哈斯克尔；夏普… 主要字段： 计算机科学（68-XX）
ExaSlang（考试俚语） 2份文件引用(2020–2022) 软件作者： C.Schmitt、S.Kuckuk、F.Hannig、H.Köstler、J.Teich 相关软件： 模板；FESTUNG公司；MODESTO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
ExaStencils考试 2份文件引用(2022–2023) 软件作者： 克里斯蒂安·伦格尔（Christian Lengauer）；斯文·阿佩尔；马蒂亚斯·波尔滕；千叶、茂鲁；乌尔里奇吕德；Teich，Jürgen；阿明·格里格林格；Frank Hannig；哈拉尔德·科斯特勒；克劳斯、丽莎；亚历山大·格雷巴恩（Alexander Grebhahn）；格罗斯，斯特凡；斯特凡·克罗纳维特；塞巴斯蒂安·库库克；汉娜·瑞蒂奇；克里斯蒂安·施密特（Christian Schmitt）；乔纳斯·施密特 相关软件： ExaSlang；FESTUNG公司；帕拉博斯… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）…
KUKA机器人语言 2份文件引用(2015–2021) 软件作者： 亨利克·穆赫（Henrik Mühe）、安德烈亚斯·安格勒（Andreas Angerer）、阿尔文·霍夫曼（Alwin Hoffmann）、沃尔夫冈·雷夫（Wolfgang Reif） 相关软件： 机器人API 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
lang-n-play语言 2份文件引用(2020) 软件作者： 本杰明·穆拉德（Benjamin Mourad）；马蒂奥·奇米尼 相关软件： 奥特；Twelf公司；SugarJ… 主要字段： 计算机科学（68-XX）
MODESTO公司 2份文件引用(2020–2023) 软件作者： T.Gysi、T.Grosser、T.Hoefler 相关软件： Firedrake；ExaSlang；Petalisp… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
我的CoG。净值 1份文件引用(2009) 软件作者： Arumugam Paventhan、Kenji Takeda、Simon J.Cox、Denis A.Nicole 相关软件： MPICH-G2；WebSphere；DiPerF… 主要字段： 计算机科学（68-XX）
TerpreT公司 在0个文档中引用 软件作者： 亚历山大·冈特（Alexander L.Gaunt）、马克·布洛克施密特（Marc Brockschmidt 相关软件： Scikit；Clojush；按下… 主要字段： ——
ACCIO公司 1份文件引用(2021) 软件作者： Primault，V。；Maouche，M。；Boutet，A。；莫赫塔尔，S.B。；Bouchenak，S。；L·布鲁尼 相关软件： github；sdcMicro；ARX… 主要字段： 计算机科学（68-XX）
DIAsDEM公司 1份文件引用(2002) 软件作者： Henner Graubitz、Myra Spiliopoulou、Karsten Winkler 相关软件： WUM公司 主要字段： 计算机科学（68-XX）
数字参考文献 在0个文档中引用 软件作者： Nick Spadaccini、Ian R Castleden、Doug du Boule、Sydney R Hall 相关软件： 蟒蛇；CrystalInfoFramework.jl；DrelTools… 主要字段： ——
森林 在0个文档中引用 软件作者： 凯瑟琳·费希尔（Kathleen Fisher）；福斯特，内特；大卫·沃克（David Walker）；朱，Kenny Q。 相关软件： 格拉夫维兹 主要字段： ——
通知 1份文件引用(2020) 软件作者： Moore DG、Valentini G、Walker SI、Levin M 相关软件： 口形；R（右） 主要字段： 流体力学（76-XX）；生物学和其他自然科学（92-XX）
元模型Isabelle 1份文件引用(2016) 软件作者： Tuong神父；伯克哈特·沃尔夫 相关软件： Coq；Isabelle/HOL；密度编译器… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
ML2级 在0个文档中引用 软件作者： Armin Moin、Stephan Rössler、Marouane Sayih和Stephan Günnemann 相关软件： KNIME；推断。网络；ThingML… 主要字段： ——
OpenMETA公司 在0个文档中引用 软件作者： 贾诺斯·什蒂帕诺维茨（Janos Sztipanovits）；泰德·巴普蒂；尼玛、桑迪普；拉里·霍华德；伊桑·杰克逊 相关软件： OpenModelica；z3（零3） 主要字段： 计算机科学（68-XX）
文本X 1份文件引用(2021) 软件作者： Dejanović，I。；瓦德纳，R。；Milosavljević，G。；武科维奇。 相关软件： mCRL2；GPU棱镜；CUDA公司 主要字段： 计算机科学（68-XX）
特征记录J 1份文件引用(2022) 软件作者： Bettini，L.、Damiani，F.、Schaefer，I.、Strocco，F。 相关软件： 达夫尼；罗丹；特征CbC… 主要字段： 计算机科学（68-XX）
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： ——
暗房 在0个文档中引用 软件作者： 詹姆斯·赫加蒂（James Hegarty）；John Brunhaver；德维托，扎卡里；乔纳森·拉根·凯利；科恩，诺伊；史蒂文·贝尔（Steven Bell）；阿特姆·瓦西利耶夫；马克·霍洛维茨（Mark Horowitz）；帕特·汉拉罕 相关软件： —— 主要字段： ——
NESTML公司 在0个文档中引用 软件作者： 迪米特里·普洛特尼科夫（Dimitri Plotnikov）、伯恩哈德·伦佩（Bernhard Rumpe）、英加·布伦德尔（Inga Blundell）、坦莫·伊彭（Tammo Ippen）、约钦·马丁·埃普勒（Jochen Martin Eppler）、艾 相关软件： —— 主要字段： ——