MATCONT公司 526份文件引用(2003–2024) 软件作者： Dhooge，A。；乌龟，B。；Govaerts，W。；于库兹涅佐夫。答：。 相关软件： 自动；Matlab；CL_MATCONT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
分散搜索 274份文件引用(1999–2023) 软件作者： 曼努埃尔·拉古纳；拉斐尔·马蒂 相关软件： 禁忌搜索；VRP；CPLEX… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
SQPlab公司 201份文件引用(2000–2023) 软件作者： J.F.Bonnans、J.Ch.Gilbert、C.Lemaréchal、C.A.Sagastizábal 相关软件： PLCP；Ipopt；L-BFGS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
钠20 79份文件引用(2000–2022) 软件作者： 比尼，达里奥·安德里亚；佛罗伦萨，朱塞佩 相关软件： na10；隔离；特征解… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；实函数（26-XX）；复变量函数（30-XX）…
PT-Scotch公司 59篇文献引用（2010年-2023年） 软件作者： C.骑士；F.佩莱格里尼 相关软件： 帕梅蒂斯；PETSc；梅蒂斯… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BLISS公司 60篇文献引用(2013–2024) 软件作者： 杜卡斯，L。；Durmus，A。；Lepoint，T。；柳巴舍夫斯基，V。 相关软件： NTRU；NTRU签名；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
SWIFFT银行 51篇文献引用（2008年至2021年） 软件作者： 卢巴什夫斯基，瓦迪姆；丹尼尔·米恰尼西奥（Daniele Micciancio）；克里斯·佩克特（Chris Peikert）；阿隆·罗森 相关软件： NTRU；NTL；SWIFFTX… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NEFCLASS-X公司 16篇文献引用(1999–2015) 软件作者： Nauck博士。；克鲁斯，R。 相关软件： ANFIS；C4.5；UCI-ml… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
帕索尔 19份文件引用(2005–2017) 软件作者： 亚库斯·舍夫，亚历山大；采吉斯，雷蒙达斯；劳凯蒂，印加；特罗菲莫夫，维亚切斯拉夫 相关软件： PETSc；BALaser；Diffpack… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
乔托 17篇文献引用(2001–2022) 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
莫扎特 15篇文献引用(1999–2018) 软件作者： 彼得·范罗伊；塞夫·哈里迪 相关软件： 奥兹；CPLEX；芯片… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
十字架 18篇文献引用(2012–2024) 软件作者： 张安如 相关软件： 导缆器流量；罚款；glmnet… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
新Dsc 15篇文献引用(2016–2023) 软件作者： 亚历山大·科贝尔（Alexander Kobel）；Fabrice的Rouillier；迈克尔·萨格拉洛夫 相关软件： 隔离；集群；仲裁… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；复变量函数（30-XX）…
ComputeBelyi公司 14篇文献引用(2014–2020) 软件作者： 马克·范·霍伊，雷蒙达斯·维多纳斯 相关软件： DLMF；PHCpack；BRAID… 主要字段： 数论（11-XX）；代数几何（14-XX）；特殊功能（33-XX）…
网格卫星 10篇文献引用（2006年至2019年） 软件作者： 科拉巴赫、瓦希德；里奇·沃尔斯基 相关软件： 糠；SATO；PSATO… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
高温气冷堆 14篇文献引用(2018–2023) 软件作者： Michael Abseher；穆斯利乌·奈斯雷特（Nysret Musliu）；斯特凡·沃尔特兰 相关软件： GANAK公司；克林戈；Dsharp… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
算法787 10篇文献引用(1998–2014) 软件作者： 莫里西奥·雷森德（Mauricio G.C.Resende）。；Feo，Thomas A。；斯图亚特·史密斯。 相关软件： DIMACS；算法797；QUALEX… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
亚当 10篇文献引用(2011–2023) 软件作者： Hinkelmann F、Brandon M、Guang B、McNeill R、Blekherman G、Veliz Cuba A、Laubenbacher R 相关软件： 麦考利2号；金西姆；BoolNet… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）…
PartiSim公司 9份文件引用(2015–2021) 软件作者： Tako，Antuela A。；凯西·科蒂亚迪斯 相关软件： SimLean；擅长；发电机… 主要字段： 历史与传记（01-XX）；运筹学，数学编程（90-XX）
BEE公司 8份文件引用(2012–2022) 软件作者： Metodi，Amit；迈克尔·科迪什 相关软件： nauti；踪迹；MiniSat… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
埃米利 8份文件引用（2019年至2024年） 软件作者： 费德里科·帕格诺齐；托马斯·斯特泽尔 相关软件： irace；萨滕斯坦；帕拉米尔斯… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
QPALM公司 8份文件引用(2020–2023) 软件作者： Ben Hermans、Andreas Themelis、Panagiotis Patrinos 相关软件： OSQP；qpOASES；OOQP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Verigraph公司 9份文件引用(2016–2023) 软件作者： 吉尔赫梅·格罗肖（Guilherme Grochau）阿齐兹（Azzi）；贝泽拉、乔纳斯·桑托斯；莱拉·里贝罗（Leila Ribeiro）；安德烈·科斯塔；罗德里格斯、莱昂纳多·马尔克斯；罗德里戈·马查多 相关软件： AGG；同意；Henshin… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
DSATUR公司 8份文件引用(2001–2020) 软件作者： Janczewski，R。；Kubale，M。；Manuszewski，K。；皮瓦科夫斯基，K。 相关软件： DIMACS；CPLEX；阿巴克斯 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
俏皮的 8份文件引用(2014–2019) 软件作者： 保罗·T·达尔加；哈迪·卡特比；马克·利菲顿（Mark Liffiton）；伊戈尔·马尔科夫；卡伦·萨卡拉 相关软件： 极乐；nauti；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
盒 6篇文献引用(2010–2020) 软件作者： Gurfinkel，A.，Chaki，S。 相关软件： 停机坪；不明飞行物；SeaHorn… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
弗伦斯 6篇文献引用(2007–2016) 软件作者： 迈克尔·莱恩 相关软件： 特征值；交易.ii；女主人… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GeNIe公司 4份文件引用(2011–2016) 软件作者： 贝叶斯融合有限责任公司 相关软件： 分析；UCI-ml；TETRAD… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
MSMS（座椅位置记忆系统） 7份文件引用(2011–2020) 软件作者： 格雷戈里·尤因；约阿希姆·赫尔米森 相关软件： SABER公司；mbs；迪斯科… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ParaLEX公司 6篇文献引用(2018–2022) 软件作者： Yuji Shinano；富士，铁屋 相关软件： CPLEX；ParaSCIP；SCIP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
RIATA-HGT公司 7份文件引用（2005年至2021年） 软件作者： 卢艾州纳赫勒；德里克·鲁思；王丽珊 相关软件： PhyloNet；PAUP*；T-REX… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
脆弱生存 2份文件引用(2021–2023) 软件作者： 约翰·摩纳哥（John V.Monaco）、马尔卡·戈尔芬（Malka Gorfine）、李旭（Li Hsu） 相关软件： 生存；R；Rcpp… 主要字段： 统计学（62-XX）
标准池-PolyAlgos 5份文件引用(2018–2020) 软件作者： 拉杜·巴尔滕·卢戈詹（Radu Baltean-Lugojan）；露丝·米塞纳 相关软件： APOGEE；GloMIQO；GAMS模型… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学，数学编程（90-XX）
trlib公司 5份文件引用(2018–2022) 软件作者： Felix Lenders、Christian Kirches、Andreas Potschka 相关软件： HSL-VF05；FEniCS；GQTPAR… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
算法963 4份文件引用(2016–2022) 软件作者： 马尔科斯·埃斯科瓦尔（Marcos Escobar）；鲁道夫（Rudolph，Benedikt）；Rudi Zagst先生 相关软件： Matlab公司 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
快速RFS 4份文件引用(2017–2020) 软件作者： Vachaspati，P.，Warnow，T。 相关软件： ASTRID公司；RAxML；多个RF… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PATOMA公司 引用于3份文件（2008年至2021年） 软件作者： 聪；M.罗梅西斯；J.R.Shinnerl先生 相关软件： 不明飞行物；LBFGS-B；DeFer… 主要字段： 凸和离散几何（52-XX）；运筹学，数学编程（90-XX）
sccf（标准立方英尺） 4份文件引用(2020–2023) 软件作者： 谢恩·巴拉特（Shane Barratt）；安格里斯（Angeris）、吉列尔莫（Guillermo）；斯蒂芬·博伊德 相关软件： robustbase；L-BFGS公司 主要字段： 实函数（26-XX）；统计学（62-XX）；运筹学，数学编程（90-XX）
套房2p 2份文件引用(2020) 软件作者： 马吕斯·帕奇塔里奥（Marius Pachitariu）、卡森·斯特林格（Carsen Stringer）、西尔维亚·施罗德（Sylvia Schröder）、马里奥·迪波帕（Mario Dipoppa）、费德里科·罗西（L.Federico Rossi）、马泰奥·卡兰迪尼（ 相关软件： SIMA；卡伊曼；Python… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
爆炸 2份文件引用(2014–2016) 软件作者： 杨俊峰、坎萨尔、道森·恩格尔 相关软件： PostgreSQL；SQCK；Eleven82… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
格迪沃 2份文件引用(2013–2022) 软件作者： 拉希德·伊布拉吉莫夫；马利克，马克西米利安；郭炯；扬·邦巴赫 相关软件： C-GRAAL公司；伟大的；生物网格… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
格拉斯哥子图解算器 引用于3份文件(2020–2023) 软件作者： Ciaran McCreesh；Patrick Prosser；詹姆斯·特里姆布尔 相关软件： 地下；沙丁鱼；工艺… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HC-ACO公司 引用于3份文件(2004–2019) 软件作者： 克里斯蒂安·布鲁姆；安德烈亚·罗利（Andrea Roli）；多里戈 相关软件： 禁忌搜索；Swarm-Sync；DOSI… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
K加热器 引用于3份文件(2012) 软件作者： 马克·芬塔默（Marc Finthammer）；马蒂亚斯·蒂姆 相关软件： 炼金术；ProbLog（问题日志） 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
OTAWA公司 1份文件引用(2017) 软件作者： 巴拉布里加，克莱门特；Cassé，Hugues；克莉丝汀·罗切（Christine Rochange）；帕斯卡·塞恩拉特 相关软件： 单克隆抗体；注册会计师检查；STP… 主要字段： 计算机科学（68-XX）
子MAP 2份文件引用(2013–2018) 软件作者： Ay，F.，Kellis，M.，Kahveci，T。 相关软件： ils-mwis；4ti2；MetNetAligner… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
CRAFT（手工艺） 2份文件引用(2019–2021) 软件作者： 费萨尔·沙赫扎德、乔纳斯·蒂斯、莫里茨·克鲁泽、托马斯·泽塞、乔治·黑格、格哈德·韦林 相关软件： FEAP；FE2TI；MUMPS… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
曝光器 2份文件引用(2021) 软件作者： Khoo，Y.P.，Foster，J.S.，Hicks，M 相关软件： 校对工具；哈斯克尔；半环 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
GMCM公司 1份文件引用(2020) 软件作者： 安德斯·比尔格劳（Anders Bilgrau）；保尔·埃里克森；雅各布·拉斯穆森；汉斯·约翰森；卡伦·迪布卡尔（Karen Dybkaer）；马丁·博格斯特德 相关软件： 国际存托凭证；R；knitr… 主要字段： 统计学（62-XX）
GraVy公司 1份文件引用(2020) 软件作者： Arlt，S.、Rubio-González，C.、Rümmer，P.、Schäf，M.、Shankar，N。 相关软件： Rust2Viper；蝰蛇；SMACK… 主要字段： 计算机科学（68-XX）
网格工具 1份文件引用(2024) 软件作者： 安东·阿法纳西耶夫（Anton Afanasyev）、毛罗·比安科（Mauro Bianco）、卢卡斯·莫西曼（Lukas Mosimann）、卡洛斯·奥苏纳（Carlos Osuna）、费利克斯·泰勒（Felix Thaler）、汉内斯·沃格特（Hannes Vogt）、奥利弗·福勒（Oliver Fuhrer 相关软件： 斯特拉；COSMO；P旋流器… 主要字段： 流体力学（76-XX）；地球物理学（86-XX）
LSSPAR公司 2份文件引用(2021) 软件作者： Fatih S.阿克塔什。；Ekmekcioglu，Ømer；穆斯塔法·皮纳尔。 相关软件： Guppy 3；github；Python… 主要字段： 测量和集成（28-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
多种族 1份文件引用(2017) 软件作者： 埃利·波兹尼安斯基（Eli Pozniansky），阿萨夫·舒斯特（Assaf Schuster） 相关软件： 螺纹消毒剂；CDS检查器；ktsan… 主要字段： 计算机科学（68-XX）
OnBalance公司 1份文件引用(2016) 软件作者： 辛烷集团有限公司 相关软件： BENSOLVE公司；Guimoo；决定… 主要字段： 总体主题；藏品（00-XX）；运筹学，数学编程（90-XX）
PMS5系列 2份文件引用(2013) 软件作者： H.Dinh、S.Rajasekaran、V.K.Kundeti 相关软件： RecMotif；意大利调味饭；青少年… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
BiPSim公司 1份文件引用(2023) 软件作者： 斯蒂芬·费舍尔（Stephan Fischer）；Marc Dinh；文森特·亨利；菲利普·罗伯特；Anne Goelzer；文森特·弗罗米翁 相关软件： 生物细胞周期 主要字段： 概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）
DarpanX公司 在0个文档中引用 软件作者： Biswajit Mondal、Santosh V.Vadawale、N.P.S.Mithun、C.S.Vaishnava、Neeraj K.Tiwari、S.K.Goyal、Singam S.Panini、Vinita Navalkar、Chiranjit Karmakar、Mansukhlal R.Patel、R.B.Upadhyay 相关软件： XSPEC；反射；Motofit… 主要字段： ——
ECC2（电子控制计算机2） 1份文件引用(2020) 软件作者： 张方国；张卓然；管培东 相关软件： 麦克利埃塞 主要字段： 代数几何（14-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
戈尔巴勒 1份文件引用(2022) 软件作者： 你，R。；张，Z。；熊，Y。；Sun，F。；Mamitsuka，H。；朱，S。 相关软件： 反应组；Tensor2传感器；协同因子… 主要字段： 生物学和其他自然科学（92-XX）
HYPE（超链接） 1份文件引用(2022) 软件作者： 克里斯蒂安·梅尔、鲁本·梅尔（Ruben Mayer）、苏卡尼亚·博米克（Sukanya Bhowmik）、卢卡斯·埃普尔（Lukas Epple）、库尔特·罗瑟梅尔（Kurt Rothermel） 相关软件： PowerModels.jl；去CODe；PaToH… 主要字段： 运筹学，数学编程（90-XX）
叶片 1份文件引用(2022) 软件作者： 本·赫尔曼斯；安德烈亚斯·塞米利斯；Patrinos、Panagiotis 相关软件： NC-OPT；OOQP；BPMPD… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学，数学编程（90-XX）
学习GB价值模型 1份文件引用(2023) 软件作者： Jelena Mojsilović；迪伦·佩弗（Dylan Peifer）；索尼娅·彼得罗维奇 相关软件： 麦考利2号；4钛2 主要字段： 交换代数（13-XX）；代数几何（14-XX）；统计学（62-XX）
MUFold软件 1份文件引用(2021) 软件作者： Chao Fang、Zhaoyu Li、Dong Xu、Yi Shang 相关软件： PSIPRED；哥伦比亚广播公司 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MuSe-工具箱 在0个文档中引用 软件作者： 卢卡斯·斯塔彭（Lukas Stappen）、李·舒曼（Lea Schumann）、本杰明·塞托利（Benjamin Sertolli）、爱丽丝·贝尔德（Alice Baird）、本雅明·威格尔（Benjamin-Weigel）、埃里克·坎布里亚（Erik Cambria）、 相关软件： DBA；10月2日至12月；Scikit… 主要字段： ——
前缀匹配 1份文件引用(2015) 软件作者： 钟思辰；赵璐；梁燕；穆罕默德扎曼·扎马尼；罗布·帕特罗；雷扎尔·乔杜里；埃丝特·M·阿尔金（Esther M.Arkin）。；Joseph S.B.Mitchell。；史蒂文·斯基纳 相关软件： SCALCE；github 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PyLog（Py日志） 1份文件引用(2021) 软件作者： 黄思涛；吴坤；Jeong，Hyunmin；王成岳；陈德铭；吴文美 相关软件： AutoSA；PYNQ；PyRTL… 主要字段： 计算机科学（68-XX）
荆棘 1份文件引用(2019) 软件作者： Bloom，B.，Field，J.，Nystrom，N.，Östlund，J.、Richards，G.、Strniša，R.、Vitek，J.和Wrigstad，T。 相关软件： 稳定剂；圣人；Bigloo… 主要字段： 计算机科学（68-XX）
Xformatter格式 1份文件引用(2003) 软件作者： Brüggemann-Klein，Anne；罗尔夫·克莱恩；斯特凡·沃尔菲尔 相关软件： FrameMaker；特克斯；LaTeX… 主要字段： 计算机科学（68-XX）
XPIWIT公司 在0个文档中引用 软件作者： Bartschat，A。；Hübner，E。；Reischl，M。；Mikut，R.，Stegmaier，J。 相关软件： SOM；Fisherexest公司；HeiDATAProVIT… 主要字段： ——