×

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

SETHEO公司

118篇文献引用(1990–2022)
软件作者: Letz,R。;舒曼,J。;拜耳,S。;比贝尔,W。
相关软件: TPTP;水獭;SPASS…
主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);数值分析(65-XX)…

康尼迪

4份文件引用(2012–2021)
软件作者: 亚历山大·罗斯盖尔(Alexander Rothkegel);克劳斯·莱内茨
相关软件: JiTCSDE;JiTCODE;JiTCDDE…
主要字段: 常微分方程(34-XX);动力系统和遍历理论(37-XX)

ParJava语言

3份文件引用(2007–2009)
软件作者: 副总裁伊万尼科夫。;阿维提斯扬,A.I。;Gaissaryan,S.S。;医学硕士Akopyan。
相关软件: 小教堂;MPJ Express;要塞…
主要字段: 计算机科学(68-XX)

代码Py

在0个文档中引用
软件作者: A.科克纳
相关软件: 红宝石;SciPy;BSGP…
主要字段:

DLVM(分布式虚拟机)

在0个文档中引用
软件作者: Richard Wei、Vikram Adve、Lane Schwartz
相关软件: 卤化物;PyTorch;NNVM…
主要字段:

RFortran公司

1份文件引用(2012)
软件作者: Thyer,M.、Leonard,M.,Kavetski,D.、Need,S.、Renard,B。
相关软件: QSIMVN;害虫
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

OCamlJIT公司

在0个文档中引用
软件作者: B.梅勒
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段