椭圆盖.lib 14篇文献引用(2015–2024) 软件作者: Janko Böhm、Kathrin Bringmann、Arne Buchholz、Hannah Markwig 相关软件: 单一;鹦鹉螺;痕迹… 主要字段: 数论(11-XX);代数几何(14-XX);复变量函数(30-XX)…
作为221 10篇文献引用(1986–2018) 软件作者: R·德西莫尼亚。 相关软件: KernSmooth;AS 83;AS 124… 主要字段: 统计学(62-XX);数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
佩伦·弗罗贝尼乌斯 2份文件引用(2017–2021) 软件作者: Jose Divasón、Ondřej Kunčar、RenéThiemann、Akihisa Yamada 相关软件: 存档正式证据;Isabelle/HOL;AProVE… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)