猛增 22篇文献引用(1992年-2010年) 软件作者: 凯蒂尔·桑德尔 相关软件: JDQZ;JDQR;SATZILA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
配套元件 6篇文献引用(1993–2017) 软件作者: W.R.贝维尔 相关软件: veriSoft;Isabelle/HOL;NQTHM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
MTHSA-DHEI公司 1份文件引用(2023) 软件作者: 屠守恒、李超、刘凡、李爱民、郎禾、宗宇根、尚俊良、刘海燕、朱艳玲、冯增瑜、陈天瑞 相关软件: 中国电子05 主要字段: 偏微分方程(35-XX);数值分析(65-XX);运筹学,数学编程(90-XX)