×

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

GeoGebra公司

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

GSL公司

279篇文献引用(2002–2024)
软件作者: 自由软件基金会,M.Galassi,J.Davies,J.Theiler,B.Gough,G.Jungman,P.Alken,M.Booth,F.Rossi
相关软件: R;LAPACK;PETSc…
主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…

OBJ3型

140篇文献引用(1989–2023)
软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(基尼里)
相关软件: 莫德;OBJ咖啡馆;CASL…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

西雅娜

75篇文献引用(2012–2023)
软件作者: J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。
相关软件: TensorFlow;亚当;PyTorch…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

得到

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

动态数学

32篇文献引用(2001–2018)
软件作者: DFKI和萨尔大学
相关软件: OMDoc;枫树;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

Wolfram演示

49篇文献引用(2007–2023)
软件作者: 沃尔夫拉姆
相关软件: 数学;组织环境信息系统;iRRAM…
主要字段: 组合数学(05-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

GEPASI公司

29篇文献引用(1996–2016)
软件作者: P.门德斯
相关软件: 电子电话;虚拟细胞;诈骗…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

地理证明

17篇文献引用(2007–2020)
软件作者: 朱利安·纳布克斯;尼古拉·弗朗索瓦
相关软件: GEX;地质学;Coq…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)…

JAS公司

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

渐近线

13份文件引用(2007–2022)
软件作者: 安迪·哈默林德尔(Andy Hammerlindl);约翰·鲍曼;汤姆·普林斯
相关软件: GiNaC;蟒蛇;MetaPost…
主要字段: 组合数学(05-XX);复变量函数(30-XX);几何(51-XX)…

伊莎贝尔/PIDE

15篇文献引用(2012–2020)
软件作者: 马卡里乌斯·温策尔;伯克哈特·沃尔夫
相关软件: 伊莎贝尔;Coq;Isabelle/j编辑…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

天才

11份文件引用(2010–2021)
软件作者: 基伊·莱布尔(JiříLebl;);丹尼尔·利奇布劳
相关软件: 稳定BBasisNBM5;一般证明;CliffOC…
主要字段: 总体主题;藏品(00-XX);数论(11-XX);几个复变量和分析空间(32-XX)…

阿西莫洛

7份文件引用(2015–2023)
软件作者: 安德森·C·Führer·C·奥凯森·J·。
相关软件: 蟒蛇;日晷;F2PY…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

网络发现

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

我的数学实验室

3份文件引用(2013–2014)
软件作者: 培生教育出版集团
相关软件: 数学XL
主要字段: 总体主题;藏品(00-XX);实函数(26-XX)

DD实验室

5份文件引用(2011–2021)
软件作者: 安德鲁·文斯切(Andrew Wuensche)
相关软件: 康威人寿;类鸟群
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX)

斯特拉

5份文件引用(1997–2012)
软件作者: 露丝,马蒂亚斯;布鲁斯·汉农
相关软件: Insight Maker;西蒙;存储SD…
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

亚卡斯

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

阿卡罗阿

5份文件引用(2001–2008)
软件作者: 新西兰基督城坎特伯雷大学
相关软件: MLMIN;MINSimulate;CINSim…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

构造3D

在0个文档中引用
软件作者: 考夫曼,H。;施马尔斯蒂格,D。;M.瓦格纳。
相关软件: 几何浏览器;VRMath2;CalcFlow…
主要字段:

MathXpert公司

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

工学数学

引用于2份文件(1994–2004)
软件作者: 赫尔穆特·鲍施
相关软件: Matlab公司
主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX)…

MONOS公司

3份文件引用(2015–2021)
软件作者: 格恩瑟·埃德尔(Günther Eder);赫尔德,马丁;彼得·帕尔弗雷德
相关软件: 冲浪者2;二维三角剖分;Halfedge数据结构…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

ASCII数学ML

1份文件引用(2014)
软件作者: 彼得·吉普森
相关软件: WolframAlpha;wxMaxima;SageMath…
主要字段: 计算机科学(68-XX)

Java脚本SimpleX

1份文件引用(2012)
软件作者: 卡贝洛·马丁内斯,玛丽娜;阿纳州德尔加多·贝拉;安东尼奥·鲁菲安·利萨纳
相关软件: JavaScript脚本
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);数学教育(97-XX)

酸橙

1份文件引用(2003)
软件作者: 奥拉夫·尼尼曼
相关软件:
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

数学聊天

引用于2份文件(2018)
软件作者: 曼弗雷德·米米奈尔
相关软件: IPython;朱庇特;SageMath…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

数学TOUCH

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

数学XL

在0个文档中引用
软件作者: 巴沙尔·佐吉卜;萨拉·佐盖布;阿里·萨赫利
相关软件: 我的数学实验室
主要字段:

MUMIE公司

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

帕斯科·加洛瓦

1份文件引用(2011年)
软件作者: Michael Bardzell;唐纳德·斯皮克勒
相关软件:
主要字段: 计算机科学(68-XX)

可视化PDE

引用于2份文件(2023–2024)
软件作者: 本杰明·沃克。;亚当·汤森(Adam K.Townsend)。;亚历山大·丘达萨马(Alexander K.Chudasama)。;安德鲁·克劳斯。
相关软件: LHS;pde2path;Abubu.js…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

WGL公司

引用于2份文件(2020)
软件作者: 佩德罗·夸雷斯马(Pedro Quaresma)、万达·桑托斯(Vanda Santos)、米莱娜·马里奇(Milena Marić)
相关软件: GEX;关贸总协定;JGEX…
主要字段: 几何(51-XX);计算机科学(68-XX)

儿童呼吸

在0个文档中引用
软件作者: Inspiration软件公司。
相关软件:
主要字段:

λ

1份文件引用(2007)
软件作者: 美国设计公司
相关软件: PENSDP;IRAM;SB方法…
主要字段: 数值分析(65-XX);运筹学,数学编程(90-XX)

simSchool(模拟学校)

在0个文档中引用
软件作者: 梅莱蒂奥·马夫罗提斯,玛丽亚;卡捷琳娜·马武鲁
相关软件:
主要字段:

海龟图案

在0个文档中引用
软件作者: 罗萨里奥·维拉(Rosario Vera Ruiz)
相关软件: 哈斯克尔
主要字段:

虚拟现实数学2

在0个文档中引用
软件作者: A.是的
相关软件: 几何浏览器;计算流量;手摇…
主要字段:

Wingeom公司

在0个文档中引用
软件作者: 西尔瓦娜·克劳迪娅·桑托斯
相关软件:
主要字段:

轻松娱乐

在0个文档中引用
软件作者: 马库斯·格雷瑟
相关软件:
主要字段:

穷举博弈解算器

在0个文档中引用
软件作者: 蓝色
相关软件:
主要字段:

FFT探险家

在0个文档中引用
软件作者: 保罗·卢特斯
相关软件:
主要字段:

浮子

在0个文档中引用
软件作者: 戈登·西科恩
相关软件:
主要字段:

分形视图

在0个文档中引用
软件作者: 马修·博伊斯
相关软件:
主要字段:

G矢量

在0个文档中引用
软件作者: 拉斐尔·奥斯特塔格
相关软件:
主要字段:

希尔伯特二世

在0个文档中引用
软件作者: 31立方米
相关软件:
主要字段:

哈夫曼视图

在0个文档中引用
软件作者: 温迪·沃森
相关软件:
主要字段:

利百克

在0个文档中引用
软件作者: 卡洛·伍德
相关软件:
主要字段:

力比特

在0个文档中引用
软件作者: 斯蒂芬·日尔曼;皮埃尔·瓦卢瓦;Belkacem Abdous公司
相关软件:
主要字段:

数学宝典

在0个文档中引用
软件作者: frm公司
相关软件:
主要字段:

麦卡尼卡

在0个文档中引用
软件作者: 小猎犬
相关软件:
主要字段:

物理3D

在0个文档中引用
软件作者: 本杰明·爱德华·查尔兹
相关软件:
主要字段:

PMathGen公司

在0个文档中引用
软件作者: 小丘
相关软件:
主要字段:

回归mAKEr

在0个文档中引用
软件作者: 尤金奈伊
相关软件:
主要字段:

中央集权主义者

在0个文档中引用
软件作者: 德克·梅尔彻
相关软件:
主要字段:

Frink语言

在0个文档中引用
软件作者: 伊莱森
相关软件:
主要字段:

TheCurves公司

在0个文档中引用
软件作者: 史蒂夫怀特
相关软件:
主要字段:

XML数学

在0个文档中引用
软件作者: 埃里克·范·齐斯特
相关软件:
主要字段:

XNum(数字)

在0个文档中引用
软件作者: 模拟74
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件