×

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

并入PT_90

310份文件引用(1996–2023)
软件作者: R.Baker Kearfott先生
相关软件: 国际实验室;C-XSC;个人资料/偏见…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

宴会

101篇文献引用(2012–2024)
软件作者: Tang,Ping Tak Peter;埃里克·波利齐
相关软件: CIRR;lobpcg.m;JDQZ…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);算子理论(47-XX)…

RealPaver公司

51篇文献引用(2003–2017)
软件作者: 劳伦特·格兰维尔(Laurent Granvilliers)
相关软件: 数字;进入PT_90;监狱…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

ACRITH-XSC公司

48篇文献引用(1985–2019)
软件作者: 沃尔夫冈·沃尔特。
相关软件: C-XSC;C-XSC 2.0;PASCAL-XSC…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

瓦伦西亚

19份文件引用(2008–2020)
软件作者: A.劳赫;霍弗,E.P。;E.奥尔。
相关软件: 缬氨酸IVP;舒适的;FADBAD++…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

希克莫

13份文件引用(2016–2023)
软件作者: 尼尔·霍夫曼;一原、和弘;Masahide Kashiwagi;Hidetoshi Masai;小石、神道;秋藤忠雄(Takayasu,Akitoshi)
相关软件: SnapPy;SnapPea;GitHub…
主要字段: 代数拓扑(55-XX);歧管和细胞复合体(57-XX);整体分析,流形分析(58-XX)…

移动

9份文件引用(2001–2010)
软件作者: 叶卡捷琳娜·奥尔;安德烈斯·凯斯科梅西;Tändl,Martin;霍尔格·特雷钦斯基
相关软件: 剖面/偏差;智能手机;TADIFF…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

InC公司++

3份文件引用(2002–2017)
软件作者: Hyvönen,E.,De Pascale,S。
相关软件: 进入PT_90;JGloptLab;UniCalc…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

RangeLab公司

3份文件引用(2018–2021)
软件作者: 马特尔,M。
相关软件: PRECiSA公司;促进;Boost Interval算术…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

AERN公司

1份文件引用(2014)
软件作者: 米查尔·科内克尼
相关软件: PolyPaver;国际RRAM
主要字段: 数值分析(65-XX)

FP泰勒

1份文件引用(2022)
软件作者: 阿列克谢·索洛维耶夫;马雷克·巴拉诺夫斯基。;布里格斯·伊恩;查尔斯·雅各布森;拉库马里奇,兹沃尼米尔;加内什·戈帕拉克里什南
相关软件: dReal;HOL灯;QEPCAD…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件