禁忌搜索 1027份文件引用(1991–2022) 软件作者： 弗雷德·格洛弗（Fred Glover）；埃里克·泰勒；多米尼克·德韦拉 相关软件： 分散搜索；CPLEX；VRP… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
Reluplex公司 引用于71份文件(2017–2024) 软件作者： 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件： 马拉博；AI2；NNV… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
剪辑 64篇文献引用(1992–2020) 软件作者： 加里·莱利；吉亚兰托 相关软件： 杰斯；蛋白质；马格特… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
阿尔法零 66份文件中引用(2018–2024) 软件作者： DeepMind；大卫·西尔弗；托马斯·休伯特；朱利安·施里特维瑟（Julian Schrittwieser）；哈萨比斯 相关软件： 亚当；github；AlexNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
梯度-CAM 42篇文献引用(2018–2024) 软件作者： Ramprasaath R.Selvaraju、Michael Cogswell、Abhishek Das、Ramakrishna Vedantam、Devi Parikh、Dhruv Batra 相关软件： ImageNet；形状；AlexNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
火炬 30篇文献引用(2003–2023) 软件作者： R.Collobert、S.Bengio、J.Mariethoz 相关软件： TensorFlow；咖啡馆；Theano… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GNMT公司 38篇文献引用(2018–2024) 软件作者： 吴永辉、迈克·舒斯特、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁曹、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤吉事、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯，杰森·里萨（Jason Riesa）、亚历克斯·鲁德尼克（Alex Rudnick 相关软件： ImageNet；AlexNet公司；亚当… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；计算机科学（68-XX）…
AOA公司 42篇文献引用(2021–2024) 软件作者： Abualigah，莱思；阿里·迪亚巴特（Ali Diabat）；米尔贾利利、塞耶达利；穆罕默德·阿卜德·埃拉齐兹（Abd Elaziz，Mohamed）；Amir H.甘多米。 相关软件： GWO；WOA；SSA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
Python Web图形生成器 41篇文献引用(2013–2023) 软件作者： 萨基特·萨特 相关软件： 就餐套房；NetLogo；invGauss… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；统计力学，物质结构（82-XX）…
ViT公司 24篇文献引用(2021–2024) 软件作者： Alexey Dosovitskiy、Lucas Beyer、Alexander Kolesnikov、Dirk Weissenborn、Xiaohua Zhai、Thomas Unterthiner、Mostafa Deghani、Matthias Minderer、Georg Heigold、Sylvain Gelly、Jakob Uszkoreit、Neil Houlsby 相关软件： Tensor2传感器；BERT；亚当… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
德洛雷斯 21篇文献引用(2000–2022) 软件作者： 迈克尔·马赫（Michael Maher）；特里斯坦·米勒 相关软件： DR-Prolog；法律规则ML；swrl… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
图尔巴尔2 27篇文献引用(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛奇 相关软件： mplp2；数字插孔；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SOMA公司 21篇文献引用(2002–2023) 软件作者： 伊凡·泽林卡；朱妮·兰皮宁 相关软件： GSA；GWO；irace… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
爱德华 17篇文献引用(2017–2024) 软件作者： Tran，D.，Kucukelbir，A.，Dieng，A.B.，Rudolph，M.，Liang，D.，Blei，D.M。 相关软件： 斯坦；TensorFlow；PyMC… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
形状网络 16篇文献引用(2018–2023) 软件作者： Angel X.Chang、Thomas Funkhouser、Leonidas Guibas、Pat Hanrahan、Qixing Huang、Zimo Li、Silvio Savarese、Manolis Savva、Shuran Song、Hao Su、Xiao、Li Yi、Fisher Yu 相关软件： PointNet；3D-R2N2；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
美国心脏协会 20篇文献引用(2022–2024) 软件作者： 赵卫国；王丽英；塞耶达利·米尔贾利利 相关软件： WOA；GWO；GSA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
DeepAR（深度AR） 19份文件引用(2021–2024) 软件作者： David Salinas、Valentin Flunkert、Jan Gasthaus 相关软件： expsmooth；XGBoost；预测… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；计算机科学（68-XX）…
艾伯特 10篇文献引用(2021–2023) 软件作者： 兰振中、陈明达、古德曼、金佩尔、夏尔马、索里克特 相关软件： BERT；RoBERTa公司；手套… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
DeepProbLog（深度探测日志） 18篇文献引用(2020–2023) 软件作者： 罗宾·曼哈夫、塞巴斯蒂安·杜曼奇奇、安吉丽卡·金米格、托马斯·德梅斯特、吕克·德雷特 相关软件： ProbLog；NeurASP；亚当… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
深度数学 16篇文献引用(2017–2023) 软件作者： Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban 相关软件： E定理证明器；米扎尔；谜… 主要字段： 数理逻辑与基础（03-XX）；代数几何（14-XX）；计算机科学（68-XX）
卡拉 10篇文献引用（2019年至2024年） 软件作者： Alexey Dosovitskiy，德国罗斯，Felipe Codevilla，Antonio Lopez，Vladlen Koltun 相关软件： OpenAI健身房；LGSVL；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；乔瓦姆巴蒂斯塔·伊安尼 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
轨道库 16篇文献引用（2008年至2021年） 软件作者： 安德烈·普拉泽 相关软件： z3；凯伊迈拉；QEPCAD… 主要字段： 数理逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
PointCNN（美国有线电视新闻网） 13份文件引用（2019年-2023年） 软件作者： 李阳彦、吕布、孙明超、吴伟、狄新翰、陈宝全 相关软件： PointNet；VoxNet；VoxelNet… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
RLlib（RL库） 8份文件引用(2020–2024) 软件作者： 射线团队修订；Eric Liang、Richard Liaw、Philipp Moritz、Robert Nishihara、Roy Fox、Ken Goldberg、Joseph E.Gonzalez、Michael I.Jordan、Ion Stoica 相关软件： OpenAI健身房；多巴胺；PyTorch… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FPROLOG公司 13份文件引用(1985–2023) 软件作者： T.P.马丁。；鲍德温，J.F。；B.W.皮尔斯沃思。 相关软件： FRIL；Ciao；BousiProlog… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；统计学（62-XX）…
监狱 14篇文献引用(2004–2023) 软件作者： F.古拉德。 相关软件： 剖面/偏差；filib++；INTLAB… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
MEBN公司 在11份文件中引用(2008–2018) 软件作者： 凯瑟琳·布莱克蒙·拉斯基 相关软件： 博客；PR-OWL；IBAL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；统计学（62-XX）…
隐马尔可夫模型 12份文件引用(2004–2020) 软件作者： K墨菲 相关软件： R；Matlab；大脑连接工具箱… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
阳光 13份文件引用(2014–2023) 软件作者： 罗伯托·阿马迪尼；毛里齐奥·加布里埃利；雅各布·毛罗 相关软件： 萨齐拉；微量锌；变形杆菌… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
生物爪哇 5份文件引用(2009–2017) 软件作者： 安德烈亚斯·普里奇；安德鲁·耶茨（Andrew Yates）；斯宾塞·E·布利文；彼得·罗斯（Peter W.Rose）；朱利叶斯·雅各布森；Peter V.Troshin；马克·查普曼；高建炯；川可可；西尔万·福西；理查德·霍兰德（Richard Holland）；格迪米亚斯·里姆萨；迈克尔·豪尔（Michael L.Heuer）；H.Brandstatter-Muller；菲利普·伯恩（Philip E.Bourne）；滑板车威利斯 相关软件： 生物蟒蛇；生物钟；MMTK… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Theta公司* 12份文件引用（2010年-2023年） 软件作者： 肯尼·丹尼尔、亚历克斯·纳什、斯文·柯尼格、阿里尔·费尔纳 相关软件： 安雅；Matlab；MISER3… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CTADEL公司 12份文件引用(1998–2020) 软件作者： 范恩格伦，罗伯特·亚历山大 相关软件： Mathematica；手指；SciNapse… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
graph2vec（图形2vec） 在11份文件中引用(2018–2024) 软件作者： Annamalai Narayanan、Mahinthan Chandramohan、Rajasekar Venkatesan、Lihui Chen、Yang Liu、Shantanu Jaiswal 相关软件： node2vec；DeepWalk；单词2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
神经卫星 12份文件引用（2019年-2023年） 软件作者： 丹尼尔·塞尔萨姆；马修·拉姆（Matthew Lamm）；班尼茨，贝内迪克特；梁佩西；莱昂纳多·德·莫拉；大卫·L·迪尔。 相关软件： 萨齐拉；古罗比；亚当… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
3D-R2N2型 8份文件引用(2019–2021) 软件作者： Christopher B.Choy、Danfei Xu、JunYoung Gwak、Kevin Chen、Silvio Savarese 相关软件： ShapeNet；PointNet；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
HOList公司 10篇文献引用(2020–2023) 软件作者： 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件： 谜；E定理证明器；FEMaLeCoP… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
PMLB公司 8份文件引用(2018–2023) 软件作者： Randal S.Olson、William La Cava、Patryk Orzechowski、Ryan J.Urbanowicz、Jason H.Moore 相关软件： Scikit；UCI-ml；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
维基百科矿工 4份文件引用(2012–2019) 软件作者： 大卫·米尔恩（David Milne）；伊恩·维滕 相关软件： DBpedia；曼陀罗；BabelNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
集群-GCN 9份文件引用(2021–2024) 软件作者： 蒋伟林、刘宣清、司思、杨丽、萨米·本吉奥、谢卓绝 相关软件： 快速GCN；DeepWalk；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
资产负债管理 8份文件引用（2012年至2020年） 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
MLP-混合器 8份文件引用(2022–2023) 软件作者： 伊利亚·托尔斯蒂金、尼尔·霍尔斯比、亚历山大·科尔斯尼科夫、卢卡斯·拜尔、翟小华、托马斯·恩特提纳、杰西卡·容格、安德烈亚斯·施泰纳、丹尼尔·凯泽斯、雅各布·乌斯科雷特、马里奥·卢西奇、阿列克谢·多索维茨基 相关软件： BERT；GPT-3；Tensor2传感器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
NumPyro编号 6篇文献引用(2021–2023) 软件作者： 杜凡、尼拉杰·普拉丹、马丁·扬科维亚克 相关软件： 坚果；高温；JAX… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
雷 5份文件引用(2021–2022) 软件作者： 菲利普·莫里茨（Philipp Moritz）、罗伯特·西哈拉（Robert Nishihara）、斯蒂芬妮·王（Stephanie Wang 相关软件： TensorFlow；蟒蛇；OpenAI健身房… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
验证 6篇文献引用(2021–2024) 软件作者： 托马索·德罗西（Tommaso Dreossi）、丹尼尔·弗雷蒙特（Daniel J.Fremont）、施洛蒙娜·戈什（Shromona Ghosh）、爱德华·金（Edward Kim）、哈迪·拉文巴赫（Hadi Ravanbakhsh）、马塞尔·巴斯奎兹·香拉特（Marcell Vazque 相关软件： Reluplex；NNV；阿波罗… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
cplint（cplint） 7份文件引用(2017–2022) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；朱塞佩·科塔；埃琳娜·贝洛迪；里卡多·泽斯 相关软件： ProbLog；SWI-预测；棱镜… 主要字段： 计算机科学（68-XX）
双簧管 7份文件引用（2019年-2023年） 软件作者： 杨成润、秋本裕二、金大元、尤德尔 相关软件： 双曲线；自动学习；SMAC… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
人民 6篇文献引用(2019–2021) 软件作者： 杨芳凯、吕道明、刘波、史蒂文·古斯塔夫森 相关软件： REBA；BWIBots；ALM… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
割断 7份文件引用（2019年-2023年） 软件作者： 迪亚科尼科拉斯，伊利亚斯；高塔姆·卡马特；丹尼尔·M·凯恩。；李杰瑞；雅各布·斯坦哈特；阿利斯泰尔·斯图尔特 相关软件： UCI-ml；查找；Scikit… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；计算机科学（68-XX）…
波浪辉光 5份文件引用(2021–2022) 软件作者： Ryan Prenger、Rafael Valle、Bryan Catanzaro 相关软件： 辉光；亚当；nsf… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Captum公司 1份文件引用(2021) 软件作者： Narine Kokhlikyan、Vivek Miglani、Miguel Martin、Edward Wang、Bilal Alsalakh、Jonathan Reynolds、Alexander Melnikov、Natalia Kliushkina、Carlos Araya、Siqi Yan、Orion Reblitz Richardson 相关软件： PyTorch；不在场证明解释；Python… 主要字段： 计算机科学（68-XX）
图RNN 6篇文献引用(2020–2023) 软件作者： 尤嘉轩、英力士、任翔、威廉·汉密尔顿、朱尔·莱斯科维奇 相关软件： DeepWalk；node2vec；NetGAN… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
流浪汉 4份文件引用(2021–2022) 软件作者： Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件： 数据日志；RDFox；LUBM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
链条RL 2份文件引用(2021) 软件作者： 藤田康宏、片冈敏树、永拉詹（Prabhat Nagarajan）、石川隆弘（Takahiro Ishikawa） 相关软件： RLlib；rlpyt；多巴胺… 主要字段： 计算机科学（68-XX）
利比亚 5份文件引用(2016–2018) 软件作者： 彼得·米尔斯 相关软件： PRMLT；SPOT；iACP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
Pykg2vec公司 2份文件引用(2021) 软件作者： Shih Yuan Yu、Sujit Rokka Chhetri、Arquimedes Canedo、Palash Goyal、Mohammad Abdullah Al-Faruque 相关软件： OpenKE；AmpliGraph；Python… 主要字段： 计算机科学（68-XX）
核心50 引用于3份文件(2019–2022) 软件作者： 文森佐·洛莫纳科（Vincenzo Lomonaco）、戴维德·马尔托尼（Davide Maltoni） 相关软件： iCaRL；PyTorch；CIFAR… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
联邦卫生局 引用于3份文件(2021–2023) 软件作者： 陈一强、王金东、余朝晖、文高、辛勤 相关软件： 脚手架；获取SGD；MNIST… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
法国食品标准局 引用于3份文件(2000–2006) 软件作者： 多萝西娅·布罗斯坦、史蒂夫·史密斯、凯文·诺文斯、理查德·扎尼比、阿利斯·罗斯、大卫·陶斯基、尼克·威兰 相关软件： MathBrush；枫树 主要字段： 计算机科学（68-XX）
NLocalSAT（非本地卫星） 引用于3份文件(2021–2023) 软件作者： 张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐 相关软件： CCAnr；YalSAT；玲玲… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
PPF网 引用于3份文件（2019年-2023年） 软件作者： Haowen Deng、Tolga Birdal、Slobodan Ilic 相关软件： PointNet；三维匹配；PPF-FoldNet… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
派肯 2份文件引用(2021–2023) 软件作者： 梅迪·阿里（Mehdi Ali）、马克斯·贝伦多夫（Max Berrendorf）、查尔斯·塔普利·霍伊特（Charles Tapley Hoyt 相关软件： DGL-KE；Pykg2vec；OpenKE… 主要字段： 计算机科学（68-XX）
子图形2vec 2份文件引用(2019–2020) 软件作者： Annamalai Narayanan、Mahinthan Chandramohan、Lihui Chen、Yang Liu、Santhoshkumar Saminathan 相关软件： node2vec；蟒蛇；快速DTW… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
TinyBERT公司 2份文件引用(2022–2023) 软件作者： 焦晓琦、尹宜春、尚立峰、新疆、小陈、李林林、王芳、刘群 相关软件： BERT；Tensor2传感器；RoBERTa… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
主题RNN 引用于3份文件(2019–2022) 软件作者： Adji B.Dieng、Chong Wang、Jianfeng Gao、John Paisley 相关软件： TensorFlow；torchdiffeq；Tensor2传感器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
ViZDoom公司 引用于3份文件(2018–2022) 软件作者： MichałKempka、Marek Wydmuch、Grzegorz Runc、Jakub Toczek、Wojciech Ja she kowski 相关软件： 亚当；AI2-钍；MuJoCo… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Adv-BNN公司 引用于3份文件(2021–2023) 软件作者： 刘玄清；李、姚；吴崇若；谢卓瑞 相关软件： MagNet；AlexNet公司；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
bn监视器 2份文件引用(2022–2023) 软件作者： Manuele Leonelli、Ramsiya Ramanathan、Rachel Wilkerson 相关软件： 舞台树；g雨水；bn学习… 主要字段： 计算机科学（68-XX）
着色变压器 1份文件引用(2022) 软件作者： Manoj Kumar、Dirk Weissenborn、Nal Kalchbrenner 相关软件： ImageNet；TransGAN；德布鲁根… 主要字段： 计算机科学（68-XX）
CVAE-GAN公司 引用于3份文件(2020–2023) 软件作者： 鲍建民、董晨、方文、李厚强、刚华 相关软件： Wasserstein GAN；亚当；Inception-v4… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
FiLM公司 2份文件引用(2020) 软件作者： Ethan Perez、Florian Strub、Harm de Vries、Vincent Dumoulin、Aaron Courville 相关软件： PyTorch；U-Net；SCT… 主要字段： 计算机科学（68-XX）
游戏Pad 引用于3份文件（2019年-2023年） 软件作者： 黄，丹尼尔；Prafulla Dhariwal；宋，黎明；伊利亚·萨茨克沃 相关软件： E定理证明；深度数学；FEMaLeCoP… 主要字段： 计算机科学（68-XX）
GAN实验室 1份文件引用(2021) 软件作者： Minsuk Kahng、Nikhil Thorat、Duen Hong Chau、Fernanda Viégas、Martin Wattenberg 相关软件： ConvNetJS；TensorFlow；LSTM维斯… 主要字段： 算子理论（47-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
Isar步骤 引用于3份文件(2021–2023) 软件作者： 李文达；于磊；吴玉怀；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；HOList；开普勒98… 主要字段： 计算机科学（68-XX）
LSTM维斯 1份文件引用（2018年） 软件作者： 亨德里克·斯特罗贝尔（Hendrik Strobelt）、塞巴斯蒂安·盖尔曼（Sebastian Gehrmann）、汉斯彼得·普菲斯特（Hanspeter Pfister）、亚历山大·拉什（Alexander M.Rush） 相关软件： TensorFlow；CUDA；DeepEyes… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
迷宫基地 1份文件引用(2020) 软件作者： 赛因巴亚尔·苏赫巴托、亚瑟·斯拉姆、加布里埃尔·辛奈夫、索米斯·金塔拉、罗伯·弗格斯 相关软件： BWAPI；RMSprop；OpenAI健身房… 主要字段： 计算机科学（68-XX）
MidiNet公司 2份文件引用(2020–2023) 软件作者： Li-Chia Yang、Szu Yu Chou、Yi-Hsuan Yang 相关软件： 亚当；穆塞根；LakhNES… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
MOPO公司 引用于3份文件(2021–2023) 软件作者： 于天河；加勒特·托马斯；于兰涛；埃蒙，斯特凡诺；詹姆斯·邹（James Zou）；谢尔盖·莱文；芬恩，切尔西；马腾宇 相关软件： PRMLT；ElemStatLearn；安全健身房… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
OR健身房 1份文件引用(2022) 软件作者： Christian D.Hubbs、Hector D.Perez、Owais Sarwar、Nikolaos V.Sahinidis、Ignacio E.Grossmann、John M.Wassick 相关软件： OpenAI健身房；古罗比；MIP学习… 主要字段： 变分法与最优控制；优化（49-XX）；系统论；控制（93-XX）
2百万吨 2份文件引用(2022) 软件作者： 乔瓦尼·西亚托、罗伯塔·卡莱加里、安德烈亚·奥米西尼 相关软件： SWI-预测；重新规范；tuProlog… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
日出 2份文件引用(2022–2023) 软件作者： Kimin Lee、Michael Laskin、Aravind Srinivas、Pieter Abbeel 相关软件： 曲线；QT-点；VIME… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
AI2-THOR公司 1份文件引用(2022) 软件作者： Eric Kolve、Roozbeh Mottaghi、Winson Han、Eli VanderBilt、Luca Weihs、Alvaro Herrasti、Daniel Gordon、Yuke Zhu、Abhinav Gupta、Ali Farhadi 相关软件： ViZDoom；全球；ArraMon… 主要字段： 计算机科学（68-XX）
阿尔弗雷德 2份文件引用(2022) 软件作者： Mohit Shridhar、Jesse Thomason、Daniel Gordon、Yonatan Bisk、Winson Han、Roozbeh Mottaghi、Luke Zettlemoyer、Dieter Fox 相关软件： 全球；ArraMon；CHALET… 主要字段： 计算机科学（68-XX）
双酚A 2份文件引用（2018年） 软件作者： 本杰明·艾弗拉 相关软件： COMSOL公司；Matlab；Theta公司* 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
清洁网 2份文件引用(2021–2023) 软件作者： Kuang-Huei Lee、Xiaodong He、Lei Zhang、Linjun Yang 相关软件： 移动网络；ImageNet；CIFAR… 主要字段： 计算机科学（68-XX）
清洁X 在0个文档中引用 软件作者： Candace Makeda Moore、Andrew Murphy、Oleg Sivokon、Patrice J Musoke 相关软件： 蟒蛇；模仿；TF-GAN… 主要字段： ——
DAC公司 1份文件引用(2023) 软件作者： 特蕾莎·艾默、安德烈·比登卡普、马克西米利安·雷默、史蒂文·阿德里安森、弗兰克·赫特、马吕斯·林道尔 相关软件： AClib；github；HyFlex… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
前夕 1份文件引用(1992) 软件作者： 巴拉斯，P。；布鲁姆，J。；Paumier，J.C。；维托姆斯基，P。；Rechenmann，F。 相关软件： ELLPACK公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
Gelisp公司 1份文件引用(2017) 软件作者： 毛里西奥·托罗、卡米洛·鲁埃达、卡洛斯·阿贡、杰拉德·阿萨亚格 相关软件： 自旋蛋白；ntccSim；Ntccrt… 主要字段： 运筹学，数学编程（90-XX）
GoTube公司 2份文件引用(2022) 软件作者： 索菲·格伦巴赫（Sophie Gruenbacher）、马蒂亚斯·莱切纳（Mathias Lechner）、拉明·哈萨尼（Ramin Hasani）、丹妮拉·罗斯（Daniela Rus）、托马斯·汉津格（Thomas A.Henzinger）、斯科特·斯莫尔卡（Scott Smol 相关软件： torchdiffeq；Reluplex；流量*… 主要字段： 计算机科学（68-XX）