ProbLog（问题日志） 119篇文献引用(2007–2023) 软件作者： Joris Renkens；范登·布勒克（Van Den Broeck），盖伊（Guy）；齐格弗里德·尼克森 相关软件： 棱镜；PITA；CP逻辑… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
斯卡拉 88篇文献引用(2005–2023) 软件作者： Christos K.K.Loverdos。；阿波斯托洛斯·西罗普洛斯 相关软件： Coq；z3；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
查找 90篇文献引用(1972–2023) 软件作者： C.A.R.霍尔 相关软件： 快速分拣；算法347；任天堂中位数… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
彗星 75篇文献引用(2004–2023) 软件作者： 米歇尔·洛朗；看，安德鲁；帕斯卡·范·亨特利克 相关软件： CPLEX；本地化人员；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
杰森 47篇文献引用（1977年-2023年） 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： AgentSpeak；贾德克斯；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
香蒜酱 49篇文献引用(2016–2023) 软件作者： 阿德里安·泰勒（Adrien B.Taylor）。；朱利安·亨德里克斯。；F.格利纳。 相关软件： YALMIP；塞杜米；取消锁定BoX… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
同位素 32篇文献引用(2012–2023) 软件作者： de Leeuw，J.、Hornik，K.、Mair，P。 相关软件： R；Iso；coneproj… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
锌 28篇文献引用(2005–2022) 软件作者： Kim万豪酒店；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
概念 23篇文献引用(2002–2022) 软件作者： 菲利普·弗劳恩费尔德；克里斯蒂安·拉格 相关软件： Gmsh；交易.ii；HP90… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
DIP公司 23篇文献引用(2005–2023) 软件作者： T.K.拉尔夫、M.V.加拉蒂。 相关软件： SCIP；GCG；BaPCod… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
CP逻辑 20篇文献引用（2009年-2023年） 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布吕诺格 相关软件： ProbLog；PITA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
HUGIN公司 14篇文献引用(2002–2018) 软件作者： Hugin专家A/S 相关软件： 瑞金；R；bn学习… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
GASP公司 18篇文献引用(2008–2022) 软件作者： 亚历山德罗·达尔·帕鲁；阿戈斯蒂诺·多维尔；恩里科·蓬泰利（Enrico Pontelli）；吉安弗兰科·罗西 相关软件： 克林戈；格林戈；WASP… 主要字段： 计算机科学（68-XX）
院子 14篇文献引用(2008–2023) 软件作者： Kozicki，J。；F.V.Donzé。 相关软件： 项目符号；Matlab；OpenFOAM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
qpDUNES公司 16篇文献引用（2015年至2022年） 软件作者： Janick Frasch；汉斯-约阿希姆·费雷尔；莫里茨·迪尔；米兰·武科夫 相关软件： qpOASES；ACADO；CVXGEN… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RBFOpt公司 13份文件引用(2016–2023) 软件作者： 阿尔贝托·科斯塔；贾科莫·纳尼西尼 相关软件： NOMAD公司；味噌；EGO… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
国际会计准则 在11份文件中引用(2000–2023) 软件作者： 贾努斯·格拉纳特（Janusz Granat）；马雷克·马科斯基 相关软件： MESSAGEix；TROTS；SPEA2… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
节日 10篇文献引用（1999年至2012年） 软件作者： Paulino，G.H。；梅内泽斯，I.F.M。；Cavalcante Neto，J.B。；L.F.玛莎。 相关软件： ABAQUS/标准；PLTMG公司 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
交通 8份文件引用（2015年至2022年） 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简化… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
资产负债管理 8份文件引用（2012年至2020年） 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
FlashMeta软件 6篇文献引用(2017–2021) 软件作者： 奥列克桑德尔·波洛佐夫；苏米特·古尔瓦尼 相关软件： FlashExtract；运输；FlashRelate… 主要字段： 计算机科学（68-XX）
SOPRA公司 7份文件引用(2015–2021) 软件作者： A.Dayarian、T.P.Michael、A.M.Sengupta 相关软件： 草地；SCARPA；Bambus 2… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
LNgen（液化天然气） 7份文件引用(2011–2021) 软件作者： 艾德米尔，B.E.，魏里奇，S。 相关软件： 流行标志；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MEIGO公司 2份文件引用(2010–2019) 软件作者： Egea JA、Henriques D、Cokelaer T、Villaverde AF、MacNamara A、Danciu DP、Banga JR、Saez-Rodriguez J。 相关软件： COPASI；数据2动力学；AMIGO… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
山核桃 6篇文献引用(1996–2021) 软件作者： 胡萝卜，路易吉；梅勒，弗兰诺；Mango Furnari，马里奥；雷娜塔·纳波利塔诺 相关软件： CANv2；PYR；OpenCAL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
擦伤 5份文件引用(2014–2024) 软件作者： M.T.Homer Reid，Steven G.Johnson 相关软件： pyGDM；MNPBEM；网格… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
目标 在0个文档中引用 软件作者： 威廉·迈克尔·兰道（William Michael Landau）、马修·沃肯廷（Matthew T.Warkentin）、萨曼莎·奥利弗（Samantha Oliver）、特里斯坦·马赫（Tristan Mahr）、伊利·莉莉（Eli Lilly） 相关软件： R；斯坦；stantargets… 主要字段： ——
CoqEAL公司 5份文件引用(2012–2021) 软件作者： Dénès M；西里尔·科恩；安德斯·莫特伯格 相关软件： Coq；Coq/SS反射；精益… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
距离-弧度 5份文件引用(2011–2015) 软件作者： Musab AlTurki；何塞·梅塞盖尔 相关软件： 莫德；爪哇风扇；Java+ITP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
真正的 4份文件引用(1989–2012) 软件作者： 里斯卡（R.Liska）；L.博士 相关软件： QEPCAD；减少；重新记录… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
J均质机 5份文件引用(2006–2021) 软件作者： 亚马逊人、卜拉欣；乔·科培 相关软件： 耦合器；均质机++；伪 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
利亚普诺夫 5份文件引用(2003–2017) 软件作者： Filho，Tarcísio M.Rocha；伊拉姆·格雷里亚。；安妮巴尔·菲格雷多 相关软件： 枫树；diffgrob2；PDE工具… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Nettle公司 4份文件引用(2017–2023) 软件作者： A.Voellmy、A.Agarwal、P.Hudak 相关软件： 狂热；NetKAT；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
皮尔洛 4份文件引用(2014–2022) 软件作者： Lenz Belzner；德尼古拉（De Nicola）、罗科（Rocco）；安德烈·范丁（Andrea Vandin）；马丁·威尔辛 相关软件： MultiVeStA；SCEL；莫德… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
REBA公司 5份文件引用（2019年-2023年） 软件作者： 莫汉·斯里德哈兰；Michael Gelfond；张世奇；杰里米·怀亚特 相关软件： 人民；CCalc；AlphaZero… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
澄清器 5份文件引用(1995–2005) 软件作者： 肯尼·亨特（Kenny Hunt）；詹姆斯·克里默 相关软件： 分子；鹦鹉螺；交流… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
代码搜索网 在0个文档中引用 软件作者： 哈默尔·侯赛因（Hamel Husain）、吴和雄（Ho-Hsiang Wu）、蒂费雷特·加齐特（Tiferet Gazit）、米尔蒂亚迪斯·阿拉马尼斯（Miltiadis Allamanis）、马克·布罗克施密特（Marc Brockschmidt） 相关软件： CodeXGLUE；CodeBERT；BERT… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
卡米 4份文件引用(2018–2021) 软件作者： Choi，J.、Vijayaraghavan，M.、Sherman，B.、Chlipala，A.、Arvind 相关软件： Coq；github；Coquet… 主要字段： 计算机科学（68-XX）
MOCCA公司 2份文件引用(2008–2010) 软件作者： 马西耶·马拉夫斯基（Maciej Malawski）；Dawid Kurzyniec；虚荣的桑德兰 相关软件： SCIRun2；火灾动力学模拟器；PETSc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
ProxSDP传感器 4份文件引用(2021–2022) 软件作者： 马里奥·索托；乔阿金·加西亚（Joaquim D.Garcia）。；阿尔瓦罗·维加 相关软件： 莫塞克；ARPACK；SCS… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
CHAD（查德） 3份文件引用(2022–2023) 软件作者： 瓦卡，马提伊斯；汤姆·斯米丁 相关软件： 提灯；效率；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
FieldOpt（字段选项） 3份文件引用(2021–2022) 软件作者： 鲍曼，EJ；Dale，SI；钟表，MC 相关软件： EnKF；日食；REMSO… 主要字段： 计算机科学（68-XX）；地球物理学（86-XX）；运筹学、数学规划（90-XX）
SOL公司 3份文件引用(2019–2022) 软件作者： 马科托·哈马纳 相关软件： Coq；哈斯克尔；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
干杯 3份文件引用(2006–2018) 软件作者： 布莱恩，马丁；汤姆·克里克；玛丽娜·德沃斯；约翰·惠誉 相关软件： Lparse；平滑；扣… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
WINPRE公司 3份文件引用(1992–2016) 软件作者： Salo A.、Hämäläinen R.P。 相关软件： ComPAIRS公司；RICH决策；主要决策… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
新加坡金融管理局 2份文件引用(2014–2015) 软件作者： 马来亚，N.，Estacio-Hiroms，K.C.，Stogner，R.H.，Schulz，K.W.，Bauman，P.T.，Carey，G.F。 相关软件： Spalart-Allmaras；libMesh；PETSc… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
马蹄甲 2份文件引用(2007–2008) 软件作者： 迈克尔·巴内特（Michael P.Barnett）。 相关软件： 数学软件 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
米QTB 2份文件引用(2021–2022) 软件作者： 班蒂什，B.I。；Chernyavskiy，A.Yu。；于博格达诺夫。一、。 相关软件： pyQTB；蟒蛇；GitHub… 主要字段： 量子理论（81-XX）
pyQTB公司 2份文件引用(2021–2022) 软件作者： 班蒂什，B.I。；Chernyavskiy，A.Yu。；于博格达诺夫。一、。 相关软件： mQTB；蟒蛇；GitHub… 主要字段： 量子理论（81-XX）
RailCNL公司 1份文件引用(2017) 软件作者： 比约纳尔·卢特伯格（Björnar Luteberget）、约翰·卡米莱里（John J.Camilleri）、克里斯蒂安·约翰森（Christian Johansen）、杰拉尔多·施奈德（Gerardo Schneider） 相关软件： MiniSat；dReal；z3… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
六西格玛 2份文件引用(2012–2015) 软件作者： 卡诺，埃米利奥·L。；哈维尔·M·莫格尔扎（Javier M.Moguerza）。；安德烈斯·雷德楚克 相关软件： knitr；nortest；格子… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）
直角折弯机 1份文件引用(2021) 软件作者： 贾科莫·纳尼西尼；埃米利亚诺·特拉维斯；罗伯托·沃尔夫勒·卡尔沃 相关软件： MSLiP公司 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）
对于OpenCL 在0个文档中引用 软件作者： Matthew J.Sottile；克雷格·拉斯穆森（Craig E Rasmussen）；韦恩·韦塞洛（Wayne N.Weseloh）；罗伯特·罗比（Robert W.Robey）；丹尼尔·昆兰；杰弗里·奥弗贝 相关软件： —— 主要字段： ——
全球导航卫星系统段 在0个文档中引用 软件作者： Annarosa Quarello、Emilie Lebarbier、Olivier Bock 相关软件： TEQC；R；CRAN（起重机） 主要字段： ——
GSNAP公司 1份文件引用(2016) 软件作者： Thomas D.Wu、Jens Reeder、Michael Lawrence、Gabe Becker、Matthew J.Brauer 相关软件： knitr；烤面包；银河… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
JPAC公司 1份文件引用(2003) 软件作者： 斯蒂芬·马吉尔（Stephen Magill）；布拉德利·斯卡格斯；毛里西奥·爸爸；约翰·黑尔 相关软件： —— 主要字段： 计算机科学（68-XX）
有限责任公司 1份文件引用(2014) 软件作者： Dorta A.J.、González J.A.、Rodríguez C.、De Sande F。 相关软件： Graphplus Templet；Fortran DVM；技能… 主要字段： 计算机科学（68-XX）
MAGECAA公司 1份文件引用（2018年） 软件作者： 于雪飞；林良卓；沈洁；陈志；简，君；李斌；Xin，Sherman雪刚 相关软件： GlyCulator；BARON公司 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
NeoPZ公司 1份文件引用(2015) 软件作者： Díaz Calle，Jorge L。；菲利普·R·B·德夫卢。；科特迪瓦戈麦斯。 相关软件： github；libMesh；ParaView… 主要字段： 数值分析（65-XX）
网络动态基准 1份文件引用(2021) 软件作者： Lincoln，L.、Drauschke，F.、Koulen，J.、Monika，J.和Lindner，M。 相关软件： github；NeuralPDE.jl；PackageCompiler.jl… 主要字段： 动力学系统和遍历理论（37-XX）
OREX-J公司 1份文件引用(2013) 软件作者： 朗（Jan Christian）；托马斯·威贾贾 相关软件： 北极星；BEAGLE公司；jMetal… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PyCascades公司 在0个文档中引用 软件作者： 尼科·温德林（Nico Wunderling）、乔纳森·克伦克（Jonathan Krönke 相关软件： NetworkX；SciPy；pyDOE… 主要字段： ——
PyGraWC公司 在0个文档中引用 软件作者： 爱德华多·多斯·桑托斯·佩雷拉（Eduardo dos Santos Pereira），奥斯瓦尔多·米兰达（Oswaldo D.Miranda） 相关软件： SciPy；F2PY；Dia2代码… 主要字段： ——
自旋旋转 1份文件引用(2011) 软件作者： M.Veshtor；R.G.格里芬 相关软件： ARPACK；Expokit公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）
符号数字集成.jl 1份文件引用(2022) 软件作者： 伊朗文，沙赫里亚尔；卡尔·朱利叶斯·马滕森；亚历山德罗，切利；沙什·高达（Shashi Gowda）；阿南德·杰恩（Anand Jain）；马英波；克里斯·拉卡卡斯 相关软件： 建模工具包.jl；SymPy；数据驱动DiffEq.jl… 主要字段： 计算机科学（68-XX）