×

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

科学实验室

173篇文献引用(1999–2023)
软件作者: Scilab企业;里卡多·法布里
相关软件: Matlab;倍频程;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Modelica公司

120篇文献引用(2000–2024)
软件作者: 耶布拉,L.J。;贝伦格尔,M。;多尔米多,S。;E.扎扎。
相关软件: Dymola;Matlab;OpenModelica…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

迪莫拉

53篇文献引用(1998–2022)
软件作者: 达索系统
相关软件: Modelica;OpenModelica;Matlab…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

GreatSPN公司

53篇文献引用(1988年至2022年)
软件作者: 朱奈德·巴巴尔;马可·贝库蒂;苏珊娜·多纳泰利(Susanna Donatelli);安德鲁·米纳
相关软件: GreatSPN 1.7;时间网络;CADP…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

生物CHAM

52篇文献引用(2005–2024)
软件作者: Chabrier,N.、Fages,F.、Soliman,S。
相关软件: 生物-PEPA;棱镜;政治公众人物协议…
主要字段: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

Numerica公司

在48份文件中引用(1998–2023)
软件作者: van Hentenryck,P.、Deville,Y.、Michel,L。
相关软件: 进入PT_90;RealPaver;BARON…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

分享

38篇文献引用(1992–2024)
软件作者: 罗宾·萨纳(Robin Sahner);Trivedi,Kishor S。;安东尼奥·普利亚菲托
相关软件: 莫比乌斯;SPNP;智能_…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

系统C

29篇文献引用(2002–2017)
软件作者: 大卫·C·布莱克。;杰克·多诺万。
相关软件: 皮纳帕;LusSy;酯类…
主要字段: 代数几何(14-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

防抱死制动系统

33篇文献引用(2012–2022)
软件作者: Johnsen,E.B.、Hähnle,R.、Schäfer,J.、Schlatte,R.和Steffen,M。
相关软件: JCobox;中美合作所;Erlang…
主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

茂物

27篇文献引用(2003–2014)
软件作者: 马修·德怀尔(Matthew B.Dwyer)。;约翰·哈特克利夫;马修·胡锡;马修·罗比
相关软件: 自旋蛋白;班德拉;veriSoft…
主要字段: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

GEPASI公司

29篇文献引用(1996–2016)
软件作者: P.门德斯
相关软件: 电子电话;虚拟细胞;SCAMP…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

普罗米拉

30篇文献引用(1997–2022)
软件作者: Natarajan,V。;杰拉德·J·霍尔兹曼。
相关软件: 自旋蛋白;jSpin;ProB…
主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)…

马赛尔

28篇文献引用(1998–2022)
软件作者: 比约恩·贝特尔;赫尔穆特·赫罗尔德;Almási,B。;博尔赫,G。;Tutsch,D。;等等
相关软件: lcpSim;SPNP;GreatSPN 1.7…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

兔子

23篇文献引用(2001–2022)
软件作者: 德克·拜尔;Lewerentz,克劳斯;安德烈亚斯·诺亚克
相关软件: Uppaal;克罗诺斯;棱镜…
主要字段: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

GASP四

24篇文献引用(1974–2006)
软件作者: A.Alan B.Pritsker。
相关软件: SIMSCRIPT;Simula 67;发电机…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

LARS公司

23篇文献引用(2016–2022)
软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。
相关软件: 克林戈;o克林戈;SPARQL…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

系统建模语言

14篇文献引用(2006年至2019年)
软件作者: T·韦尔基恩斯。
相关软件: Modelica;MARTE公司;Uppaal…
主要字段: 阶、格、有序代数结构(06-XX);一般拓扑(54-XX);计算机科学(68-XX)…

珍珠包

18篇文献引用(1998–2008)
软件作者: 霍斯蒂斯,E.N。;赖斯,J.R。;Weerawarana,S。;Catlin,A.C.公司。;Papachiou,P。;Wang,K.-Y。;盖塔茨,M。
相关软件: ELLPACK;PYTHIA公司;LAPACK…
主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);变分法与最优控制;优化(49-XX)…

ProTDB公司

12份文件引用(2005–2018)
软件作者: A.尼尔曼,H.V.贾加迪什
相关软件: ProbView;PSQL;XPath…
主要字段: 计算机科学(68-XX)

MUSCOD-II公司

19份文件引用(1998–2021)
软件作者: 海德堡大学;M.Diehl、D.B.Leineweber、A.A.S.Schäfer
相关软件: Ipopt;ADIFR;SOCS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

科科斯

19份文件引用(2006年至2019年)
软件作者: 印度
相关软件: 科学实验室;科学实验室;FreeFem++…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…

步骤

16篇文献引用(2014–2019)
软件作者: 伊恩·赫本、陈伟良、斯特凡·威尔斯、埃里克·德舒特
相关软件: 中尺度RD;URDME;斯莫尔丁…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

核心ASM

13份文件引用(2007–2021)
软件作者: Farahbod,Roozbeh;文森佐·格瓦西;Glässer,乌韦;妈妈,乔治
相关软件: 法尔科;罗丹;GitHub…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

戴纳

13份文件引用(2008–2022)
软件作者: 杰森·艾斯纳;埃里克·戈德鲁斯特(Eric Goldlust);诺亚·A·史密斯;西北部菲拉多。
相关软件: ProbLog;棱镜;kProbLog…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

安全UML

7份文件引用(2002年-2014年)
软件作者: 托尔斯滕·洛德斯泰特;David Basin;尤尔根·多塞
相关软件: Z;自旋蛋白;霍尔-OCL…
主要字段: 计算机科学(68-XX)

检查VML

8份文件引用(2004–2019)
软件作者: 阿尔科斯·施密特(Dániel Varró)
相关软件: 自旋蛋白;沟槽;茂物…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

OSiL公司

10篇文献引用(2005–2022)
软件作者: 罗伯特·福勒;马军;基普·马丁
相关软件: AMPL;GAMS;LINDO…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

国内流离失所者3

9份文件引用(2015–2020)
软件作者: 莫里斯·布鲁诺;亨德里克·布洛克(Hendrik Blockeel);博加特,巴特;De Cat,Broes;德普特(De Pooter,Stef);约阿希姆·扬森;安东尼·拉巴雷;Ramon,Jan;马克·德内克(Marc Denecker);四川省韦尔市
相关软件: 卡环;WASP;DLV…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

KITTeL公司

10篇文献引用(2011–2022)
软件作者: 斯蒂芬·福克(Stephan Falke);卡普尔,迪帕克;卡斯滕·辛兹
相关软件: z3;控制;Yices…
主要字段: 计算机科学(68-XX)

丽贝卡

8份文件引用(2010–2022)
软件作者: 穆罕默德·马赫迪(Mohammad Mahdi);Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦查尔
相关软件: Uppaal;甲酚;定时丽贝卡…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

斯皮科

10篇文献引用(2007–2020)
软件作者: 库特勒,塞林;塞德里克·侯赛因;约阿希姆·尼伦
相关软件: 生物-PEPA;BioNetGen;BlenX…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

ARENA公司

9份文件引用(2002–2018)
软件作者: 罗克韦尔自动化公司
相关软件: Matlab;SPSS软件;DFBOX_IMPR…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…

GUSS公司

9份文件引用(2012–2022)
软件作者: Michael R.Bussieck。;Michael C.Ferris。;蒂莫·洛曼
相关软件: GAMS;AIMMS;AMPL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

ABC-SysBio公司

6篇文献引用(2012–2022)
软件作者: Liepe,J.、Barnes,C.、Cule,E.、Erguler,K.、Kirk,P.、Toni,T.、Stumpf,M.P.H。
相关软件: 生物贝叶斯;天文ABC;EasyABC…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

贝叶斯OWL

7份文件引用(2008–2019)
软件作者: 钟立鼎;云鹏;Rong Pan公司
相关软件: 博客;PR-OWL;IBAL…
主要字段: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

首选项SQL

5份文件引用(2012年至2020年)
软件作者: Kießling,W.,Endres,M.,Wenzel,F。
相关软件: dplyr;懒惰;调音播放…
主要字段: 计算机科学(68-XX)

独角兽

6篇文献引用(2015–2021)
软件作者: Jonathan F.Donges、Jobst Heitzig、Boyan Beronov、Marc Wiedermann、Jakob Runge、Qing Yi Feng、Liubov Tupikina、Veronika Stolbova、Reik V.Donner、Norbert Marwan、Henk A.Dijkstra、J.Kurth
相关软件: SciPy;TISEAN公司;图表…
主要字段: 组合数学(05-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

SBML-SAT卫星

7份文件引用(2009–2021)
软件作者: Zi Z1、Zheng Y、Rundell AE、Klipp E。
相关软件: SensSB;sbtoolbox;Matlab…
主要字段: 常微分方程(34-XX);统计学(62-XX);生物学和其他自然科学(92-XX)…

千对数

6篇文献引用(2014–2022)
软件作者: 保罗·弗雷斯科尼;Costa,Fabrizio;Luc De Raedt;库尔特·德·格雷夫
相关软件: ProbLog;PyTorch;阿莱夫…
主要字段: 统计学(62-XX);计算机科学(68-XX)

山核桃

6篇文献引用(1996–2021)
软件作者: 胡萝卜,路易吉;梅勒,弗兰诺;Mango Furnari,马里奥;雷娜塔·纳波利塔诺
相关软件: CANv2;PYR;OpenCAL…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

ProMoT项目

5份文件引用(2000–2021)
软件作者: F Tránkle、M Zeitz、M Ginkel;罗兰·沃施勒(Roland Waschler);安吉莱斯·帕拉西奥斯(Angeles-Palacios),奥登(Odon);金克尔,马丁;阿希姆·基恩勒
相关软件: 塔巴斯科;lpSolve;日晷…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);偏微分方程(35-XX)…

比例6.2

6篇文献引用(2015–2021)
软件作者: 里尔登,B。;列斐伏尔,R。;Lefebvre,J。;克拉诺,K。;威廉姆斯,M。;Petrie,L。;美国Mertyurek。
相关软件: 德诺沃;特里利诺斯;比例…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

Simscape公司

5份文件引用(2014–2020)
软件作者: 迈斯沃克
相关软件: Matlab;活性氧;GAZEBO…
主要字段: 总体主题;藏品(00-XX);近似和展开(41-XX);粒子力学与系统(70-XX)…

仄洛斯

6篇文献引用(2013–2023)
软件作者: 蒂莫西·伯克(Timothy Bourke)、马克·普泽特(Marc Pouzet)
相关软件: Simulink;状态流;LUSTRE…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

CCUBE公司

4份文件引用(1997–2013)
软件作者: A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo
相关软件: XQuery;抒情的;DEDALE…
主要字段: 计算机科学(68-XX)

FAMILIAR系列

4份文件引用(2020–2022)
软件作者: Acher,M。;科莱,P。;拉希尔,P。;法国,R.B。
相关软件: 安;黑色素;MetaDepth…
主要字段: 计算机科学(68-XX)

科米特

4份文件引用(2002–2003)
软件作者: Suraweera,Pramuditha;安东尼亚·米特罗维奇
相关软件: 自动教程
主要字段: 计算机科学(68-XX);数学教育(97-XX)

建模工具包.jl

引用于3份文件(2022–2024)
软件作者: 马英波(Yingbo Ma)、沙什·戈达(Shashi Gowda)、兰詹·阿南塔拉曼(Ranjan Anantharaman)、克里斯·劳夫曼(Chris Laughman)、维拉尔·沙阿(Viral Shah)、克里斯·拉卡库卡斯
相关软件: 微分方程.jl;朱莉娅;KaDE…
主要字段: 结合环与代数(16-XX);常微分方程(34-XX);计算机科学(68-XX)…

NETPAD网垫

5份文件引用(1994–2018)
软件作者: Nathaniel院长;莫妮卡·梅文坎普;克莱德·蒙玛。
相关软件: 空间几何;几何画板;GeoGebra…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

规则2CP

2份文件引用(2009–2011)
软件作者: 弗朗索瓦·法赫斯,朱利安·马丁
相关软件: 自旋蛋白;ntccSim;Ntccrt…
主要字段: 计算机科学(68-XX)

传感器SB

4份文件引用(2012–2020)
软件作者: 罗德里格斯-费尔南德斯,M.,班加,J.R。
相关软件: Matlab;SBML-SAT;COPASI…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

SystemVerilog公司

5份文件引用(2004–2014)
软件作者: 萨瑟兰,斯图亚特;西蒙·戴维曼;皮特·弗莱克
相关软件: 哈斯克尔;vlogsl;DART…
主要字段: 交换代数(13-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

AADL公司

引用于3份文件(2012–2016)
软件作者: Kyungmin Bae、Peterlveczky、JoséMeseguer
相关软件: 电子LOTOS;GRL;LNT2LOTOS…
主要字段: 计算机科学(68-XX)

代理.jl

在0个文档中引用
软件作者: 阿里·瓦达蒂
相关软件: 朱莉娅;NetLogo;Mesa…
主要字段: 计算机科学(68-XX)

英国圣公会

4份文件引用(2018–2024)
软件作者: 托宾,D。;van de Meent,J.W。;Yang,H。;伍德,F。
相关软件: 高温;ProbLog;验证…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

LPFML公司

4份文件引用(2005–2016)
软件作者: 罗伯特·福勒;洛佩斯,利奥;基普·马丁
相关软件: AMPL;林多;NEOS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

采矿锌

4份文件引用(2017–2019)
软件作者: 枪支,蒂亚斯;安东·德里斯(Anton Dries);齐格弗里德·尼杰森;塔克,吉多;吕克·德·雷德
相关软件: 通用电气;本质;迷你锌…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

OntoDebug(开始调试)

4份文件引用(2018–2023)
软件作者: Schekotihin、Konstantin;Patrick Rodler;沃尔夫冈·施密德
相关软件: 颗粒;合并解释;赫密特…
主要字段: 计算机科学(68-XX)

开放式愿望

引用于3份文件(1991–2011)
软件作者: 格拉尼诺·A·科恩;特里·科恩
相关软件: ViT;变形DETR;MinkowskiEngine…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

珍珠

4份文件引用(1982–2007)
软件作者: 古姆泽,罗马人;陆寿荣
相关软件: SPNP;阿达95
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

PEtab公司

1份文件引用(2020)
软件作者: 莱昂纳德·施密斯特、扬尼克·舒尔特、弗兰克·T·伯格曼、塔西奥·坎巴、埃里卡·杜德金、珍妮·埃格特、法比安·弗莱里奇、劳拉·富尔曼、阿德里安·豪伯、斯文加·凯默、波琳娜·拉克里森科、卡罗琳·卢斯、西蒙·默克特、沃尔夫冈·穆勒、迪兰·帕希拉纳、埃尔巴·雷蒙德斯、卢卡斯·雷菲施、马库斯·罗森布拉特、保罗·斯塔波尔、菲利普·施塔特、丹东·王,弗兰兹·乔治·维兰德(Franz-Georg Wieland)、朱利奥·班加(Julio R.Banga)、延斯·蒂默(Jens Timmer
相关软件: 数据2动力学;科帕西;AMIGO…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX)

PROSE公司

引用于3份文件(1974–2018)
软件作者: 约瑟夫·泰晤士河
相关软件: 俚语;PADRE2;ADOL-C…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

R-查龙

4份文件引用(2006–2013)
软件作者: 费边·克拉茨(Fabian Kratz);奥列格·索科尔斯基(Oleg Sokolsky);乔治·帕帕斯(George J.Pappas)。;李因苏普
相关软件: QEPCAD;查龙;RAMAS…
主要字段: 数理逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

科学实验室

4份文件引用(2010–2019)
软件作者: 斯蒂芬·坎贝尔(Stephen L.Campbell)。;Chancelier,Jean-Philippe;拉明·尼库哈
相关软件: 科科斯;SCADE;GPOPS…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

SLANG(俚语)

引用于3份文件(1974–2018)
软件作者: 泰晤士河,J.M。
相关软件: 散文;PADRE2;ADOL-C…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

StAMPL公司

引用于3份文件(2009–2012)
软件作者: 罗伯特·福勒;利奥·洛佩斯
相关软件: AIMMS;AMPL;XPRESS…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

系统建模器

4份文件引用(2016–2021)
软件作者: 沃尔夫拉姆
相关软件: OpenModelica;Mathematica;Sakai…
主要字段: 动力系统与遍历理论(37-XX);系统论;控制(93-XX);数学教育(97-XX)

茶匙

4份文件引用(2017–2022)
软件作者: Banbara,M.、Inoue,K.、Kaufmann,B.、Schaub,T.、Soh,T.和Tamura,N.、Wanko,P。
相关软件: 格林戈;OR-tools;Clingo…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

玻璃钢

2份文件引用(2021–2022)
软件作者: 拉拉·里扎;克里斯托夫·伯格迈尔(Christoph Bergmeir);弗朗西斯科·埃雷拉;何塞·贝尼特斯
相关软件: R;fugeR;模糊R…
主要字段: 数理逻辑与基础(03-XX);数值分析(65-XX)

HyDI公司

引用于3份文件(2013–2015)
软件作者: Cimatti A、Mover S、Tonetta S
相关软件: SpaceEx;数学SAT;HySAT…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

JML单位

引用于3份文件(2011–2022)
软件作者: 丹尼尔·齐默尔曼(Daniel M.Zimmerman)。;林克什·纳格莫蒂
相关软件: OpenJML;凯伊;JUnit…
主要字段: 计算机科学(68-XX)

梅兰奇

引用于3份文件(2019年-2023年)
软件作者: Degueule T、Combemale B、Blouin A、Barais O、Jézéquel J-M
相关软件: 黑色素;莫德;AToMPM…
主要字段: 计算机科学(68-XX)

图片

2份文件引用(2018年)
软件作者: Tejas D Kulkarni;Pushmet Kohli;Joshua B Tenenbaum;Vikash Mansinghka公司
相关软件: 能量;f-GAN;Wasserstein GAN…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

PIROL公司

引用于3份文件(2002–2003)
软件作者: 斯蒂芬·赫尔曼
相关软件: 方面J;ArchJava建筑
主要字段: 计算机科学(68-XX)

普罗米修斯

2份文件引用(2002–2007)
软件作者: Gössler先生
相关软件: 皮纳帕;卢斯特;系统C…
主要字段: 计算机科学(68-XX)

PyBioNet适配

1份文件引用(2020)
软件作者: 密特拉,ED;苏德曼,R。;科尔文,J。;艾伦科夫。;胡,A。;索罗,HM;波斯纳,RG;拉瓦切克,WS
相关软件: 科帕西;AMIGO公司;碲…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX)

金龟子

2份文件引用(2014)
软件作者: Soh、Takehide;Tamura、Naoyuki;穆苏诺里·班巴拉
相关软件: 周六4j;GRAPPA;Lynx…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

SL2SX系列

引用于3份文件(2019年-2023年)
软件作者: 斯特凡诺·米诺波利;戈兰·弗雷斯
相关软件: Simulink;Isabelle/HOL;Matlab…
主要字段: 计算机科学(68-XX)

tccp公司

引用于3份文件(2009–2013)
软件作者: 阿列克谢·莱斯卡伊勒(Alexei Lescaylle);艾丽西亚·维拉纽埃娃
相关软件: CC-Pi;GHC;酯类…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

定时丽贝卡

引用于3份文件(2016–2020)
软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。
相关软件: 丽贝卡;Uppaal;旋转…
主要字段: 计算机科学(68-XX)

Acumen公司

2份文件引用(2020–2022)
软件作者: Taha、Duracz、Zeng、Atkinson、Bartha、Brauner、Duracx、Xu等。
相关软件: 戴恩拜克斯;Codac;JuliaReach…
主要字段: 系统论;控制(93-XX)

广告管理委员会++

2份文件引用(2006–2007)
软件作者: 埃里克·菲普斯(Eric Phipps);理查德·凯西;约翰·古根海默
相关软件: Matlab公司
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

生物模拟器.jl

在0个文档中引用
软件作者: 阿方索·兰德罗斯(Alfonso Landeros)、蒂莫西·斯图茨(Timothy Stutz)、凯文·凯斯(Kevin L.Keys)、亚历山大·阿列克西恩科(Alexander Alekseyenko)、珍妮特·辛希默(Janet S.Sinsheimer)、肯尼思·兰格(Kenneth Lange)、玛丽·
相关软件: 微分方程.jl;朱莉娅;DiffEqFlux…
主要字段: ——

夹紧

1份文件引用(2022)
软件作者: Soysal E,Wang J,Jiang M,Wu Y,Pakhomov S,Liu H,等。
相关软件: ScispaCy;变压器-XL;Covidex…
主要字段: 计算机科学(68-XX)

ComDeValCo公司

1份文件引用(2012)
软件作者: 巴兹尔·帕尔夫(BAZIL PARV)、西蒙娜·莫托加纳(SIMONA MOTOGNA)、伊万·拉扎尔(IOAN LAZAR)、伊斯坦·齐布拉(ISTVAN CZIBULA)、卢西安·拉扎尔
相关软件: ——
主要字段: 计算机科学(68-XX)

沙漠FD

在0个文档中引用
软件作者: Eames,Brandon K。;妮玛,桑迪普·K·。;罗希特·萨拉斯瓦特
相关软件: 禁忌搜索;SICStus公司;FaMa…
主要字段: 计算机科学(68-XX)

EDM开发人员座椅

2份文件引用(2007–2020)
软件作者: Jotne EPM技术
相关软件: 放松NG;Libxml2;LMS虚拟。实验室…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);系统论;控制(93-XX)

玻璃钢

1份文件引用(2016)
软件作者: Jebali F、Lang F、Mateescu R
相关软件: 电子LOTOS;AADL;LNT2LOTOS…
主要字段: 计算机科学(68-XX)

跳鼠

2份文件引用(2014–2022)
软件作者: 哈基姆·贝哈瓦里;阿诺德,阿格内斯;勒加尔,帕斯卡尔;托马斯·贝雷特
相关软件: GP 2;富贾巴;GrGen…
主要字段: 计算机科学(68-XX)

朱利亚

在0个文档中引用
软件作者: Jens Weibezahn;马里奥·肯佐尔斯基
相关软件: 皮普萨;迪特;任何MOD…
主要字段: ——

拉丁美洲论坛

在0个文档中引用
软件作者: Bianchi,C.,Smith,A.D。
相关软件: 数字Py;蟒蛇;eQ_WthProc…
主要字段: ——

LITS.jl公司

在0个文档中引用
软件作者: 罗德里戈·亨里奎斯·奥巴(Rodrigo Henriquez-Auba)、何塞·D·拉腊(Jose D.Lara)、西亚兰·罗伯茨(Ciaran Roberts)、内森·帕洛(Nathan Pallo)、邓肯·S·卡拉韦
相关软件: 日晷;朱莉娅;动力系统.jl…
主要字段: ——

网络草图

2份文件引用(2010–2012)
软件作者: 阿泽州贝斯塔夫罗斯;阿萨夫·科福尔;笔记本电脑,Andrei;迈克尔·J·奥森。
相关软件: 伊莎贝尔;自旋蛋白;马蒂塔…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

OOASP(OOASP)

1份文件引用(2016)
软件作者: 安德烈亚斯·福克纳;Anna Ryabokon;戈特弗里德·申纳;克斯特安提恩·什切科提金
相关软件: 格林戈;MiniSat;对夹2…
主要字段: 计算机科学(68-XX)

PDE工具

1份文件引用(2005)
软件作者: Ali Khalili;阿米尔·贾拉利·比多利;穆罕默德·阿卜杜拉希·阿兹戈米
相关软件: Matlab公司
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…

普罗莫卡

2份文件引用(2016–2023)
软件作者: 阿克·古奈{i} n个; 刘,杨;张杰
相关软件: ——
主要字段: 计算机科学(68-XX)

PSyHCoS系统

1份文件引用(2014)
软件作者: 埃蒂安·安德烈;刘,杨;孙军;董金松
相关软件: Shrinktech;拍打;PPL…
主要字段: 计算机科学(68-XX)

岛民

2份文件引用(2011–2016)
软件作者: 马修·O·扎卡特。;威廉·埃文森(William E.Evenson)。
相关软件: LAPACK;BLAS;天然气液化
主要字段: 统计力学,物质结构(82-XX)

Simscape传动系统

2份文件引用(2007–2016)
软件作者: 迈斯沃克
相关软件: Matlab;MPT公司
主要字段: 变分法与最优控制;优化(49-XX);系统论;控制(93-XX)

THORNs公司

2份文件引用(2001–2005)
软件作者: 科斯特,弗兰克;施若夫,斯特凡;Michael Sonnenschein;拉尔夫·维廷
相关软件: 吉娜;LOOPN++;莫比
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段