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)…
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)…
工学数学 引用于2份文件(1994–2004) 软件作者: 赫尔穆特·鲍施 相关软件: Matlab公司 主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX)…
MONOS公司 3份文件引用(2015–2021) 软件作者: 格恩瑟·埃德尔(Günther Eder);赫尔德,马丁;彼得·帕尔弗雷德 相关软件: 冲浪者2;二维三角剖分;Halfedge数据结构… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
Java脚本SimpleX 1份文件引用(2012) 软件作者: 卡贝洛·马丁内斯,玛丽娜;阿纳州德尔加多·贝拉;安东尼奥·鲁菲安·利萨纳 相关软件: JavaScript脚本 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);数学教育(97-XX)
数学TOUCH 引用于2份文件(2018) 软件作者: Shirai,Shizuka;福井、铁雄;吉多米,肯塔罗;川崎,三井;中原、高弘;中村康树;Kato,Katsuya;田口,Tetsuya 相关软件: 马克西玛;MeLQS;数学… 主要字段: 计算机科学(68-XX);数学教育(97-XX)
MUMIE公司 1份文件引用(2006) 软件作者: Ruedi Seiler、Volker Enss、Tilman Rassy、Rainer Siegmund-Schultze、Marek Grudzinski、Markus Gronau 相关软件: – 主要字段: 总体主题;藏品(00-XX);数学教育(97-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)