生物蟒蛇 8份文件引用(2009–2022) 软件作者： Cock，P.J.A。；Antao，T。；Chang，J.T。；查普曼，B.A。；考克斯·C·J。；Dalke，A。；弗里德伯格，I。；哈默里克，T。；考夫，F。；Wilczynski，B。；德胡恩，M.J。 相关软件： 蟒蛇；生物钟；UniProt… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
sCASP公司 18篇文献引用(2018–2023) 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
海狮 7份文件引用(2012–2019) 软件作者： Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件： 天基信息平台；卡拉；APE… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-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）
JSetL公司 4份文件引用（2009年至2021年） 软件作者： 安德烈亚·福斯（Andrea Fois）、吉安弗兰科·罗西（Gianfranco Rossi）、伊丽莎白·波罗（Elisabetta Poleo）等 相关软件： Z；SETL；ProB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NumPyro公司 6篇文献引用(2021–2023) 软件作者： 杜凡、尼拉杰·普拉丹、马丁·扬科维亚克 相关软件： 坚果；高温；JAX… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
代码2seq 1份文件引用(2023) 软件作者： 乌里·阿龙（Uri Alon）、莎克·布罗迪（Shaked Brody）、奥马尔·利维（Omer Levy）、埃兰·雅哈（Eran Yahav） 相关软件： BERT；RoBERTa公司；Python… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
tfp.mcmc公司 5份文件引用(2021–2024) 软件作者： 劳俊鹏（Junpeng Lao）、克里斯托弗·苏特（Christopher Suter）、伊恩·兰莫尔（Ian Langmore）、西里尔·奇米索夫（Cyril Chimisov）、阿什什·萨克塞纳（Ashish Saxena）、帕维尔·索恩佐夫（Pavel Sountsov）、戴夫·摩尔（ 相关软件： DeepONet；NeuralUQ；SimNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕塞尔 1份文件引用(2023) 软件作者： 亚杜·巴布吉、安娜·伍德德、李卓昭、丹尼尔·卡茨、本·克利福德、罗汉·库马尔、卢卡斯·拉金斯基、瑞安·查德、贾斯汀·沃兹尼亚克、伊恩·福斯特、迈克尔·王尔德、凯尔·查德 相关软件： 蟒蛇；达克；喀拉斯… 主要字段： 数值分析（65-XX）；地球物理学（86-XX）；运筹学、数学规划（90-XX）
PFLP公司 3份文件引用(2020–2022) 软件作者： 桑德拉·戴卢斯（Sandra Dylus）、扬·克里斯蒂安森（Jan Christiansen）、芬兰·蒂根（Finn Teegen） 相关软件： 教会；EasyCheck；瑞士… 主要字段： 计算机科学（68-XX）
自动绘图 在0个文档中引用 软件作者： Dan Moldovan、James M Decker、Fei Wang、Andrew A Johnson、Brian K Lee、Zachary Nado、D Sculley、Tiark Rompf、Alexander B Wiltschko 相关软件： MXNet；ONNX；PyTorch… 主要字段： –
校样板 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）
CoTexT公司 在0个文档中引用 软件作者： 龙潘、邱Tran、Daniel Le、Hieu Nguyen、James Anibal、Alec Peltekian、Yanfang Ye 相关软件： CodeXGLUE；PLBART公司；塔伯特… 主要字段： –
模糊逻辑.jl 在0个文档中引用 软件作者： 卢卡·费兰蒂（Luca Ferranti）、贾尼·布特利埃（Jani Boutellier） 相关软件： Xfuzzy；模糊J；NEFCLASS-X… 主要字段： –
皮罗埃特 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；守门人；合成码… 主要字段： –
简约RaTT 1份文件引用(2023) 软件作者： 帕特里克·巴尔（Patrick Bahr）；格劳伦德（Graulund），克里斯蒂安（Christian）；拉斯穆斯·莫格伯格 相关软件： MiniML；效率；阿格达 主要字段： 计算机科学（68-XX）
SPoC公司 在0个文档中引用 软件作者： Sumith Kulal、Panupong Pasupat、Kartik Chandra、Mina Lee、Oded Padon、Alex Aiken、Percy Liang 相关软件： 设计；图形代码BERT；米西姆… 主要字段： –
TryLinks（尝试链接） 在0个文档中引用 软件作者： 朱诺·吴（Junao Wu）、阿雷克·米科拉扎克（Arek Mikolajczak）、詹姆斯·切尼（James Cheney） 相关软件： Pingdom工具；AngularDart；链接 主要字段： –
雅普 在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） 相关软件： – 主要字段： –