科学实验室 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)…
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)…
传感器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、Peterlveczky、JoséMeseguer 相关软件: 电子LOTOS;GRL;LNT2LOTOS… 主要字段: 计算机科学(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)…
PEtab公司 1份文件引用(2020) 软件作者: 莱昂纳德·施密斯特、扬尼克·舒尔特、弗兰克·T·伯格曼、塔西奥·坎巴、埃里卡·杜德金、珍妮·埃格特、法比安·弗莱里奇、劳拉·富尔曼、阿德里安·豪伯、斯文加·凯默、波琳娜·拉克里森科、卡罗琳·卢斯、西蒙·默克特、沃尔夫冈·穆勒、迪兰·帕希拉纳、埃尔巴·雷蒙德斯、卢卡斯·雷菲施、马库斯·罗森布拉特、保罗·斯塔波尔、菲利普·施塔特、丹东·王,弗兰兹·乔治·维兰德(Franz-Georg Wieland)、朱利奥·班加(Julio R.Banga)、延斯·蒂默(Jens Timmer 相关软件: 数据2动力学;科帕西;AMIGO… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-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)…
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)
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)
跳鼠 2份文件引用(2014–2022) 软件作者: 哈基姆·贝哈瓦里;阿诺德,阿格内斯;勒加尔,帕斯卡尔;托马斯·贝雷特 相关软件: GP 2;富贾巴;GrGen… 主要字段: 计算机科学(68-XX)
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份文件引用(2011–2016) 软件作者: 马修·O·扎卡特。;威廉·埃文森(William E.Evenson)。 相关软件: LAPACK;BLAS;天然气液化 主要字段: 统计力学,物质结构(82-XX)
THORNs公司 2份文件引用(2001–2005) 软件作者: 科斯特,弗兰克;施若夫,斯特凡;Michael Sonnenschein;拉尔夫·维廷 相关软件: 吉娜;LOOPN++;莫比 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)