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