×

找到160个软件包(结果1-100)

枫树

5368份文件引用(1983–2024)
软件作者: 滑铁卢枫树公司。
相关软件: Mathematica;Matlab;岩浆…
主要字段: 数论(11-XX);常微分方程(34-XX);偏微分方程(35-XX)…

岩浆

4007文件引用(1994–2024)
软件作者: W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith
相关软件: 间隙;SageMath;PARI/GP…
主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…

DLMF公司

3806文件引用(2000–2024)
软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。
相关软件: Mathematica;Matlab;OEIS…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

科学Py

引用于822份文件(2005–2024)
软件作者: Jones,E.、Oliphant,T.、Peterson,P.等人。
相关软件: 蟒蛇;数字Py;Matplotlib…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

稀疏矩阵

引用于840份文件(1997–2024)
软件作者: 蒂莫西·戴维斯(Timothy A Davis);胡一凡
相关软件: mctoolbox;LAPACK;Matlab…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

伊斯兰教

718份文件引用(1971–2023)
软件作者: 符号学
相关软件: 枫树;Mathematica;减少…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

GeoGebra公司

203篇文献引用(2007–2024)
软件作者:
相关软件: 几何画板;灰姑娘;GEX…
主要字段: 总体主题;藏品(00-XX);交换代数(13-XX);几何(51-XX)…

几何画板

引用于67份文件(1997–2023)
软件作者: 2009年KCP技术。
相关软件: 灰姑娘;GeoGebra;Cabri-geometry…
主要字段: 总体主题;藏品(00-XX);几何(51-XX);数值分析(65-XX)…

SymPy公司

188篇文献引用(2010–2024)
软件作者: SymPy开发团队;乔伊纳,大卫;乔尔蒂克,Ondřej;亚伦·梅勒;布莱恩·格兰杰(Brian E.Granger)。
相关软件: 蟒蛇;数字Py;SciPy…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

伊萨尔

156篇文献引用(2000–2024)
软件作者: 马卡里乌斯·温泽尔
相关软件: 伊莎贝尔;Isabelle/HOL;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

得到

51篇文献引用(1991–2023)
软件作者: 伯恩哈德·库兹勒;沃尔,伯恩哈德;弗兰茨·温克勒
相关软件: Mathematica;枫树;马西玛…
主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

工具箱LS

59篇文献引用(2005–2023)
软件作者: 员米切尔
相关软件: 顶部.m;椭圆工具箱;ROC-HJ…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

IMPS公司

52篇文献引用(1990–2021)
软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔
相关软件: 伊莎贝尔;Nuprl;Coq…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

dcc公司

46篇文献引用(2012–2023)
软件作者: 乌韦·诺曼
相关软件: ADOL-C;锥体;旋转…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

斯特林格瓦卡

44篇文献引用(2008–2023)
软件作者: James Gray、Yang Hui He、Anton Ilderton、AndréLukas
相关软件: 单一;麦考利2号;SageMath…
主要字段: 代数几何(14-XX);微分几何(53-XX);计算机科学(68-XX)…

C-CoRN公司

41篇文献引用(2004–2023)
软件作者: 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡
相关软件: Coq;米扎尔;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);实函数(26-XX);数值分析(65-XX)…

兰德NLA

35篇文献引用(2017–2024)
软件作者: 德里尼亚斯,P。;马奥尼,M.W。
相关软件: 张量工具箱;rsvd;ARPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

巨浪

在30份文件中引用(1999–2023)
软件作者: 雅克·弗洛门特;莱昂内尔·莫伊桑;珍妮·米歇尔·莫雷尔
相关软件: BSDS;SIFT;ImageNet…
主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

HOLyHammer公司

31份文件引用(2014–2022)
软件作者: 塞萨里·卡利西克;约瑟夫·乌尔班
相关软件: HOL灯;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);光学、电磁理论(78-XX)

捕捉

在30份文件中引用(1999–2019)
软件作者: 奥利弗·古德曼
相关软件: SnapPea;SnapPy;岩浆…
主要字段: \(K\)理论(19-XX);群论与推广(20-XX);微分几何(53-XX)…

探戈

25篇文献引用(2008–2023)
软件作者: 伯金,E.G。;J.M.马丁内斯。
相关软件: 阿尔及利亚;Ipopt;兰斯洛…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

切尼-金凯

23篇文献引用(1985–2012)
软件作者: 沃德·切尼(Ward Cheney);大卫·金凯
相关软件: Matlab;伊斯兰教;数学…
主要字段: 近似和扩展(41-XX);统计学(62-XX);数值分析(65-XX)…

打开Dynamics引擎

17篇文献引用(2005–2023)
软件作者: 罗素·史密斯
相关软件: 子弹;MuJoCo;GAZEBO…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

元数学

24篇文献引用(2003–2023)
软件作者: 诺曼·梅吉尔
相关软件: 米扎尔;Isabelle/HOL;Coq…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);代数拓扑(55-XX)…

LPL软件

引用于20份文件(2000–2023)
软件作者: 戴夫·巴克尔-普卢默、乔恩·巴维斯、约翰·埃切曼迪;Albert Liu、Michael Murray、Emma Pease
相关软件: EPGY;减少;OTTER…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

比盖布拉

22篇文献引用(1994–2023)
软件作者: 阿布·阿莫维奇,拉法;贝特弗里德·福泽
相关软件: 克利福德;枫树;客户…
主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环和代数(16-XX)…

叶片

21篇文献引用(2007–2023)
软件作者: 弗朗索瓦·布利埃
相关软件: 枫树;雏菊;Epsilon…
主要字段: 场论与多项式(12-XX);常微分方程(34-XX);计算机科学(68-XX)…

行程

19份文件引用(2002–2022)
软件作者: J.Laskar、M.Gastineau
相关软件: 岩浆;单一;gmp…
主要字段: 场论与多项式(12-XX);偏微分方程(35-XX);数值分析(65-XX)…

JASMIN公司

16篇文献引用(2014–2023)
软件作者: Z.Mo、A.Zhang、X.Cao、Q.Liu、X.Xu、H.An、W.Pei、S.Zhu
相关软件: BoomerAMG;炒作;JAUMIN…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

CLICAL公司

17篇文献引用(1992–2017)
软件作者: Lounesto,P.、Mikkola,R.、Vierros,V.、。
相关软件: 克利福德;枫树;比格布拉…
主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

深度数学

16篇文献引用(2017–2023)
软件作者: Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban
相关软件: E定理证明器;米扎尔;谜…
主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);计算机科学(68-XX)

霍姆4PS-3

16篇文献引用(2014–2024)
软件作者: 陈天然;Lee,Tsung-Lin;李天恩
相关软件: PHCpack;贝尔蒂尼;数字代数几何…
主要字段: 交换代数(13-XX);代数几何(14-XX);凸和离散几何(52-XX)…

JAS公司

15篇文献引用(2008–2023)
软件作者: 海因茨·克雷德尔
相关软件: 单一;AXIOM;复数…
主要字段: 数论(11-XX);交换代数(13-XX);结合环和代数(16-XX)…

拉丁语

17篇文献引用(2011–2021)
软件作者: Codescu,Mihai;霍罗扎尔、富利亚;Michael Kohlhase;莫萨科夫斯基(Till Mossakowski);弗洛里安·拉贝
相关软件: MMT;OMDoc;伊莎贝尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

QROOT公司

17篇文献引用(1993–2022)
软件作者: M.L.乔杜里
相关软件: MCQueue;QPACK;枫树
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

轨道库

16篇文献引用(2008–2021)
软件作者: 安德烈·普拉泽
相关软件: z3;凯伊迈拉;QEPCAD…
主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);代数几何(14-XX)…

TeXmacs公司

15篇文献引用(2004–2021)
软件作者: Van Der Hoeven,J。
相关软件: Coq;伊莎贝尔;Isabelle/HOL…
主要字段: 数论(11-XX);场论与多项式(12-XX);特殊功能(33-XX)…

FDLIB公司

14篇文献引用(2001–2019)
软件作者: C.波兹里基迪斯。
相关软件: Matlab公司
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);流体力学(76-XX)…

MATLAB-Python修补代码

13份文件引用(2015年至2024年)
软件作者: 卡罗拉·比比安·施恩利布(Carola-Bibiane Schönlieb);西蒙·帕里索托
相关软件: SIPI图像数据库;PatchMatch;GSLIB…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

SaddleDrop公司

14篇文献引用(2005–2019)
软件作者: Sarah C.科赫。
相关软件: SPOT;国际有色人种协进会;银河…
主要字段: 几个复变量与解析空间(32-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

卡米瓦艾

13份文件引用(2003–2018)
软件作者: 埃克哈德·希策(Eckhard M.S.Hitzer)。
相关软件: CLUCalc;盖根;GABLE…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX);几何(51-XX)…

CTADEL公司

12份文件引用(1998–2020)
软件作者: 范恩格伦,罗伯特·亚历山大
相关软件: Mathematica;手指;SciNapse…
主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);数值分析(65-XX)…

几何图形导师

4份文件引用(1986年至2007年)
软件作者: J.R.安德森、C.F.波义耳、G.约斯特。
相关软件: 门托尼耶;巴赫拉;CHYPRE…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

重新采样统计信息

9份文件引用(2000–2013)
软件作者: W.Becker、T.H.Wonnacott、C.Lunneborg、P.Westfall和S.Young
相关软件: NetLogo;修补图;MuPAD…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

混合系统实验室

11份文件引用(2021–2024)
软件作者: 里卡多·桑费利斯(Ricardo G.Sanfelice)。
相关软件: github;HyEQ;YALMIP…
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);系统论;控制(93-XX)

Parampool公司

11份文件引用(2016–2023)
软件作者: 汉斯·彼得·朗坦根(Hans Petter Langtangen);盖尔·佩德森。
相关软件: FEniCS;SyFi;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

烟囱

3份文件引用(2010–2017)
软件作者: 桑温
相关软件: 乳胶;卢阿科德;Luatex…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-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)…

数学方案

9份文件引用(2011–2021)
软件作者: 雅克·卡雷特;Farmer,William M。;罗素·奥康纳
相关软件: Coq;阿格达;HOL灯…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

JCM套件

3份文件引用(2010–2024)
软件作者: JCMwave;S.Burger、L.Zschiedrich、J.Pomplun、F.Schmidt
相关软件: 溪流;数字Py;SciPy…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)…

机构动态仿真模块组

9份文件引用(2005–2023)
软件作者: 格兰·理查德·J。
相关软件: Matlab;Visual Basic;VBA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

埃利米诺

6篇文献引用(1999–2005)
软件作者: 吴永伟;廖伟东;林,东岱;Wang,Paul S。
相关软件: SACLIB;OMEI;DisCAS…
主要字段: 场论与多项式(12-XX);实函数(26-XX);复变量函数(30-XX)…

Mgfun公司

8份文件引用(1998–2018)
软件作者: Frédéric Chyzak奶酪
相关软件: 麦考利2号;单一;枫树…
主要字段: 组合数学(05-XX);交换代数(13-XX);结合环和代数(16-XX)…

穆德尔

2份文件引用(2011)
软件作者: 马丁·道吉亚马斯
相关软件: R;OpenOLAT;考试…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

OpenDreamKit(开放梦想工具包)

8份文件引用(2016–2020)
软件作者: 迈克尔·科尔哈斯
相关软件: SageMath;MMT;GitHub…
主要字段: 计算机科学(68-XX)

网络发现

7份文件引用(2003–2015)
软件作者: 弗朗西斯科·博塔纳
相关软件: 可可;卢加雷斯;灰姑娘…
主要字段: 交换代数(13-XX);几何(51-XX);计算机科学(68-XX)…

自动变速器2

6篇文献引用(2016–2019)
软件作者: 詹伯华
相关软件: Isabelle/HOL;伊莎贝尔;Mizar…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…

Frizbi数学

在0个文档中引用
软件作者: 奥尔加·皮利亚;梅勒·阿克苏
相关软件: GeoGebra;几何画板;metafor公司
主要字段:

斯特拉

5份文件引用(1997–2012)
软件作者: 马提亚斯·鲁思;布鲁斯·汉农
相关软件: 文西姆;蟒蛇;PySD…
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

亚卡斯

3份文件引用(2002–2023)
软件作者: 阿亚尔·平库斯(Ayal Z.Pinkus)。;谢尔盖·威尼茨基
相关软件: Ryacas;R;SymPy…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Z2sal公司

5份文件引用(2008–2012)
软件作者: J Derrick,S North,A J H Simons公司
相关软件: 自旋蛋白;Z;Z/EVES…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

Algolib公司

5份文件引用(2004–2022)
软件作者: INRIA的Algo团队
相关软件: 枫树;组织环境信息系统;HOL灯…
主要字段: 阶、格、有序代数结构(06-XX);数论(11-XX);计算机科学(68-XX)

EPGY公司

3份文件引用(2001–2020)
软件作者: 理查德·索默(Richard Sommer);格雷戈里·努科尔斯
相关软件: LPL软件;减少;水獭…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

克莱德思

5份文件引用(2006–2020)
软件作者: 克里斯蒂安·奥布莱希特
相关软件: 地质学;GCL证明;GCLC…
主要字段: 几何(51-XX);计算机科学(68-XX)

CORC公司

4份文件引用(1963年至1976年)
软件作者: 康奈尔大学;康威,R.W.,麦克斯韦,W.L。
相关软件:
主要字段: 计算机科学(68-XX)

深入学习(_L)

4份文件引用(2017–2023)
软件作者: 亚历山大·本特坎普
相关软件: Isabelle/HOL;多项式;Groebner_Bases…
主要字段: 交换代数(13-XX);计算机科学(68-XX)

MathXpert公司

3份文件引用(2005–2014)
软件作者: 迈克尔·比森
相关软件: 马特佩特;Mathematica;枫树…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

虚拟叶

3份文件引用(2015–2019)
软件作者: Merks,R.、Guravage,M.、Inzé,D.、Beemster,G
相关软件: PhysiCell;CellSys;微血管Chaster…
主要字段: 生物学和其他自然科学(92-XX)

XVA-计划

4份文件引用(2010–2023)
软件作者: 沙林,Subhash C。;Nagarajan,Balaji;廖玲瑞
相关软件: PSPLIB;OR-库
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

协议。净值

3份文件引用(2018–2021)
软件作者: 塞萨尔·苏扎(Cesar Souza);安德鲁·基里洛夫;马科斯·迭戈·卡塔拉诺(Marcos Diego Catalano);等等
相关软件: PRMLT;PyClustering;C4.5…
主要字段: 计算机科学(68-XX);地球物理学(86-XX);运筹学,数学编程(90-XX)

AMS字体

3份文件引用(1994–2016)
软件作者: 美国数学学会
相关软件: 特克斯;乳胶;梅塔丰特…
主要字段: 计算机科学(68-XX)

向往

3份文件引用(2019–2023)
软件作者: 普林斯顿大学
相关软件: 奇美拉;crYOLO;FINUFFT…
主要字段: 特殊功能(33-XX);抽象谐波分析(43-XX);光学、电磁理论(78-XX)…

BALSA公司

2份文件引用(1986–2015)
软件作者: 马克·布朗(Marc H.Brown)、罗伯特·塞奇威克(Robert Sedgewick)
相关软件: 宙斯;再次崩溃;PLTMG…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

FriCAS公司

3份文件引用(2015–2019)
软件作者: 瓦尔德克·希比施
相关软件: AXIOM;渐近线;HAP…
主要字段: 场论与多项式(12-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…

IsarMathLib公司

3份文件引用(2017–2021)
软件作者:
相关软件: Metamath;米扎尔;伊莎贝尔/采埃孚…
主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)

KNOPPIX/数学

3份文件引用(2006–2008)
软件作者: 滨田达吉;KNOPPIX/数学委员会
相关软件: MuPAD;Matlab;NZMATH…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)

球面谐波.jl

2份文件引用(2022)
软件作者: 乔什·米尔索普(Josh Milthorpe),塔维塔姆·林帕努帕布(Taweetham Limpanuparb)
相关软件: 朱莉娅;Mathematica;JRAF…
主要字段: 偏微分方程(35-XX);欧氏空间(42-XX)的调和分析;粒子和系统力学(70-XX)…

CAELinux公司

1份文件引用(2009)
软件作者: 乔尔·库格诺尼
相关软件: DAA糊精;ISwR;DAAG…
主要字段: 总体主题;集合(00-XX)

DiMP公司

2份文件引用(2020–2021)
软件作者: 巴拉索夫,V.A。;Savenkov,E.B。;切特弗鲁什金,B.N。
相关软件: DiMP-氢;GridSpiderPar;QHD泡沫
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

DiMP-液压

2份文件引用(2020–2021)
软件作者: 巴拉索夫,V.A。;Savenkov,E.B。;切特弗鲁什金,B.N。
相关软件: DiMP;GridSpiderPar;QHD泡沫
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

DynaMoW公司

2份文件引用(2011)
软件作者: 弗雷德里克·切扎克;亚历克西斯·达拉斯
相关软件: OCaml;Camlp4;组织环境信息系统
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

弗朗西

2份文件引用(2018)
软件作者: 马查多·马丁斯(Manuel Machado Martins);马库斯·普菲弗
相关软件: 有向图;朱庇特;XGAP…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)

GEDI公司

在0个文档中引用
软件作者: AndréFujita、Joáo R Sato、Carlos E Ferreira、Mari C Sogayar
相关软件:
主要字段:

几何学

2份文件引用(2010–2016)
软件作者: 拉达科维奇,达沃卡;约旦赫塞格
相关软件: WPF;JavaScript;Cabri…
主要字段: 范畴理论;同调代数(18-XX);几何(51-XX);计算机科学(68-XX)…

HolPy公司

2份文件引用(2021–2024)
软件作者: 徐润清;李黎明;詹伯华
相关软件: mftoolbox;杆;CBench…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

i-math(数学)

1份文件引用(2012)
软件作者: 瓦拉拉特·旺基亚;Kanlaya Naruedomkul;尼克·塞尔科内
相关软件: 兰巴达;三角形
主要字段: 数学教育(97-XX)

invLT公司

2份文件引用(2018年-2023年)
软件作者: 克里斯托弗·巴里
相关软件: 分数霍克斯;
主要字段: 概率论与随机过程(60-XX);运筹学,数学编程(90-XX)

数学画笔

2份文件引用(2006–2018)
软件作者: 拉班,乔治;麦克莱恩,斯科特;马祖,米雷特;伊恩·卢瑟福;戴维·陶斯基
相关软件: Isabelle/HOL;Isabelle/PIDE;Isabelle/j编辑…
主要字段: 计算机科学(68-XX)

数学TOUCH

2份文件引用(2018)
软件作者: Shirai,Shizuka;福井、铁雄;吉多米,肯塔罗;川崎,三井;中原、高弘;中村康树;Kato,Katsuya;田口,Tetsuya
相关软件: 马克西玛;MeLQS;数学…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

MMTTeX公司

2份文件引用(2019)
软件作者: 弗洛里安·拉贝
相关软件: 伊莎贝尔;乳胶;Plat-Omega…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

MUMIE公司

1份文件引用(2006)
软件作者: Ruedi Seiler、Volker Enss、Tilman Rassy、Rainer Siegmund-Schultze、Marek Grudzinski、Markus Gronau
相关软件:
主要字段: 总体主题;藏品(00-XX);数学教育(97-XX)

ODiS公司

2份文件引用(2001)
软件作者: Izhutkin,V.S。;苏珊佐夫,A.A。
相关软件:
主要字段: 运筹学,数学编程(90-XX)

PowerSeries系列

1份文件引用(2016)
软件作者: 阿尔瓦迪,帕里萨;马赫萨·卡泽米;马克·莫雷诺(Marc Moreno Maza)
相关软件: 正则链;Mathematica;SageMath…
主要字段: 交换代数(13-XX);代数几何(14-XX);实函数(26-XX)…

RUIN(卢比)

1份文件引用(2008)
软件作者: 多伦·齐尔伯格
相关软件:
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

拉塞尔

2份文件引用(2011–2020)
软件作者: D.Yu,弗拉索夫。
相关软件: 元数学;Smm;github
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SimplifySum公司

2份文件引用(2014–2015)
软件作者: David H.Bailey。;乔纳森·博文(Jonathan M.Borwein)。;亚历山大·凯泽。
相关软件: DLMF;ARPREC;GitHub…
主要字段: 数论(11-XX);计算机科学(68-XX)

斯马拉

1份文件引用(2012)
软件作者: 保罗·利布雷希特(Paul Libbrecht);桑德拉·雷霍尔茨(Sandra Rebholz);丹尼尔·埃尔丁(Daniel Herding);M“uller,Wolfgang;Tscheulin,Felix
相关软件: SetSails!
主要字段: 数学教育(97-XX)

小米

2份文件引用(2011–2012)
软件作者: D.Yu,弗拉索夫。
相关软件: 元数学;拉塞尔
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

特殊价值

2份文件引用(2004–2005)
软件作者: 约翰·维夫洛特
相关软件: 国际实验室;全球溶胶;Easyval公司
主要字段: 数学逻辑与基础(03-XX);复变量函数(30-XX);特殊功能(33-XX)…

Tonnetz公司

2份文件引用(2022)
软件作者: Guichaoua,C.、Besada,J.、Bisesi,E.、Andreatta,M。
相关软件: Web_ColoredCubeDance;D3.js;行星-4D
主要字段: 总体主题;集合(00-XX)

筛选结果依据…

全部的 前5名

相关软件