×

找到4个软件包(结果1-4)

椭圆盖.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)

乔丹·霍尔德

在0个文档中引用
软件作者: 雅各布·冯·劳默
相关软件: 存档正式证据;次要Sylow
主要字段:

筛选结果依据…