第三方交易协议 419份文件引用(1994–2023) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： VAMPIRE公司；E定理证明器；SPASS… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
12月6日 236篇文献引用(2003–2023) 软件作者： 尼古拉斯·I.M.古尔德。；多米尼克·奥尔班；马桶，菲利普·L。 相关软件： 切割机；minpack；L-BFGS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MuJoCo公司 38篇文献引用(2016–2024) 软件作者： E.Todorov、T.Erez、Y.Tassa 相关软件： OpenAI健身房；亚当；PyTorch… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
科拉特 24篇文献引用(2001–2022) 软件作者： Chandrasekhar Boyapati；萨尔夫拉兹·库希德（Sarfraz Khurshid）；达尔科·马里诺夫 相关软件： Symstra公司；TestEra；Java PathFinder… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
斯特马克 28篇文献引用(2001–2023) 软件作者： Fabien A.P.Petitcolas、Ross J.Anderson、Markus G.Kuhn 相关软件： U-Net；亚当；禁忌搜索… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
人力资源 27篇文献引用(2002–2022) 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；梅斯4… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
ILTP公司 29篇文献引用(2005–2021) 软件作者： 托马斯·拉思；延斯·奥顿 相关软件： TPTP；依兰CoP；Imogen… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
测试时代 16篇文献引用(2002–2020) 软件作者： 马里诺夫，D；库尔希德，S 相关软件： 科拉特；Symstra公司；TACO… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
BET公司 16篇文献引用(2007–2023) 软件作者： 斯蒂芬·史密斯。 相关软件： FSL；调情；BrainSuite… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
UniTESK公司 14篇文献引用(2002–2015) 软件作者： 俄罗斯科学院系统编程研究所 相关软件： SpecExplorer；投掷；可爱… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
性能确认4 19份文件引用(2019–2023) 软件作者： M.J.Kannwischer、J.Rijneveld、P.Schwabe、K.Stoffelen。 相关软件： GitHub；凯伯；SIKE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Nuc-ploc（数字） 13份文件引用(2009–2018) 软件作者： 沈洪斌、周国珍 相关软件： PseAAC；细胞定位；Euk-PLoc… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
三峡工程 14篇文献引用(2011–2021) 软件作者： 佩德罗·夸雷斯马 相关软件： 地质学；Intergeo；GeoGebra… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；计算机科学（68-XX）…
DeepXlore公司 9份文件引用(2019–2023) 软件作者： 裴可欣、曹银芝、杨俊峰、贾苏曼 相关软件： 深度愚人；ImageNet；重新连接… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
轻松检查 10篇文献引用(2009–2020) 软件作者： 扬·克里斯蒂安森（Jan Christiansen）；塞巴斯蒂安·费舍尔 相关软件： 快速检查；咖喱；SmallCheck… 主要字段： 计算机科学（68-XX）
质量管理长期计划 12份文件引用(2012–2022) 软件作者： 托马斯·拉斯（Thomas Raths）；延斯·奥滕 相关软件： TPTP；MleanCoP公司；MSPASS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SRASS公司 12份文件引用(2007–2019) 软件作者： Geoff Sutcliffe；尤里·普齐斯 相关软件： E定理证明器；TPTP；玛拉雷亚… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
AGEDIS公司 6篇文献引用(2003–2012) 软件作者： 哈特曼，A。；K.Nagin公司 相关软件： SpecExplorer；UniTESK；AsmL… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
低比特 5份文件引用(2009–2015) 软件作者： H.Tauriainen；K.赫尔扬科 相关软件： LTL2BA；SPOT；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
节点py 6篇文献引用(2014–2022) 软件作者： 大卫·凯奇森 相关软件： Rk选择；GitHub；RODAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
关贸总协定 6篇文献引用(2013–2020) 软件作者： 佩德罗·夸雷斯马；万达桑托斯；塞菲丁·布瓦莱格 相关软件： TGTP；Intergeo；地理信息… 主要字段： 几何（51-XX）；计算机科学（68-XX）；数学教育（97-XX）
CovXNet公司 1份文件引用（2023年） 软件作者： 马哈茂德，T。；Rahman，医学硕士。；南美洲法塔赫。 相关软件： GitHub；盖子；新冠病毒网络… 主要字段： 总体主题；藏品（00-XX）；测量和集成（28-XX）；运筹学，数学规划（90-XX）…
DeReS公司 3份文件引用(2019–2022) 软件作者： Cholewinski，P.、Marek，V.、Truszczynski，M。 相关软件： 数据日志；中国科学院科学院；Clingo… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
神经导体 3份文件引用(2018–2023) 软件作者： 穆舍利，J。；Fortin，J.-P。；Gherman，A。；Avants，B。；惠彻，B。；克莱登，J.D。；Caffo，B。；克雷尼西亚努，C.M。 相关软件： R；oro.nifti；oro.dicom… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
柔软 5份文件引用(2009–2010) 软件作者： 加贝，M。；Smaoui，M。；de Brye，N。；C·皮卡德。 相关软件： CP网络；NFFT3；NFFT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
得到 2份文件引用(2016–2020) 软件作者： 杰纳罗·苏卡拉特、费利克斯·普雷蒂斯、詹姆斯·里德 相关软件： lgarch；R；动物园… 主要字段： 统计学（62-XX）；地球物理学（86-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
希林夫 4份文件引用(2020–2021) 软件作者： 克劳德·雷诺（Claude Renaux）；劳拉·布兹杜根（Laura Buzdugan）；马库斯·卡利什；彼得·伯尔曼 相关软件： glmnet；hdi；R、 … 主要字段： 统计学（62-XX）
ODEA公司 4份文件引用(2008–2023) 软件作者： 马丁·厄尔里奇 相关软件： 古罗比；CPLEX；PlaNet公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PyMGRIT公司 4份文件引用(2020–2023) 软件作者： 哈内（Hahne）、延斯（Jens）；斯蒂芬妮·弗里德霍夫；马蒂亚斯·博尔顿 相关软件： 获取DP；Gmsh；PETSc… 主要字段： 数值分析（65-XX）
TensorFuzz公司 2份文件引用(2020–2021) 软件作者： 奥古斯塔斯·奥德纳（Augustus Odena）、伊恩·古德费罗（Ian Goodfellow） 相关软件： DeepXlore；深度规；DLFuzz… 主要字段： 计算机科学（68-XX）
NetGO公司 3份文件引用(2022–2023) 软件作者： 你，R。；姚，S。；熊，Y。；黄，X。；Sun，F。；Mamitsuka，H。 相关软件： DeepGO；协同因子；字符串… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Ask-Elle公司 在0个文档中引用 软件作者： Alex Gerdes；海仁，巴斯蒂安；Johan Jeuring；范·宾斯贝根，L.托马斯 相关软件： 哈斯克尔；ELM-ART；闪光… 主要字段： –
图形变量 在0个文档中引用 软件作者： Lea Waller；阿纳斯塔西娅·布罗夫金；Lena Dorfschmidt；Danilo Bzdok；亨利克·沃尔特；约翰·丹尼尔·克鲁斯威茨 相关软件： BrainNet查看器；eConnectome；Matlab… 主要字段： –
PathMiner公司 2份文件引用(2009–2024) 软件作者： D.C.McShan，S.Rao，I.Shah 相关软件： CPLEX公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
校样板 1份文件引用(2018) 软件作者： Caleb Eggensperger公司 相关软件： ACL2；ACuLa博士；DrJava… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PropEr公司 1份文件引用(2018) 软件作者： M.Papadakis、E.Arvaniti、K.Sagonas 相关软件： 很可能；卡特尔；redbug… 主要字段： 计算机科学（68-XX）
SecEr公司 1份文件引用(2018) 软件作者： David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit 相关软件： 风吹；PropEr公司；CutEr… 主要字段： 计算机科学（68-XX）
AO工具 在0个文档中引用 软件作者： M.J.Townson、O.J.D.Farley、G.Orban de Xivry、J.Osborn、A.P.Reeves 相关软件： 曹操；姚明；DASP… 主要字段： –
CoDeSe公司 1份文件引用(2015) 软件作者： Gligoric，M.、Marinov，D.、Kamin，S。 相关软件： 哈斯克尔；K校准仪；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
DeepHunter公司 在0个文档中引用 软件作者： 谢晓飞、马磊、徐觉飞、陈洪旭、薛敏慧、李波、刘洋、赵建军、尹建雄、Simon See 相关软件： 深度规；深度突变；Scikit… 主要字段： –
HC查看器 1份文件引用(2017) 软件作者： Olga A.Starunova。；谢尔盖·鲁德涅夫（Sergey G.Rudnev）。；弗拉基米尔一世，斯塔罗杜波夫。 相关软件： R-Geo；传单；传单… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
壶 在0个文档中引用 软件作者： 泽维尔·德夫罗伊（Xavier Devroey）、阿莱西奥·甘比（Alessio Gambi）、胡安·巴勃罗·加莱奥蒂（Juan Pablo Galeotti）、勒内·贾斯特（Rene Just）、菲苏姆·基费图（Fitsum Kifetew）、安妮贝尔·帕尼切拉（An 相关软件： EvoSuite；JUnit公司；缺陷4J… 主要字段： –
LCT公司 1份文件引用(2016) 软件作者： Kähkönen，K。；Launiainen，T。；萨里基维，O。；J.Kauttio。；Heljanko，K。；尼美拉，我 相关软件： 薄片；LLVM；STP… 主要字段： 计算机科学（68-XX）
MadDroid公司 在0个文档中引用 软件作者： 刘天明、王浩宇、李丽、罗霞浦、冯东、姚国、刘旺、特加文德·F·比西安德、雅克·克莱恩 相关软件： LibRadar；IccTA；FraudDroid… 主要字段： –
备忘录 1份文件引用(2019) 软件作者： Geissen，E.-M.，J.Hasenauer，S.Heinrich，S.Hauf，F.J.Theis，N.E.Radde 相关软件： PRMLT；PMTK；flowClust… 主要字段： 统计学（62-XX）
PDB_REDO公司 1份文件引用(2016) 软件作者： Robbie P.Joosten、Fei Long、Garib N.Murshudov、Anastasis Perrakis 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
皮塞里尼 在0个文档中引用 软件作者： Jimmy Lin、Xueguang Ma、Sheng-Cheeh Lin、Jheng-Hong Yang、Ronak Pradeep、Rodrigo Nogueira 相关软件： PyGaggle；Covidex；Capreolus… 主要字段： –
sklvq公司 1份文件引用(2021) 软件作者： 瑞克·范·维恩（Rick van Veen）；迈克尔·贝尔；德弗里斯，格特詹 相关软件： Scikit；sklearn-lvq；GMLVQ… 主要字段： 计算机科学（68-XX）
SWAD公司 1份文件引用(2002) 软件作者： Dan Brickley；Buswell，S。；马修斯，B.M。；利比米勒；雷诺兹，D。；医学博士威尔逊。 相关软件： – 主要字段： 计算机科学（68-XX）
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： –