生物-PEPA 97篇文献引用(2008–2024) 软件作者： Federica Ciocchetta、Maria Luisa Guerriero、Vashti Galpin、Jane Hillston、Giulio Caravagna、Allan Clark、Andrea Degasperi、Adam Duguid、Kanimozhi Ellavarason、Stephen Gilmore、Laurence Loewe、Dimitrios Milios 相关软件： 政治公众人物协议；棱镜；生物活性炭… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
里奥 90篇文献引用(2003–2023) 软件作者： 马特杰·杜尼克 相关软件： 琳达；莫德；mCRL2… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
防抱死制动系统 33篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CMC公司 31份文件引用(2000–2020) 软件作者： 弗朗索瓦·拉鲁西尼；金·拉森 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
PHREEQC公司 31份文件引用(2004–2023) 软件作者： 帕克赫斯特，D.L.，阿佩洛，C.J 相关软件： PhreeqcRM；水文地球化学；MoMaS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
垫片 30篇文献引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
管道 28篇文献引用(2002–2017) 软件作者： 萨加尔·查基；Rajamani，Sriram K。；Jakob Rehof 相关软件： SLMC；旋风；PiDuce… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
苏普雷米卡 26篇文献引用（2009年-2023年） 软件作者： 克努特·阿克森；马丁·费边（Martin Fabian）；雨果·弗洛达尔；罗比·马利克 相关软件： UMDES；TCT；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
fc2工具 12份文件引用(1999–2022) 软件作者： Bouali，A.、Ressouche，A.、Roy，V.、de Simone，R。 相关软件： CADP；到期未结；CAESAR_SOLVE… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
M网络 在11份文件中引用(1998–2012) 软件作者： 艾克·贝斯特（Eike Best）、沃伊切赫·弗里查克（Wojciech Frączak）、理查德·霍普金斯（Richard P.Hopkins）、汉娜·克劳代尔（Hanna Klaudel）、伊丽莎白·佩尔兹 相关软件： 政治公众人物；玛丽亚；Uppaal… 主要字段： 计算机科学（68-XX）
克莱沃 9份文件引用(2020–2023) 软件作者： 贾斯汀·约翰逊（Justin Johnson）、巴拉斯·哈里哈兰（Bharath Hariharan）、劳伦斯·范德马滕（Laurens van der Maaten）、李菲菲（Li Fei-Fei）、C.劳伦斯·齐特尼克（C.Lawrence Zitnick）、罗斯·吉希克（Ross Girshick） 相关软件： CLEVR数据集；VQA；GitHub… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
CLEVR数据集 9份文件引用(2020–2023) 软件作者： Justin Johnson、Bharath Hariharan、Laurens van der Maaten、Li Fei Fei、C.Lawrence Zitnick、Ross Girschick 相关软件： CLEVR；github；VQA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
丽贝卡 8份文件引用(2010–2022) 软件作者： 穆罕默德·马赫迪（Mohammad Mahdi）；Sirjani，Marjan；穆萨维、穆罕默德·雷扎；哈梅斯帕纳，埃桑；阿里·莫瓦查尔 相关软件： Uppaal；甲酚；定时丽贝卡… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Kpc机顶盒 5份文件引用（2012年至2020年） 软件作者： 卡萨利，G。；张艺珍。；史密尼，E。 相关软件： PhFit；R；EMpht… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
代码2当量 1份文件引用(2023) 软件作者： 乌里·阿龙（Uri Alon）、莎克·布罗迪（Shaked Brody）、奥马尔·利维（Omer Levy）、埃兰·雅哈（Eran Yahav） 相关软件： BERT；RoBERTa公司；Python… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
I2T型 1份文件引用(2012) 软件作者： 姚，B。；杨，X。；林，L。；Lee，M.W。；朱S.C。 相关软件： Im2Text；密度盖；PASCAL VOC… 主要字段： 计算机科学（68-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；芒，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
VeriCon公司 5份文件引用(2014–2021) 软件作者： Ball，T.、Bjorner，N.、Gember，A.、Itzhaky，S.、Karbyshev，A.、Sagiv，M.、Schapira，M.和Valadarsky，A。 相关软件： NetKAT；食蚁兽；Kuai… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ProMoVer公司 4份文件引用(2011–2016) 软件作者： 苏莱曼尼法德，锡亚瓦什；古罗夫，帝力；玛丽克·赫斯曼 相关软件： MAVEN公司；DeltaCCS；MSTA… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
RobRegCC公司 4份文件引用(2022–2023) 软件作者： 阿迪蒂亚·米什拉（Aditya Mishra），克里斯蒂安·穆勒（Christian Muller） 相关软件： 约束拉索；R；robustbase… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）
BFComp公司 3份文件引用(2015–2019) 软件作者： 阿比谢克·穆尔西；伊斯兰，马里兰州Ariful；斯科特·斯莫尔卡（Scott A.Smolka）。；拉杜·格罗苏 相关软件： dReal；d范围；SReach… 主要字段： 常微分方程（34-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
ERA-PAT公司 2份文件引用(2014–2021) 软件作者： 林尚伟；刘，杨；孙军；董金松；埃蒂安·安德烈 相关软件： 拍打；ProB；PDDL… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
罗布兹 3份文件引用(2022–2023) 软件作者： 蒙蒂，G.S。；菲兹莫瑟，P。 相关软件： R；RobStatTM；AdaCast… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）
库存流量 3份文件引用(2023–2024) 软件作者： 约翰·贝兹（John Baez）；李晓燕；索菲·利坎德；纳撒尼尔·D·奥斯古德（Nathaniel D.Osgood）。；埃文·帕特森 相关软件： 代数朱莉娅；github；斯特拉… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）…
阿尔弗雷德 2份文件引用(2022) 软件作者： Mohit Shridhar、Jesse Thomason、Daniel Gordon、Yonatan Bisk、Winson Han、Roozbeh Mottaghi、Luke Zettlemoyer、Dieter Fox 相关软件： 全球；ArraMon；CHALET… 主要字段： 计算机科学（68-XX）
GRoundTram公司 2份文件引用(2015–2018) 软件作者： Hidaka，S.、Hu，Z.、Inaba，K.、Kato，H.、Nakano，K。 相关软件： 取消QL 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
麦道 1份文件引用(2013) 软件作者： 乔纳森·博格多尔、亚历山大·戴维、阿恩德·哈特曼斯、霍尔格·赫尔曼斯 相关软件： Uppaal；PHAVer；SpaceEx… 主要字段： 计算机科学（68-XX）
大都市 2份文件引用(2002–2018) 软件作者： 格雷戈·戈斯勒（Gregor Gossler）；阿尔贝托Sangiovanni-Vincentelli 相关软件： 托勒密；普罗米修斯 主要字段： 计算机科学（68-XX）
目标间谍 1份文件引用(2012) 软件作者： Sturm，M.、Hackenberg，M.，Langenberger，D.、Frishman，D。 相关软件： DEGseq；星基；BSMAP… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
取消vSeq 1份文件引用(2021) 软件作者： Rose Du、Vince Carey、Scott T.Weiss 相关软件： d角度；DeconRNASeq；CellMix公司 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
深度CoDA 1份文件引用(2023) 软件作者： Quinn，T.，Nguyen，D.，Rana，S.，Gupta，S..，Venkatesh，S。 相关软件： 古罗比；RobRegCC；约束拉索… 主要字段： 运筹学、数学规划（90-XX）
弗雷格尔 1份文件引用(2022) 软件作者： 岩崎、秀霞；肯托州埃莫托；森田、秋叶；松崎，Kiminori；胡镇江 相关软件： SympleGraph；美人鱼；PathGraph… 主要字段： 计算机科学（68-XX）
长颈鹿 在0个文档中引用 软件作者： 迈克尔·尼迈耶（Michael Niemeyer）、安德烈亚斯·盖革（Andreas Geiger） 相关软件： CIPS-3D；Swin变压器；欺骗D… 主要字段： ——
PeCA公司 1份文件引用(2014) 软件作者： Le，Dinh-Thuan；Nguyen，Huu-Vu；阮文丁；Mai，Phuong-Nam；Pham-Duy，Bao-Trung；Quan、Thanh-Tho；埃蒂安·安德烈；劳雷·佩特鲁奇（Laure Petrucci）；刘，杨 相关软件： CPN/工具；窥探；访问/CPN… 主要字段： 计算机科学（68-XX）
Virtuoso下一步 1份文件引用(2022) 软件作者： Altreonic NV公司；克里杜，吉勒米纳；何塞·普伦萨；伯恩哈德·H·C·斯普特。；埃里克·弗赫斯特 相关软件： 普罗米拉；里奥；自旋蛋白 主要字段： 计算机科学（68-XX）
动态（dynsimpie） 在0个文档中引用 软件作者： Yoo Sun Jung、Flávio D.S.Souza、Andrew Q.Philips、Amanda Rutherford、Guy D.Whitten 相关软件： —— 主要字段： ——