减少 738份文件引用(1970–2023) 软件作者: Anthony C.Hearn;格哈德·雷纳(Gerhard Rayna);Rainer Schöpf;托马斯·斯特姆 相关软件: 枫树;Mathematica;马西玛… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
gmp公司 299篇文献引用(1995–2024) 软件作者: 格兰伦德 相关软件: MPFR;NTL;PARI/GP… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…
马克西玛 171篇文献引用(1998–2024) 软件作者: 威廉·谢尔特 相关软件: Mathematica;SageMath;枫树… 主要字段: 群论与推广(20-XX);数值分析(65-XX);计算机科学(68-XX)…
SDPB公司 155份文件引用(2015–2024) 软件作者: 西蒙斯·杜芬,D 相关软件: 朱利·布茨;PyCFT引导;CFTs4D… 主要字段: 非结合环与代数(17-XX);统计学(62-XX);量子理论(81-XX)…
剪切工具 118篇文献引用(2007–2024) 软件作者: 乔瓦尼·奥斯索拉(Giovanni Ossola);科斯塔斯·帕帕佐普洛斯;罗伯托·皮托 相关软件: 黑帽;SAMURAI;HELAC-1循环… 主要字段: 代数几何(14-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
微分方程.jl 76篇文献引用(2018–2024) 软件作者: C.Rackauckas,Q.Nie 相关软件: NeuralPDE.jl;朱莉娅;GitHub… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
Arb公司 81份文件引用(2015–2024) 软件作者: 弗雷德里克·约翰逊 相关软件: DLMF;SageMath;PARI/GP… 主要字段: 数论(11-XX);特殊功能(33-XX);偏微分方程(35-XX)…
mpmath(数学) 77份文献引用(2010–2024) 软件作者: 弗雷德里克·约翰逊 相关软件: SageMath;SciPy;SymPy… 主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…
alpha认证 68篇文献引用(2011–2024) 软件作者: 乔纳森·霍恩斯坦(Jonathan D.Hauenstein);弗兰克·索蒂尔 相关软件: 贝尔蒂尼;麦考利2;PHCpack… 主要字段: 交换代数(13-XX);代数几何(14-XX);数值分析(65-XX)…
蛋糕ML 60篇文献引用(2014–2023) 软件作者: 拉马纳库马尔;玛格努斯·奥·米林(Magnus O.Myreen)。;迈克尔·诺里什(Michael Norrish);斯科特·欧文斯 相关软件: Isabelle/HOL;Coq;霍尔… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
ARPREC公司 56篇文献引用(2005–2022) 软件作者: David H.Bailey。;Yozo,Hida;Li,Xiaoye S。;布兰登·汤普森 相关软件: MPFR;gmp;mctoolbox… 主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…
伦敦北卡罗来纳州 引用于54份文件(2002–2024) 软件作者: David H.Bailey、Yozo Hida、Xiaoye S.Li、Brandon Thompson 相关软件: mctoolbox;XBLAS;MPFR… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);特殊功能(33-XX);数值分析(65-XX)…
advanpix公司 51篇文献引用(2013–2023) 软件作者: advanpix.com公司 相关软件: Matlab;mctoolbox;gmp… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);统计学(62-XX)…
MPFI公司 47篇文献引用(1979–2023) 软件作者: Nathalie Revol;法布里斯·鲁利耶 相关软件: MPFR;C-XSC 2.0;隔离… 主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
Optim公司 引用于31份文件(2019–2023) 软件作者: P.K.Mogensen;A.N.瑞斯 相关软件: 朱莉娅;CG_devence;微分方程.jl… 主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…
朱利·布茨 35篇文献引用(2015–2022) 软件作者: 米格尔·保洛斯 相关软件: SDPB;PyCFT引导;CFTs4D… 主要字段: 数论(11-XX);统计学(62-XX);量子理论(81-XX)…
h浮土 32篇文献引用(2001–2023) 软件作者: 约格·阿恩特 相关软件: FXT;组织环境信息系统;SageMath… 主要字段: 组合数学(05-XX);数论(11-XX);特殊功能(33-XX)…
HELAC公司 29篇文献引用(2000–2023) 软件作者: Aggeliki Kanaki;Costas G.帕帕佐普洛斯。 相关软件: PHEGAS公司;CutTools;MadGraph… 主要字段: 拓扑群,李群(22-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…
算法682 26篇文献引用(1990–2020) 软件作者: Murli,A。;M.里扎迪。 相关软件: 算法662;算法368;算法796… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);积分变换,运算微积分(44-XX)…
CLN公司 24篇文献引用(1998年至2021年) 软件作者: 布鲁诺·海布尔;理查德·克雷克尔 相关软件: gmp;GiNaC;PARI/GP… 主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
阿美索斯2 19份文件引用(2015–2023) 软件作者: 埃里克·巴维尔(Eric Bavier)、马克·霍曼(Mark Hoemmen)、西瓦桑卡兰·拉贾马尼卡姆(Sivasankaran Rajamanickam)、海蒂·桑奎斯特(Heidi Thornquist) 相关软件: 贝洛斯;特里利诺斯;梅露… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
数学统计 18篇文献引用(2002–2009) 软件作者: 罗丝,科林;莫里·史密斯(Murray D.Smith)。 相关软件: Mathematica;枫树;R、 … 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
孤立引力波 17篇文献引用(2013–2022) 软件作者: 迪迪埃·克莱蒙德;杜蒂克、丹尼斯 相关软件: Matlab;advanpix;SSGW公司 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
人民币 12份文件引用(2011年-2023年) 软件作者: 马丁·梅克勒 相关软件: R;立方体;minpack.lm… 主要字段: 特殊功能(33-XX);统计学(62-XX);数值分析(65-XX)…
光谱 13份文件引用(2014–2023) 软件作者: 埃德加·多布里班 相关软件: 光收缩;QuEST;RMTool… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);统计学(62-XX)…
自动差异 10篇文献引用(2005–2016) 软件作者: Martin Bücker;保罗·霍夫兰;克里斯蒂安·温特;海纳·巴赫 相关软件: ADOL-C;ADIC;舒适… 主要字段: 实函数(26-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
DEFT公司 8份文件引用(2019–2023) 软件作者: 本·格里帕奥斯(Ben Gripaios)、戴夫·萨瑟兰(Dave Sutherland) 相关软件: 基本发电机;匹配工具;CoDEx… 主要字段: 可变形固体力学(74-XX);量子理论(81-XX);相对论和引力理论(83-XX)
埃索利德 10篇文献引用(2005–2018) 软件作者: J.Keyser、T.Culver、M.Foskey、S.Krishnan、D.Manocha。 相关软件: MAPC;EXACUS(考克斯);隔离… 主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)…
天才 11份文件引用(2010–2021) 软件作者: 基伊·莱布尔(JiříLebl;);丹尼尔·利奇布劳 相关软件: 稳定BBasisNBM5;一般证明;CliffOC… 主要字段: 总体主题;藏品(00-XX);数论(11-XX);几个复变量和分析空间(32-XX)…
GQLOG公司 11份文件引用(2010年-2023年) 软件作者: 沃尔特·高茨基 相关软件: OPQ;正交多项式;DLMF… 主要字段: 特殊功能(33-XX);偏微分方程(35-XX);近似和展开(41-XX)…
查找反弹 引用于9份文件(2020–2023) 软件作者: 维克托·瓜达(Victor Guada)、米哈·内梅夫舍克(Miha Nemevšek)、马特夫·平塔尔(MatevíPintar) 相关软件: 宇宙转换;任何气泡;气泡探查器… 主要字段: 统计学(62-XX);光学、电磁理论(78-XX);量子理论(81-XX)…
INTPAK公司 引用于9份文件(1993–2006) 软件作者: 阿曼达·E·康奈尔。;罗伯特·M·科尔利斯(Robert M.Corless)。 相关软件: C-XSC 2.0;枫树;PNM… 主要字段: 积分方程(45-XX);数值分析(65-XX);计算机科学(68-XX)…
夏季时间 引用于9份文件(2016–2023) 软件作者: Lee,Roman N。;基里尔·明古洛夫。 相关软件: LiteRed;表格;天秤座… 主要字段: 数值分析(65-XX);量子理论(81-XX)
吉瓦罗 8份文件引用(1997–2022) 软件作者: 蒂埃里·戈蒂埃(Thierry Gautier)、珍妮·卢伊斯·罗奇(Jean-Louis Roch)、吉勒斯·维拉德(Gilles Villard) 相关软件: NTL;LinBox;FFLAS-FFPACK… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
lsjk公司 6篇文献引用(2006–2021) 软件作者: Mikahil Yu;卡尔米科夫;A.谢普利亚科夫 相关软件: TSIL;TARCER公司;嵌套总和… 主要字段: 数论(11-XX);场论与多项式(12-XX);特殊功能(33-XX)…
MPACK公司 7份文件引用(2012–2022) 软件作者: M.Nakata先生 相关软件: XBLAS;LBNL;exflib… 主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);量子理论(81-XX)…
苏贝尔 3份文件引用(2008–2018) 软件作者: Liu C、Yan X、Fei L、Han J、Midkiff SP 相关软件: VIDA;LIBSVM;阿达布… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
比格南 7份文件引用(1993年至2019年) 软件作者: B.Serpette,J.Vuillemenin,J.C.Hervé 相关软件: Wombit;Why3;MiniSat… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);数值分析(65-XX)…
帕卡尔 6篇文献引用(2012–2017) 软件作者: 马尔钦·科尔岑(Marcin Korzen);Szymon Jaroszewicz先生 相关软件: 切布冯;应用程序;Matlab… 主要字段: 数学逻辑与基础(03-XX);特殊功能(33-XX);概率论与随机过程(60-XX)…
太阳神 7份文件引用(2006–2021) 软件作者: 波佐里尼,S。;雷米迪,E。 相关软件: 火灾;LiteRed;Reduze… 主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…
曲面动力学 7份文件引用(2020–2023) 软件作者: V.Delecroix、C.Fougeron、S.Lelievre 相关软件: SageMath公司 主要字段: 代数几何(14-XX);复变量函数(30-XX);几个复变量和分析空间(32-XX)…
CALC公司 6篇文献引用(1996–2010) 软件作者: 马修斯,K.R。 相关软件: 科拉茨;岩浆;间隙 主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);概率论与随机过程(60-XX)
双倍的 6篇文献引用(2002–2020) 软件作者: K.布里格斯 相关软件: 算法908;QD;柔软… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…
mp工具箱 6篇文献引用(2008–2021) 软件作者: 本·巴罗斯 相关软件: Matlab;nlme;exflib… 主要字段: 偏微分方程(35-XX);欧氏空间(42-XX)的调和分析;统计学(62-XX)…
KS1侧面一个样品 3份文件引用(2016–2023) 软件作者: J.Randall Brown、Milton E.Harvey 相关软件: 精确KS2SidedOneSample;k.c;数学… 主要字段: 统计学(62-XX)
MultiZ(MultiZ) 4份文件引用(2019–2023) 软件作者: 安德烈斯·梅萨(Andres M.Aguirre-Mesa)。;曼努埃尔·加西亚。;哈里·米尔沃特 相关软件: 蟒蛇;算法1008;DNAD… 主要字段: 数论(11-XX);复变量函数(30-XX);偏微分方程(35-XX)…
QUAIL公司 3份文件引用(2016–2019) 软件作者: 法布里奇奥·比昂迪(Fabrizio Biondi)、阿克塞尔·莱吉(Axel Legay)、路易斯·马里·特劳诺兹(Louis-marie Traonouez) 相关软件: ANTLR;DTA++;泄漏监视 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
TESS公司 4份文件引用(2018年-2023年) 软件作者: 保罗·达菲尔(Paul C.Duffell)、安德鲁·麦克法登(Andrew I.MacFadyen) 相关软件: NDSPMHD;爱因斯坦工具包;GANDALF… 主要字段: 数值分析(65-XX);流体力学(76-XX);相对论与引力理论(83-XX)…
阿米巴发生器 3份文件引用(2011年-2023年) 软件作者: 马格努斯·勒克塞尔;沃伊切赫·科莫罗夫斯基 相关软件: 阿米巴;多项式变形虫;数学… 主要字段: 代数几何(14-XX);几个复变量与解析空间(32-XX);计算机科学(68-XX)
AtlasNet公司 2份文件引用(2020) 软件作者: Thibault Groueix、Matthew Fisher、Vladimir G.Kim、Bryan C.Russell、Mathieu Aubry 相关软件: 亚当;ShapeNet;D-Faust… 主要字段: 计算机科学(68-XX)
梦想 3份文件引用(2018–2021) 软件作者: 罗曼·李(Roman N.Lee)、基里尔·明古洛夫(Kirill T.Mingulov) 相关软件: 火灾;火灾5;LiteRed… 主要字段: 量子理论(81-XX)
包含 3份文件引用(1996–2014) 软件作者: Ngo,Dat;戈登·维丁;彼得·切勒克 相关软件: ADDA;NFM-DS;ABAQUS公司 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
对数cf 2份文件引用(2015–2019) 软件作者: 戴丽云、夏碧灿 相关软件: Mathematica;国际实验室;隔离… 主要字段: 场论与多项式(12-XX);数值分析(65-XX);计算机科学(68-XX)
四边形GK.jl 3份文件引用(2022–2024) 软件作者: 约翰逊,S.G。 相关软件: HCubature.jl;github;Poissonsolver… 主要字段: 势能理论(31-XX);偏微分方程(35-XX);统计学(62-XX)…
SLV公司 2份文件引用(2016–2019) 软件作者: 伊莱亚斯·齐加里达斯 相关软件: 枫树;ANewDsc;微小的… 主要字段: 场论与多项式(12-XX);数值分析(65-XX);计算机科学(68-XX)
索诺拉 3份文件引用(2014–2018) 软件作者: Lapschies,F.、Peleska,J.、Gorbachuk,E.、Mangels 相关软件: ASTREE公司;数学SAT5;HOL灯… 主要字段: 计算机科学(68-XX)
BHLUMI公司 1份文件引用(2013) 软件作者: S.Jadach、E.Richter-Was、B.F.L.Ward、Z.Was 相关软件: 泡沫;根;MCdevelop… 主要字段: 数值分析(65-XX);量子理论(81-XX)
箱罐 2份文件引用(2021–2022) 软件作者: 马提亚斯·柯奇哈特;多纳特·威尼格尔 相关软件: github 主要字段: 势能理论(31-XX);偏微分方程(35-XX);数值分析(65-XX)…
hc周期 2份文件引用(2019) 软件作者: P.莫林;C.神经细胞 相关软件: 曲线重建;WIN4;第3代… 主要字段: 数论(11-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…
HepLib公司 1份文件引用(2023年) 软件作者: 冯峰、谢义凡、周秋晨、唐善荣 相关软件: GoSam公司;CalcHEP;CompHep… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
MADLens公司 1份文件引用(2023年) 软件作者: Vanessa Böhm、Yu Feng、Max E.Lee、Biwei Dai 相关软件: 流量PM;torchdiffeq;大力神… 主要字段: 相对论和引力理论(83-XX)
黎曼西塔 2份文件引用(2023-2024年) 软件作者: 北布鲁因。 相关软件: LMFDB;SageMath;枫树… 主要字段: 组合数学(05-XX);代数几何(14-XX);数值分析(65-XX)
放射性同位素当量 2份文件引用(2019–2022) 软件作者: 安德鲁·道森(Andrew Dawson);彼得·杜本。 相关软件: mctoolbox;朱莉娅;MPFR… 主要字段: 数值分析(65-XX)
山姆 2份文件引用(2011–2020) 软件作者: 斯特夫·格雷亚特;法比安·杰泽奎尔;王世岳;朱玉祥 相关软件: CADNA;算法524;mctoolbox… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
备用IR.jl 在0个文档中引用 软件作者: Markus Wallerberger、Samuel Badr、Hiroshi Shinaoka 相关软件: Nevanlinna.jl;合子;最佳… 主要字段: –
自旋加权球面谐波 2份文件引用(2018年至2019年) 软件作者: 阿克凯,S;卡萨尔斯,M;沃伯顿,北;沃德尔,B 相关软件: 黑洞扰动工具包;铃声;DLMF公司 主要字段: 相对论和引力理论(83-XX)
镊子库 2份文件引用(2006) 软件作者: 保尔·马丁·汉森(Poul Martin Hansen)、伊瓦·马里亚·托利克·诺雷雷克(Iva Marija Tolic-Nörelykke)、亨利克·弗利夫杰格(Henrik Flyvbjerg)、柯尔斯汀·贝尔格·瑟伦森 相关软件: Matlab公司 主要字段: 粒子和系统力学(70-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)
可见性 2份文件引用(2010年-2023年) 软件作者: K.J.Obermeyer。 相关软件: 道芬;自由Fem++ 主要字段: 偏微分方程(35-XX);算子理论(47-XX);运筹学、数学规划(90-XX)
WhyMP公司 2份文件引用(2020–2023) 软件作者: 梅尔金德(Melquiond)、纪尧姆(Guillaume);拉斐尔·里乌·赫尔夫特 相关软件: Why3;HACL*;gmp… 主要字段: 计算机科学(68-XX)
比格博罗 1份文件引用(2022) 软件作者: 菲利普·霍尔默;尼古拉斯·诺伊罗;李伯涛;马格斯,A.C。;沃纳克劳斯 相关软件: 蟒蛇 主要字段: 凸和离散几何(52-XX);概率论与随机过程(60-XX);统计力学,物质结构(82-XX)
DecFP公司 1份文件引用(2020) 软件作者: Steven G.Johnson等人。 相关软件: JuMP;NLPLSQ;JuliaSmoothOptimizers… 主要字段: 运筹学、数学规划(90-XX)
硫酸氢溶液 1份文件引用(2016) 软件作者: 帕丘基,K。;Zientkiewicz,M。;V.A.Yerokhin。 相关软件: MPFR;gmp公司 主要字段: 偏微分方程(35-XX);数值分析(65-XX);量子理论(81-XX)
茉莉花 1份文件引用(2015) 软件作者: 赫尔穆特·德施 相关软件: GeoGebra;JSLisp;JAMA… 主要字段: 交换代数(13-XX);计算机科学(68-XX);数学教育(97-XX)
无动力发动机-HF 1份文件引用(2023年) 软件作者: 詹森(Stig Rune Jensen);安托万·杜德克;比约尔夫,马格纳;风,彼得;Flá,托尔;卢卡·弗雷迪亚尼 相关软件: VASP;github;VAMPyR… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);量子理论(81-XX)…
LEMA公司 1份文件引用(2010) 软件作者: 文森特·列夫雷(Vincent Lefèvre);菲利普·塞维尼;德迪内钦,佛罗伦萨;克劳德·皮埃尔·珍妮罗德(Claude-Pierre Jeannerod);克利斯朵夫·莫里勒伦(Christophe Mouilleron);戴维·普范霍尔泽(David Pfannholzer);Revol,纳塔莉 相关软件: – 主要字段: 数值分析(65-XX)
Python泡沫 1份文件引用(2023年) 软件作者: Maulik,R。;费塔尼迪斯,D.K。;Lusch,B。;维什瓦纳,V。;帕特尔,S 相关软件: MPAS;萨卡多;Tpetra… 主要字段: 统计学(62-XX);数值分析(65-XX)
QuESo公司 1份文件引用(2024) 软件作者: 我是曼纽尔(Manuel);斯特凡·科尔曼斯伯格;罗兰德·瓦什内尔(Roland Wüchner);凯乌·布莱辛格 相关软件: Thingi10K;OBB树;切割FEM 主要字段: 数值分析(65-XX);流体力学(76-XX)
实代数 1份文件引用(2010) 软件作者: 马克·莫里格(Marc Mörig)、斯特凡·席拉(Stefan Schirra) 相关软件: 促进;核心2;增强C++库… 主要字段: 数值分析(65-XX);计算机科学(68-XX)