×

找到8个软件包（结果1-8）

引文 按字母顺序

MMT公司

54篇文献引用(2009–2022)
软件作者： 弗洛里安·拉贝
相关软件： OMDoc；质量管理团队；伊莎贝尔…
主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…

质量管理团队

22篇文献引用(2012–2022)
软件作者： 弗洛里安·拉贝
相关软件： 毫米波；米扎尔；伊莎贝尔…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

MMT公司

13份文件引用(2007–2019)
软件作者： Fabricio Chalub；克里斯蒂亚诺·布拉加
相关软件： 莫德；K校准仪；JavaFAN…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

数学中心信息

9份文件引用(2014–2019)
软件作者： 伊恩库、米尼亚；朱可夫斯基（Jucovschi），君士坦丁（Constantin）；Michael Kohlhase；汤姆·威辛
相关软件： 毫米波；OMDoc；HOL灯…
主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）

MBT优化器

3份文件引用(2021–2023)
软件作者： Tuen Trung Truong、Tuan Hang Nguyen
相关软件： GitHub；蟒蛇；Matplotlib…
主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…

序列2序列

在0个文档中引用
软件作者： Denny Britz、Anna Goldie、Minh-Thang Luong、Quoc Le
相关软件： 开放式NMT；Tensor2传感器；TensorFlow…
主要字段： –

MMTTeX公司

2份文件引用(2019)
软件作者： 弗洛里安·拉贝
相关软件： 伊莎贝尔；乳胶；Plat-Omega…
主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）

sTeX3公司

2份文件引用(2022)
软件作者： 科尔哈斯，M.，米勒
相关软件： GitHub；sTeX；OM文档…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段