Matlab公司 13834年文献引用(1982–2025) 软件作者: MathWorks公司 相关软件: Simulink;LMI工具箱;枫树… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
蟒蛇 1432份文献中引用(1991–2025) 软件作者: 吉多·范罗苏姆 相关软件: SciPy;数字Py;Matplotlib… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
自由Fem++ 1694年文献引用(2000–2024) 软件作者: Olivier Pironeau、Frédéric Hecht、Antoine Le Hyaric、Jacques Morice 相关软件: PETSc;FEniCS;UMFPACK… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
单一 1650年文献引用(1991–2024) 软件作者: Wolfram Decker公司;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼 相关软件: 麦考利2号;可可;SageMath… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…
PRMLT公司 1373年文件引用(2006–2024) 软件作者: C.主教 相关软件: UCI-ml;ElemStatLearn;亚当… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
朱莉娅 653份文件引用(2014–2024) 软件作者: Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件: github;JuMP;微分方程.jl… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
阿尔戈60 657份文件引用(1959年至2024年) 软件作者: Naur,P。;巴克斯,J.W。;等。 相关软件: ALGOL 68;欧拉;损益表… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
斯坦 419份文件引用(2013–2024) 软件作者: Stan开发团队 相关软件: R;JAGS;贝叶斯DA… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
协和式飞机 328份文件引用(1997–2024) 软件作者: Applegate,David L。;Robert E.Bixby。;瓦舍克·查塔尔;威廉·库克。 相关软件: TSPLIB;LKH;VRP… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
艾菲尔 234篇文献引用(1989–2023) 软件作者: 贝特朗·梅耶 相关软件: JML;闲聊;规范#… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
阿尔戈68 280篇文献引用(1969–2019) 软件作者: van Wijngaarden,A.作者简介;梅勒鲁,B.J。;Peck,J.E.L。;科斯特,C.H.A。;辛佐夫,M。;Lindsey,C.H。;Meertens,L.G.L.T。;R.G.菲斯克。 相关软件: ALGOL 60;Simula 67;Ada95… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…
克里斯托费尔 271份文件引用(1996–2024) 软件作者: 托宾·A·德里斯科尔 相关软件: SC工具箱;Matlab;SCPACK… 主要字段: 复变量的函数(30-XX);偏微分方程(35-XX);数值分析(65-XX)…
C解析 257篇文献引用(2006–2023) 软件作者: 蒂莫西·戴维斯(Timothy A.Davis)。 相关软件: 稀疏矩阵;Matlab;symrcm… 主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…
DiffSharp(差异锐化) 215篇文献引用(2016–2024) 软件作者: Baydin,A.G.,Pearlmutter,B.A。 相关软件: 亚当;TensorFlow;DGM… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
GLPK公司 196篇文献引用(2004–2023) 软件作者: 安德鲁·马科林 相关软件: CPLEX;古罗比;AMPL… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
Firedrake公司 165篇文献引用(2016–2024) 软件作者: Robert C.Kirby、Florian Rathgeber、David A.Ham、Lawrence Mitchell、Michael Lange、Fabio Luporini、Andrew T.McRae、Gheorghe-Teodor Bercea、Graham R.Markall、Paul H.J.Kelly 相关软件: PETSc;FEniCS;UFL… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
酯类 137篇文献引用(1985–2023) 软件作者: 杰拉德·贝瑞 相关软件: 卢斯特;信号;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
Why3号机组 144篇文献引用(2004–2023) 软件作者: 弗朗索瓦·博博特;Jean-Christophe Filliátre;克劳德·马奇;纪尧姆·梅尔金德;安德烈·帕斯科维奇 相关软件: Coq;卡拉卡拉;z3… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
OBJ3型 140篇文献引用(1989–2023) 软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里) 相关软件: 莫德;OBJ咖啡馆;CASL… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
CVRPSP公司 142篇文献引用(2002–2024) 软件作者: Lysgaard,J。 相关软件: VRP;CVRPSEP;CPLEX… 主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)…
布吉 127篇文献引用(2007–2023) 软件作者: K.鲁斯坦·莱诺 相关软件: z3;Why3;规范#… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
爆炸 111篇文献引用(2003–2022) 软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Jhala,Ranjit;Rupak Majumdar;格雷戈伊尔·萨特雷 相关软件: SLAM;CPA检查员;CBMC… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
Flyspeck飞点 133篇文献中引用(2004–2024) 软件作者: 托马斯·黑尔斯(Thomas C.Hales)。;Tankink,Carst公司;塞萨里·卡利西克;约瑟夫·厄本;赫尔曼·格乌弗斯 相关软件: HOL灯;Isabelle/HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);凸和离散几何(52-XX)…
测试U01 127篇文献引用(2005–2024) 软件作者: P.L'Ecuyer;R.西蒙德 相关软件: MersenneTwister;迪哈德;NIST统计测试套件… 主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);数值分析(65-XX)…
RcppArmadillo公司 70篇文献引用(2012–2023) 软件作者: 罗曼·弗朗索瓦(Romain Francois)、德克·埃德布特尔(Dirk Eddelbuettel)、道格·贝茨(Doug Bates) 相关软件: R;卢比;犰狳… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
C-XSC 2.0版 128篇文献引用(1979–2023) 软件作者: 沃纳·霍夫舒斯特;沃尔特·克雷默;R.Klatte公司 相关软件: C-XSC;国际实验室;进入PT_90… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
SETHEO公司 118篇文献引用(1990–2022) 软件作者: Letz,R。;舒曼,J。;拜耳,S。;比贝尔,W。 相关软件: TPTP;水獭;SPASS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
Risa/Asir公司 122篇文献引用(1992–2024) 软件作者: 北野正彦、横山和弘、竹岛高、下山竹石、安井广志、,Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama(致力于基础设计、内核源代码和核心库)。关于库的提交者和最近的贡献者,请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。 相关软件: 单一;麦考利2号;Kan… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…
高斯 108篇文献引用(1988–2023) 软件作者: Aptech Systems公司。 相关软件: R;Matlab;SAS… 主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
ASTREE公司 112份文件引用(2002–2023) 软件作者: 帕特里克·库索特(Patrick Cousot)、拉迪亚·库索特、杰罗姆·费雷特(Jeróme Feret)、劳伦特·毛博尔涅(Laurent Mauborgne)、安托万·米内(Antoine Miné)、大卫·莫尼奥(David Monniaux)、泽维尔 相关软件: 停机坪;z3;PPL… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…
轻量级Java 108篇文献引用(2001–2023) 软件作者: Atsushi Igarashi;本杰明·C·皮尔斯。;菲利普·沃德勒 相关软件: JML;毫升;埃菲尔… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
落叶松 105篇文献引用(1989–2023) 软件作者: John V.Guttag。;詹姆斯·霍宁。 相关软件: JML;埃菲尔;PVS… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);群论和推广(20-XX)…
PDDL公司 95篇文献引用(2000–2023) 软件作者: 福克斯,M。;Long,D。;Ghallab,M.、Howe,A.、Knoblock,C.、McDermott,D.、Ram,A.、Veloso,M.,Weld,D.、Wilkins,D。 相关软件: 图形平面图;步行卫星;萨帕… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
C-XSC(C-XSC) 111篇文献引用(1992–2023) 软件作者: 克里斯蒂安·劳奥 相关软件: C-XSC 2.0;国际实验室;进入PT_90… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
GiNaC公司 92份文件引用(2002–2024) 软件作者: 欧洲专利局(EPO);C.W.Bauer、A.Frink、R.Kreckel 相关软件: 表格;雷杜泽;火灾… 主要字段: 复变量的函数(30-XX);几何(51-XX);数值分析(65-XX)…
hlib公司 103篇文献引用(2005–2023) 软件作者: 斯特芬·博姆(Steffen Börm);Lars Grasedyck;莱比锡Max-Planck-Institut 相关软件: STRUMPACK;乔治;GitHub… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);积分方程(45-XX)…
马戏团 81份文件引用(2002–2024) 软件作者: Woodcock,J.C.P.,卡瓦尔坎蒂,A.L.C。 相关软件: Z;电源保护;Simulink… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
BENSOLVE公司 96篇文献引用(2011–2024) 软件作者: 安德烈亚斯·洛赫;本杰明·魏宁 相关软件: CVX;github;古罗比… 主要字段: 功能分析(46-XX);变分法与最优控制;优化(49-XX);凸和离散几何(52-XX)…
ILOG时间表 88篇文献引用(1996–2023) 软件作者: C·勒帕佩 相关软件: CPLEX;炸薯条;JOBSHOP… 主要字段: 一般代数系统(08-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
QPL公司 91份文件引用(2004–2023) 软件作者: 彼得·塞林格 相关软件: 质量管理清单;qGCL;Quipper… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);功能分析(46-XX)…
卡拉卡拉 79份文件引用(2004–2022) 软件作者: 马奇,C。;Paulin-Mohring,C。;X·乌尔班。 相关软件: Why3;Caduceus;JML… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
梅沙赫 85篇文献引用(1994–2024) 软件作者: 大卫·E·斯图尔特(David E.Stewart)。;兹比格尼乌·莱克 相关软件: Chrono;SIMEM3雷诺;RODAS… 主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…
利普索 86篇文献引用(1997–2022) 软件作者: 张茵;格雷格·斯威里杜克 相关软件: PCx;Matlab;Mosek… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
赛马拉松 54篇文献引用(2008–2023) 软件作者: Behnel,S.、Bradshaw,R.、Dalcín,L.、Florisson,M.、Makarov,V.、Seljeboton,D.S。 相关软件: 蟒蛇;数字Py;科学… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
ASA公司 76篇文献引用(1993–2021) 软件作者: 莱斯特·英贝尔 相关软件: simannf90;基因组学;PSwarm… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
TRLan公司 78篇文献引用(1999–2024) 软件作者: 吴克胜;霍斯特·西蒙 相关软件: JDQZ;IRAM;JDQR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…
皮克特 74份文件引用(1996–2022) 软件作者: 本杰明·C·皮尔斯。;大卫·N·特纳 相关软件: 乔卡姆;莫德;Oz… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
TTTPLOTS公司 70篇文献引用(2007–2024) 软件作者: Aiex,Renata M。;里森德,毛里西奥·G·C。;塞尔索·C·里贝罗。 相关软件: PERL;GRASP;irace… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
Isabelle/采埃孚 70篇文献引用(1993–2023) 软件作者: 劳伦斯·保尔森 相关软件: 伊莎贝尔;Coq;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
CompCert公司 58篇文献引用(2009–2023) 软件作者: X·勒罗伊。 相关软件: Coq;Isabelle/HOL;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
根 34份文件引用(2001–2023) 软件作者: 勒内·布伦;天线制造商 相关软件: PYTHIA8;GEANT4;Python… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
最大SPN 53篇文献引用(1988–2022) 软件作者: 朱奈德·巴巴尔;马可·贝库蒂;苏珊娜·多纳泰利(Susanna Donatelli);安德鲁·米纳 相关软件: GreatSPN 1.7;TimeNET;CADP… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
XploRe公司 57篇文献引用(1995–2014) 软件作者: 沃尔夫冈·哈德尔 相关软件: R;SAS;JASP… 主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);数值分析(65-XX)…
迷你们 54篇文献引用(2005–2023) 软件作者: Jefferson,C.、Kotthoff,L.、Moore,N.、Nightingale,P.、Petrie,K.E.、Rendl,A。 相关软件: 间隙;微量锌;OEIS… 主要字段: 组合数学(05-XX);结合环与代数(16-XX);群论和推广(20-XX)…
SWIG(开关) 41篇文献引用(2000–2023) 软件作者: D.M.比兹利。 相关软件: 蟒蛇;数字Py;F2PY… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
X产品 53篇文献引用(2003年至2020年) 软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯) 相关软件: CDuce;XPath;PiDuce… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
KIV公司 51篇文献引用(1988–2022) 软件作者: M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件: Z;PVS;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
LEO-II型 52篇文献引用(2008–2021) 软件作者: Benzmüller,C.,Paulson,L.,Theiss,F.,Fietzke,A 相关软件: 沙达拉;TPTP;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
弗拉马-C 43篇文献引用(2009–2023) 软件作者: 帕特里克·鲍丁;理查德·博尼肯(Richard Bonichon);洛伊克·科伦森;帕斯卡尔·库克;扎伊娜·达盖伊(Zaynah Dargaye);Jean-Christophe Filliátre;菲利普·赫尔曼;克劳德·马奇;本杰明·莫纳特;扬尼克·莫伊;安妮·帕卡莱特;维吉尔·普雷沃斯托;朱利安·西莫尔斯和鲍里斯·亚科博夫斯基 相关软件: Coq;Why3;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
RealPaver公司 51篇文献引用(2003–2017) 软件作者: 劳伦特·格兰维利耶 相关软件: 数字;进入PT_90;监狱… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
冥王星 在48份文件中引用(2007–2022) 软件作者: 米农,A。;博多,G。;马萨利亚,S。;Matsakos,T。;O.Tesilenu。;Zanni,C。;A.法拉利。 相关软件: 雅典娜;闪光;HLLE… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
SPNP公司 47篇文献引用(1990–2023) 软件作者: 克里斯托夫·希雷尔(Christophe Hirel)、布鲁诺·塔芬(Bruno Tuffin)、基索尔·斯特里维迪(Kishor S.Trivedi) 相关软件: DSPNexpress;GreatSPN 1.7;分享… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
极乐 49篇文献引用(2007–2024) 软件作者: T.Junttila,P.卡斯基 相关软件: 鹦鹉螺;踪迹;间隙… 主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)…
TALx86 44篇文献引用(1998–2022) 软件作者: 格雷格·莫里塞特、卡尔·克莱里、尼尔·格鲁、丹·格罗斯曼、理查德·萨缪尔、弗雷德里克·史密斯、大卫·沃克、斯蒂芬妮·威里奇、史蒂夫·兹丹塞维奇 相关软件: Coq;毫升;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
感觉++ 40篇文献引用(1999–2023) 软件作者: 克里斯托夫·普鲁德霍姆(Christophe Prud’homme)、文森特·查班内斯(Vincent Chabannes)、圣埃芬·韦斯(Stéphane Veys)、阿卜杜拉耶·萨姆克(Abdoulay Samake)、塞西莉·达沃森(Cecile Daversin)、克里斯托夫·特罗菲姆(Christphe Trophime)、贡卡洛·佩纳(Goncalo Pena)、纪尧姆·多利(Guillau 相关软件: PETSc;交易.ii;FreeFem++… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
AceGen公司 45篇文献引用(2001–2023) 软件作者: J·科尔克。 相关软件: AceFEM;Mathematica;短信… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
WhyML公司 44篇文献引用(2013–2023) 软件作者: Jean-Christophe Filliátre;安德烈·帕斯科维奇 相关软件: Why3;z3;Coq… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
马塞马吉克斯 42篇文献引用(2006–2021) 软件作者: 乔里斯·范德霍温、格雷戈伊尔·勒塞夫、伯纳德·穆兰 相关软件: gmp;枫树;FLINT… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
CVRPSEP公司 43篇文献引用(2006–2023) 软件作者: Lysgaard J。 相关软件: CVRPSP;VRP;CPLEX… 主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
BPMPD公司 41篇文献引用(1999–2022) 软件作者: 塞巴·梅萨罗斯 相关软件: NETLIB LP测试集;CPLEX;优化软件的决策树… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
系统C 29篇文献引用(2002–2017) 软件作者: 布莱克,大卫·C。;杰克·多诺万。 相关软件: 皮纳帕;LusSy;酯类… 主要字段: 代数几何(14-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…
CIL公司 33篇文献引用(2002–2022) 软件作者: Necula,G.C.,McPeak,S.,Rahul,S.P.,Weimer,W。 相关软件: 爆炸;CBMC;SLAM… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
伊德里斯 40篇文献引用(2011–2023) 软件作者: 埃德温·布雷迪 相关软件: Coq;阿格达;Irdis… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
弓 引用于27份文件(2001–2020) 软件作者: 安德鲁·麦克拉姆 相关软件: UCI-ml;C4.5;LIBSVM… 主要字段: 功能分析(46-XX);统计学(62-XX);计算机科学(68-XX)…
短信 38篇文献引用(1997–2023) 软件作者: 乔·科勒克 相关软件: Mathematica;AceFEM;AceGen… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
假脱机 38篇文献引用(2000–2017) 软件作者: Ashcraft,C.、Pierce,D.、Wah,D.K.、Wu,J。 相关软件: METIS公司;流行性腮腺炎;ScaLAPACK… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
Blitz++库 32篇文献引用(2000–2021) 软件作者: 托德·维尔德胡岑 相关软件: 闪电战++;促进;BLAS… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
f2倍 引用于27份文件(2000–2022) 软件作者: 佩鲁·彼得森 相关软件: 蟒蛇;SciPy;数字标识… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
LUPS公司 37篇文献引用(1999–2019) 软件作者: 何塞·朱利奥·阿尔弗雷斯;佩雷拉,路易斯·莫尼兹;哈利娜·普尔兹穆森斯卡(Halina Przymusinska);Przymusinski,Teodor C。 相关软件: XSB;平滑;EVOLP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
莫塞尔 37篇文献引用(2003–2021) 软件作者: Fair Isaac公司;Colombani Y.、Heipcke S。 相关软件: XPRESS;AMPL;游戏… 主要字段: 总体主题;藏品(00-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…
茂物 引用于27份文件(2003–2014) 软件作者: 马修·德怀尔(Matthew B.Dwyer)。;约翰·哈特克利夫;马修·胡西尔(Matthew Hoosier);马修·罗比 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
概念网 19份文件引用(2007–2023) 软件作者: Liu H,Singh P;哈瓦西,C.,斯佩尔,R.,阿隆索,J。 相关软件: WordNet;BERT;雅高… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
转发差异 28篇文献引用(2017–2023) 软件作者: Jarrett Revels、Miles Lubin、Theodore Papamarkou 相关软件: 茱莉亚;github;PyTorch… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
MPM3D(MPM3D) 36篇文献引用(2011–2023) 软件作者: 清华大学 相关软件: MPM3DMP;卡拉梅洛;LS-DYNA… 主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…
尼莫 33篇文献引用(2017–2024) 软件作者: 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件: 赫克;茱莉亚;间隙… 主要字段: 数论(11-XX);代数几何(14-XX);结合环与代数(16-XX)…
Prodigy公司 24篇文献引用(1992–2019) 软件作者: Carbonell,J.、Blythe,J.,Etzioni,O.、Gil,Y.、Joseph,R.、Kahn,D.、Knoblock,C.、Minton,S.、Pérez,M.A.、Reilly,S.,Veloso,M.、Wang,X。 相关软件: UCPOP;图形平面图;KQML… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
SeaHorn公司 36篇文献引用(2015–2023) 软件作者: Gurfinkel,A.,Kahsai,T.,Komuravelli,A.,Navas,J.A。 相关软件: z3;垫片;CPA检查器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
克莱尔 32篇文献引用(1998–2019) 软件作者: 伊夫·卡索;弗朗索瓦·沙维尔(François-Xavier),约塞特(Josset);弗朗索瓦·拉伯特 相关软件: 奥兹;乔科;萨尔萨… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
o树 35篇文献引用(2017–2024) 软件作者: Chen,D.L。;Schonger,M。;C·威肯斯。 相关软件: Z树;hroot;奥赛… 主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
大学数学 34份文件引用(2016–2023) 软件作者: 沃沃德斯基,V.,莫特伯格,A.,阿伦斯,B.,莱利,C.,潘尼拉,T.,马特,R。 相关软件: github;Coq;立方… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);范畴理论;同调代数(18-XX)…
布瑞恩 23篇文献引用(2008–2023) 软件作者: Goodman DFM、Brette R 相关软件: 神经元;巢穴;Pynn… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
Cg公司 18篇文献引用(2006–2012) 软件作者: 威廉·R·马克;R.Steven Glanville;库尔特·阿克利(Kurt Akeley);马克·J·基尔加德 相关软件: CUDA;OpenGL;OpenCL… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
SCL总成 32篇文献引用(2009–2024) 软件作者: 杜珊·武德拉戈维奇;伊万娜·维达诺维奇;安顿巴拉日;保萨米·穆鲁加南丹(Paulsamy Muruganandam);Adhikari,Sadhan K。 相关软件: 格罗斯·皮塔耶夫斯基;AEDU;图像时间1d… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
自动教程 5份文件引用(2001–2021) 软件作者: 亚瑟·C·格雷瑟。;卢、舒兰;乔治·坦纳(George Tanner)·杰克逊(Jackson);米切尔、希瑟·海特;马修·文图拉;安德鲁·奥尼(Andrew Olney);马克斯·路易斯。 相关软件: LIBSVM;汗学院;科姆特… 主要字段: 计算机科学(68-XX);数学教育(97-XX)
见鬼去吧 30篇文献引用(2017–2024) 软件作者: Claus Fieker、William Hart、Tommy Hofmann、Fredrik Johansson 相关软件: 尼莫;茱莉亚;SageMath… 主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…
QuickBasic(快速基本) 9份文件引用(1990–2012) 软件作者: 微软 相关软件: AFMULT;S-PLUS;Matlab… 主要字段: 实函数(26-XX);特殊功能(33-XX);统计学(62-XX)…