OCaml公司 274份文件引用(1998–2023) 软件作者: INRIA公司;X.Leroy、D.Rémy、J.Vouillon、D.Doligez 相关软件: Coq;哈斯克尔;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
LTSmin公司 25篇文献引用(2011–2023) 软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布洛姆 相关软件: 自旋蛋白;Uppaal;迪文尼… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)