糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
LOQO公司 211文件引用(1994–2023) 软件作者： 罗伯特·范德贝（Robert J.Vanderbei）。 相关软件： Ipopt；AMPL；MINOS… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 通用代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
QBIC公司 25篇文献引用(1997–2018) 软件作者： W.Niblack、R.Barber、W.Equitz、M.Flickner、E.Glassman、D.Petkovic、P.Yanker、C.Faloutsos、G.Taubin 相关软件： VisualSEEk；查博特；PicHunter… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
瓦茨 12份文件引用(2001–2023) 软件作者： D.Brooks、V.Tiwari、M.Martonosi 相关软件： 简单标尺；MiBench公司；SoftExplorer… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
拖把 20篇文献引用(1993–2011) 软件作者： 乌维·苏尔。 相关软件： CPLEX；MIPLIB公司；DEVEX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
智能手机 14篇文献引用(2008–2014) 软件作者： 叶卡捷琳娜·奥尔；沃尔夫拉姆·路德 相关软件： ValEncIA-IVP；FADBAD++；ValEncIA… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
TOUGH-FLAC公司 13份文件引用（2015年至2022年） 软件作者： 乔尼·鲁特奎斯特 相关软件： 开放地理系统；TOUGH（艰难）；DuMuX… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
网络通信 4份文件引用(2001–2003) 软件作者： 约翰·莫里森（John P.Morrison）。；詹姆斯·肯尼迪。；大卫·A·鲍尔（David A.Power）。 相关软件： Java CoG工具包；AUTO3DEM；飞马座… 主要字段： 计算机科学（68-XX）
业务流程图 9份文件引用(1996–2021) 软件作者： 莱昂纳德·阿德勒、纳尔逊·弗雷曼、爱德华·科巴克尔、迈克尔·皮内多、胡安·卡洛斯·普洛特尼科夫、吴宗宪 相关软件： 基因组学；SIMPSON；MULTEX公司 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
TAJ公司 7份文件引用(2013–2021) 软件作者： Tripp，O.、Pistoia，M.、Fink，S.J.、Sridharan，M.和Weisman，O。 相关软件： FlowDroid；F4F；Dytan… 主要字段： 计算机科学（68-XX）
地平线 引用于3份文件(2020–2021) 软件作者： Jason Gauci、Edoardo Conti、Yitao Liang、Kittipat Virochiri、Yuchen He、Zachary Kaden、Vivek Narayanan、Xiaohui Ye、Zhengxing Chen、Scott Fujimoto 相关软件： RLlib；多巴胺；OpenAI健身房… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
剑道 4份文件引用(2011–2018) 软件作者： Olszewski，M。；Ansel，J。；阿马拉辛格，S。 相关软件： ParaSCIP；CapoOne；MIPLIB2003… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
比例6.2 6篇文献引用(2015–2021) 软件作者： 里尔登，B。；列斐伏尔，R。；Lefebvre，J。；克拉诺，K。；威廉姆斯，M。；Petrie，L。；美国Mertyurek。 相关软件： 德诺沃；特里利诺斯；比例… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
流浪汉 4份文件引用(2021–2022) 软件作者： Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件： 数据日志；RDFox；LUBM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
高斯过程.jl 2份文件引用(2021–2023) 软件作者： 杰米·费尔布罗特、克里斯托弗·奈梅特、马克西姆·里沙德、约翰尼·布里亚、托马斯·平德 相关软件： 朱莉娅；Optim；Plots.jl… 主要字段： 统计学（62-XX）；流体力学（76-XX）
mkc7公司 4份文件引用(2006–2022) 软件作者： Forrest，John J.H。；加扬省卡拉尼南；拉丹伊，拉斯洛 相关软件： MIPLIB公司；背包；UG… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
沙发2.0 4份文件引用(2012–2017) 软件作者： 布雷什，T。；Hnetynka，P。；普拉舍尔，F。 相关软件： D-Finder；ArchJava；AmbientTalk… 主要字段： 计算机科学（68-XX）
现金收入 引用于3份文件(2021–2023) 软件作者： 塞巴斯蒂安·布劳斯 相关软件： FEniCS；PETSc；Firedrake… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
地理SPARQL 引用于3份文件(2015–2016) 软件作者： R.Battle、D.Kolas 相关软件： PelletSpatial；马普斯；PostgreSQL… 主要字段： 计算机科学（68-XX）
MLIC公司 4份文件引用(2021–2023) 软件作者： 德米特里·马利奥托夫（Dmitry Malioutov）、库尔迪普·S·梅尔（Kuldeep S.Meel） 相关软件： IMLI；UCI-ml；PySAT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
开放GV 4份文件引用(2021–2023) 软件作者： Kneip，L。；弗加尔，P。 相关软件： EPnP；SE-Sync；打开CV… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ROS监测 2份文件引用(2021–2023) 软件作者： A.Ferrando、R.C.Cardoso、M.Fisher、D.Ancona、L.Franceschini、V.Mascardi 相关软件： SPOT；超张力；MCMAS… 主要字段： 计算机科学（68-XX）
MESA VERDE公司 引用于3份文件(1989–1996) 软件作者： 维滕堡，J。；美国沃尔兹。 相关软件： NEWEUL公司；纽尤尔 主要字段： 微分几何（53-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
P最大值 引用于3份文件(2014–2022) 软件作者： 法迪·A·扎拉基特。；Majd Olleik；亚辛（Ali A.Yassine）。 相关软件： SINTEF公司；CPLEX；npuScheduler… 主要字段： 运筹学，数学编程（90-XX）
POOSL公司 引用于3份文件(2003–2022) 软件作者： Theelen，B.D。；Voeten，J.P.M。；R.D.J.克莱默。 相关软件： 蟒蛇；TypeScript；埃斯特雷尔… 主要字段： 计算机科学（68-XX）
POWDer公司 引用于3份文件(2019–2022) 软件作者： 奥斯卡·道森；安迪·菲尔波特；安德鲁·梅森（Andrew Mason）；向下，安东尼 相关软件： Lattice Builder；TBSIM；SDDP… 主要字段： 地球物理学（86-XX）；运筹学，数学编程（90-XX）
Python机器人 2份文件引用(2020–2021) 软件作者： 阿苏西·萨凯（Atsushi Sakai）、丹尼尔·英格拉姆（Daniel Ingram）、约瑟夫·迪尼乌斯（Joseph Dinius）、卡兰·查拉（Karan Chawla）、安东尼·拉芬（Antonin Raffin）、亚历克西斯·帕克斯 相关软件： 数字Py；SciPy；BaRC… 主要字段： 系统论；控制（93-XX）
鲁塔雷普 2份文件引用(2009–2016) 软件作者： Belenguer，J.M。；Benavent，E。；M.C.马丁内斯。 相关软件： VRP；尼禄 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
标志 引用于3份文件(2022–2023) 软件作者： 法布里奇奥·弗雷斯卡（Fabrizio Frasca）、伊曼纽尔·罗西（Emanuele Rossi）、大卫·伊纳德（Davide Eynard）、本·张伯伦（Ben Chamberlain）、迈克尔·布朗斯坦（Michael Bronstein）、费德里科·蒙蒂 相关软件： 亚当；github；群集GCN… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
ApolloCar3D 1份文件引用(2020) 软件作者： 宋西斌、王鹏、周定福、朱瑞、关晨烨、戴玉超、郝苏、李洪东、杨瑞刚 相关软件： MS-COCO；ImageNet；语法Viz… 主要字段： 计算机科学（68-XX）
CORONET-火车 2份文件引用(2001) 软件作者： 迪特马尔·普法尔；Niniek Angkasaputra；不同，克里斯蒂安；格恩瑟·鲁赫 相关软件： —— 主要字段： 计算机科学（68-XX）
ESPADON公司 2份文件引用(2003–2006) 软件作者： Bob K.Madahar。；艾恩·阿尔斯通（Ian D.Alston）。；丹尼斯·奥拉格尼尔；汉斯·舒勒；马克·托马斯（Mark Thomas）；布里吉特·萨吉特 相关软件： 锡林克斯 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
NNScore公司 1份文件引用(2019) 软件作者： Jacob D.Durrant，J.Andrew McCammon 相关软件： 深度VS；AutoDock；奇梅拉… 主要字段： 生物学和其他自然科学（92-XX）
STEWord公司 2份文件引用(2017–2020) 软件作者： 查克拉波蒂，苏普拉蒂克；苏拉布哈西达什维利；Carl-Johan H.Seger。；拉杰库马尔·加贾维利；坦马·霍尔丹卡尔（Tanmay Haldankar）；恰塔尼（Chhatani）、迪内什（Dinesh）；拉凯什·米斯特里 相关软件： MiniSat；ABC；数学SAT5… 主要字段： 计算机科学（68-XX）
DFSeer公司 1份文件引用(2023) 软件作者： 孙栋；冯泽正；陈元哲；王勇；曾佳；袁明轩；Pong、Ting-Chuen；瞿华民 相关软件： UMAP；Scikit；imodels… 主要字段： 计算机科学（68-XX）
IGSTK公司 在0个文档中引用 软件作者： Enquobahrie A、Cheng P、Gary K、Ibáñez L、Gobbi D、Lindseth F、Yaniv Z、Aylward S、Jomier J、Cleary K 相关软件： R；开发工具；oro.nifti… 主要字段： ——
JUGE公司 在0个文档中引用 软件作者： Xavier Devroey、Alessio Gambi、Juan Pablo Galeotti、RenéJust、Fitsum Kifetew、Annibale Panichella、Sebastiano Panichella 相关软件： EvoSuite；JUnit公司；缺陷4J… 主要字段： ——
单色2微米 在0个文档中引用 软件作者： Anup Kalia、Jin Xiao、Rahul Krishna、Saurabh Sinha、Maja Vukovic、Debasish Banerjee 相关软件： ADDI；CAST；转换顾问… 主要字段： ——
个人识别号 在0个文档中引用 软件作者： Coles H、Laurent T、Henard C、Papadakis M、Ventresque A。 相关软件： EvoSuite；JUnit公司；缺陷4J… 主要字段： ——
PMTK公司 在0个文档中引用 软件作者： Berti A、Li CY、Schuster D、van Zelst SJ、Fraunhofer FIT 相关软件： 迪斯科；正式舞会；Python… 主要字段： ——
快速恢复 在0个文档中引用 软件作者： Stefan Karlsson、Adnan Causevic、Daniel Sundmark 相关软件： RESTler公司；PostgreSQL；科特林… 主要字段： ——
Radoop公司 在0个文档中引用 软件作者： Zoltán Prekopcsák、Gabor Makrai、T.Henk、Csaba Gáspár-Papanek 相关软件： 快速采矿机 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
机器人API 1份文件引用(2015) 软件作者： 安德烈亚斯·安格勒、阿尔文·霍夫曼、安德烈亚·席尔、迈克尔·维斯坦、沃尔夫冈·雷夫 相关软件： KUKA机器人语言 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
TSViz公司 在0个文档中引用 软件作者： Shoaib Ahmed Siddiqui、Dominik Mercier、Mohsin Munir、Andreas Dengel、Sheraz Ahmed 相关软件： 不在场证明解释；tf-解释；Python… 主要字段： ——
UCX公司 在0个文档中引用 软件作者： P.Shamis、M.G.Venkata、M.G Lopez、M.B.Baker、O.Hernandez、Y.Itigin、M.Dubman、G.Shainer、R.L.Graham、L.Liss、Y.Shahar、S.Potluri、D.Rossetti、D.Becker、D.Poole、C.Lamb、S.Kumar、C.Stunkel、G.Bosilca、A.Bouteiller、， 相关软件： 易于构建；PMIx；xCAT… 主要字段： 计算机科学（68-XX）
网站面260M 在0个文档中引用 软件作者： Zheng Zhu、Guan Huang、Jiankang Deng、Yun Ye、Junjie Huang，Xinze Chen、Jiang Zhu，Tian Yang、Jiwen Lu、Dalong Du、Jie Zhou 相关软件： MagFace；深度ID3；深脸… 主要字段： ——
XDAQ公司 在0个文档中引用 软件作者： G Bauer；U Behrens公司；K Biery；J Branson；E卡诺；H Cheung先生；M Ciganek；S Cittolin；J A Coarasa；C Deldicque公司 相关软件： 阿尔特达克 主要字段： ——