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)…
KEEL公司 114篇文献引用(2009–2024) 软件作者: Alcalá-Fdez,J。;桑切斯,L。;加西亚,S。;德尔·耶稣,M.J。;文图拉,S。;加雷尔,J.M。;Otero,J。;罗梅罗,C。;百加得,J。;里瓦斯,V.M。;Fernández,J.C。;F.埃雷拉。 相关软件: JStatCom;UCI-ml;C4.5… 主要字段: 测量和集成(28-XX);统计学(62-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)…
前88.m 138篇文献引用(2011–2024) 软件作者: 埃里克·安德烈森;克劳森,安德斯;Schevenels,Mattias;博扬·S·拉扎罗夫。;奥勒·西格蒙德 相关软件: 顶部.m;Matlab;PETSc… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-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)…
ClassPad(教室面板) 5份文件引用(2007–2012) 软件作者: 卡西欧 相关软件: 得到;枫树;TI-Nspire公司 主要字段: 总体主题;藏品(00-XX);实函数(26-XX);计算机科学(68-XX)…
图尔巴尔2 27篇文献引用(2007–2023) 软件作者: 托马斯·希克斯;西蒙·德·吉夫里(Simon de Givry);大卫·阿洛奇 相关软件: mplp2;数字插孔;MaxHS… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
simpcomp公司 24篇文献引用(2010–2023) 软件作者: 费利克斯·埃芬伯格(Felix Effenberger)、乔纳森·斯普雷尔(Jonathan Spreer) 相关软件: 间隙;多品牌;麦考利2… 主要字段: 组合数学(05-XX);凸几何和离散几何(52-XX);代数拓扑(55-XX)…
卡布里3D 4份文件引用(2007–2017) 软件作者: Vallo,D。;Z'ahorska,J。 相关软件: GeoGebra;枫树;paramGeo3D… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);几何(51-XX)…
SimCalc(模拟计算器) 1份文件引用(2000) 软件作者: http://www.kaputcenter.umassd.edu/ 相关软件: 几何画板 主要字段: 总体主题;藏品(00-XX);数学教育(97-XX)
法索姆 2份文件引用(2008–2019) 软件作者: 罗尔夫·比勒;Dani Ben-Zvi;亚瑟·巴克;凯蒂·马卡尔 相关软件: 修补图;knitr;CRAN… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…
地理证明 17篇文献引用(2007–2020) 软件作者: 朱利安·纳布克斯;尼古拉·弗朗索瓦 相关软件: GEX;地质学;Coq… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)…
渐近线 13份文件引用(2007–2022) 软件作者: 安迪·哈默林德尔(Andy Hammerlindl);约翰·鲍曼;汤姆·普林斯 相关软件: GiNaC;蟒蛇;MetaPost… 主要字段: 组合数学(05-XX);复变量函数(30-XX);几何(51-XX)…
JAS公司 15篇文献引用(2008–2023) 软件作者: 海因茨·克雷德尔 相关软件: 单一;AXIOM;复数… 主要字段: 数论(11-XX);交换代数(13-XX);结合环和代数(16-XX)…
天才 11份文件引用(2010–2021) 软件作者: 基伊·莱布尔(JiříLebl;);丹尼尔·利奇布劳 相关软件: 稳定B基础NBM5;一般证明;CliffOC… 主要字段: 总体主题;藏品(00-XX);数论(11-XX);几个复变量和分析空间(32-XX)…
密码 6篇文献引用(2004–2011) 软件作者: Ustimenko,V.O。;A.图泽内。 相关软件: 密码技术;Galois字段算术库 主要字段: 组合数学(05-XX);代数几何(14-XX);动力学系统和遍历理论(37-XX)…
MPJ Express公司 4份文件引用(2009-2013年) 软件作者: M.Baker、B.Carpenter、A.Shafi 相关软件: MPI;CUDA;JCuda… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
亚卡斯 3份文件引用(2002–2023) 软件作者: 阿亚尔·平库斯(Ayal Z.Pinkus)。;谢尔盖·威尼茨基 相关软件: Ryacas;R;SymPy… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
阿卡罗阿 5份文件引用(2001–2008) 软件作者: 新西兰基督城坎特伯雷大学 相关软件: MLMIN;MINSimulate;CINSim… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
KSEG公司 4份文件引用(2005–2014) 软件作者: 伊利亚·巴拉恩 相关软件: GeoGebra;冲浪;数学库… 主要字段: 总体主题;藏品(00-XX);场论与多项式(12-XX);交换代数(13-XX)…
第六 4份文件引用(2014–2024) 软件作者: 沙弗尼希特(Martin F.G.Schaffernicht)。;斯特凡·格罗斯尔(Stefan N.Groesser)。 相关软件: 认知;DYNAMO公司 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
FriCAS公司 3份文件引用(2015–2019) 软件作者: 瓦尔德克·希比施 相关软件: AXIOM;无症状;HAP… 主要字段: 场论与多项式(12-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…
MacMolPlt公司 2份文件引用(2000–2021) 软件作者: Brett Bode、Chris Johnson、Song Li、Steven Schulteis 相关软件: 游戏;ASE;WebMO… 主要字段: 计算机科学(68-XX);统计力学,物质结构(82-XX)
MONOS公司 3份文件引用(2015–2021) 软件作者: 格恩瑟·埃德尔(Günther Eder);赫尔德,马丁;彼得·帕尔弗雷德 相关软件: 冲浪者2;二维三角剖分;Halfedge数据结构… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
弃妇 1份文件引用(2012) 软件作者: Werbe-Medien-Internetagentur M.Hicke公司 相关软件: 汗学院;真实数学;标语… 主要字段: 总体主题;藏品(00-XX);数学教育(97-XX)
阿尼马托 在0个文档中引用 软件作者: 埃伯哈德·莱曼;阿兰德,比特;乌尔里希·Döring;德雷斯·恩梅耶(Dreess en-Meyer),Günter;Geist,Lutz;托马斯·克莱特斯(Thomas Klietsch);科尔杜拉·科洛茨切克(Cordula Kollotschek);休伯特·朗洛茨;马丁·诺曼 相关软件: 得到;TI-Nspire;GeoGebra… 主要字段: –
更好的标记 1份文件引用(2012) 软件作者: 玛丽安·沃伊格特(Marianne Voigt)、克里斯托夫·斯佩罗尼(Christophe Spéroni)、阿恩特·奎亚科夫斯基(Arndt Kwiatkowski) 相关软件: 汗学院;真实数学;标语… 主要字段: 总体主题;藏品(00-XX);数学教育(97-XX)
GreedEx公司 1份文件引用(2013) 软件作者: Velazquez-Iturbide,A.J.,O.Debdi,N.Esteban-Sanchez,C.Pizarro 相关软件: – 主要字段: 数学教育(97-XX)
Java脚本SimpleX 1份文件引用(2012) 软件作者: 卡贝洛·马丁内斯,玛丽娜;阿纳州德尔加多·贝拉;安东尼奥·鲁菲安·利萨纳 相关软件: JavaScript脚本 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);数学教育(97-XX)
MUMIE公司 1份文件引用(2006) 软件作者: Ruedi Seiler、Volker Enss、Tilman Rassy、Rainer Siegmund-Schultze、Marek Grudzinski、Markus Gronau 相关软件: – 主要字段: 总体主题;藏品(00-XX);数学教育(97-XX)
nb分级器 1份文件引用(2021) 软件作者: Jupyter项目、Douglas Blank、David Bourgin、Alexander Brown、Matthias Bussonnier、Jonathan Frederic、Brian Granger、Thomas L.Griffiths、Jessica Hamrick、Kyle Kelley、M Pacer、Logan Page、Fernando Pérez、Benjamin Ragan-Kelley,Jordan W.Suchow、Carol Willing 相关软件: 朱庇特;枫树;Mathematica… 主要字段: 统计学(62-XX)
在线SPARC 2份文件引用(2019) 软件作者: Elias Marcopoulos;张元林 相关软件: 海狮;卡拉;天基信息平台… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
pntool工具 2份文件引用(2004) 软件作者: 屋大维,帕斯特拉瓦努;Matcovschi、Mihaela-Hanako;克里斯蒂安·马胡利亚 相关软件: Matlab公司 主要字段: 总体主题;藏品(00-XX);系统论;对照(93-XX)
联合国教科文组织 1份文件引用(2022) 软件作者: Daniel Yago、Juan Cante、Oriol Lloberas-Valls、Javier Oliver 相关软件: Matlab公司 主要字段: 可变形固体力学(74-XX)
b错误 在0个文档中引用 软件作者: Mohammad Arshad Rahman开发人员,Prajual Maheshwari 相关软件: quantreg;lqmm;bayesQR… 主要字段: –
Neotrie虚拟现实 在0个文档中引用 软件作者: 何塞·罗德里格斯(JoséL.Rodríguez),迭戈·加纳斯(Diego Cangas) 相关软件: 几何浏览器;VRMath2;CalcFlow… 主要字段: –
吡烷醇 在0个文档中引用 软件作者: 阿图尔·波克罗佩克(Artur Pokropek),马西耶·贾库博夫斯基(Maciej Jakubowski) 相关软件: 重复测试;光伏;Stata公司 主要字段: –
SMIS公司 1份文件引用(2023) 软件作者: Galán-García J.L.、Rodríguez-Cielos P.、Padilla-Domínguez Y.、Gaán-García M.á、。,Atencia I.、Rodríguez-Padilla P.、Aguilera-Venegas G。 相关软件: ATISBAT;马克西玛;枫叶… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
SnappySonic公司 在0个文档中引用 软件作者: Thompson,S.、Dowrick,T.、Xiao,G.、Ramalhinho,J.、Robu,M.、Ahmad,M.,Taylor,D.、Clarkson,M.J。 相关软件: 毒物;OpenCV;VTK… 主要字段: –