×

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

ELAN公司

106篇文献引用(1996–2020)
软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe
相关软件: 莫德;咖啡馆;目标3…
主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

D-努氏体

13份文件引用(2005–2020)
软件作者: 洪琴;Terzopoulos,D。
相关软件: CoRdE;绞线;算法624…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

普鲁特斯

7份文件引用(2009–2020)
软件作者: Kallahalla,M.,Riedel,E.,Swaminathan,R.,Wang,Q.,Fu,K。
相关软件: SiRiUS公司;发电机;隐秘…
主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

arXMLiv公司

6篇文献引用(2008–2015)
软件作者: 德扬·基涅夫、康斯坦丁·朱科夫斯基、斯特凡·安卡、米海·格里戈尔、卡塔琳·戴维、迈克尔·科尔哈斯
相关软件: LaTeXML;乳胶;ActiveMath…
主要字段: 计算机科学(68-XX)

棒棒糖

5份文件引用(2010–2016)
软件作者: Karl Mazurak;史蒂夫·兹丹塞维奇
相关软件: VeriML;雷卡姆;哈斯克尔…
主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

链规则.jl

1份文件引用(2023)
软件作者: 林登·怀特;Miha Zgubic;迈克尔·阿伯特(Michael Abbott);Jarrett Revels;亚历克斯·阿尔斯兰(Alex Arslan);塞斯·阿克森;Simeon Schaub;尼克·罗宾逊;马英波;高拉夫·辛格拉;威尔特布特;尼古拉斯·海姆(Niklas Heim);安德鲁·戴维·沃纳·罗森伯格(Andrew David Werner Rosemberg);尼古拉斯·施密茨(Niklas Schmitz);克里斯托弗·拉卡卡斯;David Widmann;Rainer Heintzmann;法兰克夏;基诺·菲舍尔;亚历克斯·罗布森;马特·布热津斯基;安德烈·扎宾斯基;马修·贝桑松;彼得罗·维特奇;沙希·戈达;安德鲁·菲茨吉本;卡洛·卢西贝洛;柯蒂斯·沃格特;Dhairya Gandhi;费尔南多·乔尼
相关软件: 朱莉娅;数字Py;nflows…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

群体

4份文件引用(2010–2016)
软件作者: Bader,D.A。;卡纳德,V。;Madduri,K。
相关软件: 开放式CL;英特尔TBB;快速流动…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

AROC公司

3份文件引用(2021–2023)
软件作者: Kochdumper,N。;Gruber,F。;Schürmann,B。;加曼,V。;Klischat,M。;阿尔托夫,M。
相关软件: SCOTS;ROCS;CoSyma…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

联合能力保障计划

1份文件引用(2002)
软件作者: 韦尔奇,P.H。;奥尔德斯,J.R。;J.福斯特。
相关软件: 马戏团;Z;韩国石油公司
主要字段: 计算机科学(68-XX)

迈亚

在0个文档中引用
软件作者: 奥利维尔·布鲁鲁;巴特·范梅里恩博尔
相关软件: 蟒蛇;切线;PyCmdStan…
主要字段:

接近操作器.jl

2份文件引用(2021)
软件作者: Stella,L.、Antonello,N.、Falt,M
相关软件: 数字Py;CVX;古罗比…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)

FCP公司

1份文件引用(2015)
软件作者: D.Han、R.Grandl、A.Akella、S.Seshan
相关软件: BLINC公司;Tmix;N工具…
主要字段: 计算机科学(68-XX)

Magma2公司

1份文件引用(1984年)
软件作者: 佛朗哥·都灵
相关软件: MAGMA-部署
主要字段: 计算机科学(68-XX)

Panoply公司

1份文件引用(2018)
软件作者: Shweta Shinde;大乐天;Shruti头饰;Prateek Saxena公司
相关软件: 迷你盒子;瑞安;VeriCount…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段