RealPaver公司 51篇文献引用(2003–2017) 软件作者: 劳伦特·格兰维尔(Laurent Granvilliers) 相关软件: 数字;进入PT_90;监狱… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
数字 48篇文献引用(1998–2023) 软件作者: van Hentenryck,P.,Deville,Y.,Michel,L。 相关软件: 进入PT_90;RealPaver;男爵… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
国际博协 16篇文献引用(2005–2021) 软件作者: Y.利巴。 相关软件: BARON公司;数字;COCONUT… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…