×

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

自由女性++

1679年文献引用(2000–2024)
软件作者: 奥利维尔·皮罗内奥(Olivier Pironenau)、弗雷德里克·赫赫特(Frédéric Hecht)、安托万·勒海利奇(Antoine Le Hyaric)、雅克·莫里斯(Jacques Morice)
相关软件: PETSc;FEniCS;UMFPACK…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

Firedrake公司

163篇文献引用(2016–2024)
软件作者: Robert C.Kirby、Florian Rathgeber、David A.Ham、Lawrence Mitchell、Michael Lange、Fabio Luporini、Andrew T.McRae、Gheorghe-Teodor Bercea、Graham R.Markall、Paul H.J.Kelly
相关软件: PETSc;FEniCS;UFL…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

伊萨尔

154份文件引用(2000–2023)
软件作者: 马卡里乌斯·温策尔
相关软件: 伊莎贝尔;Isabelle/HOL;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

RStan(RStan)

133篇文献中引用(2015–2024)
软件作者: 郭继强;等。
相关软件: R;rstan;斯坦…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

电池组

128篇文献引用(1982–2015)
软件作者: 韦恩·戴克森(Wayne R.Dyksen)。;卡尔文·里本斯。
相关软件: ITPACK;NSPCG;EISPACK…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

hlib公司

103篇文献引用(2005–2023)
软件作者: 斯特芬·博姆(Steffen Börm);Lars Grasedyck;莱比锡Max-Planck-Institut
相关软件: STRUMPACK;乔治;BEM++…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);积分方程(45-XX)…

不明飞行物

93篇文献引用(2010–2023)
软件作者: Alnæs,Martin s。;Logg,Anders;克里斯蒂安·加德(Kristian B.lgaard)。;玛丽·罗格内斯(Marie E.Rognes)。;加思·N·威尔斯。
相关软件: FEniCS;PETSc;Firedrake…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

rstan公司

89份文件引用(2017–2024)
软件作者: 郭继强、乔纳·加布里、本·古德里奇、丹尼尔·李、科兹托夫·萨克雷吉达、奥列格·斯克莱尔、延斯·奥赫施莱格尔·阿基约希、哈德利·威克姆、乔尔·德古兹曼、约翰·弗莱彻、托马斯·海勒、埃里克·尼伯勒
相关软件: RStan;R;斯坦…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

谎言

82篇文献引用(1993–2022)
软件作者: A.K.海德。
相关软件: DIMSYM公司;SYMMGRP;减少…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…

工具箱LS

59篇文献引用(2005–2023)
软件作者: 员米切尔
相关软件: 顶部.m;椭圆工具箱;ROC-HJ…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

迷你ML

55份文件引用(2000–2023)
软件作者: 罗文·戴维斯(Rowan Davies);弗兰克·芬宁
相关软件: Coq;毫升;佩斯卡…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

冥王星

在48份文件中引用(2007–2022)
软件作者: Mignone,A。;博多,G。;马萨利亚,S。;Matsakos,T。;O.Tesilenu。;赞尼,C。;A.法拉利。
相关软件: 雅典娜;闪光;HLLE…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

感觉++

引用于40篇文献(1999–2023)
软件作者: 克里斯托夫·普鲁德霍姆(Christophe Prud’homme)、文森特·查班内斯(Vincent Chabannes)、圣埃芬·韦斯(Stéphane Veys)、阿卜杜拉耶·萨姆克(Abdoulay Samake)、塞西莉·达沃森(Cecile Daversin)、克里斯托夫·特罗菲姆(Christphe Trophime)、贡卡洛·佩纳(Goncalo Pena)、纪尧姆·多利(Guillau
相关软件: PETSc;交易.ii;FreeFem++…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

L解析

42篇文献引用(2001–2020)
软件作者: 托米·西尔贾宁
相关软件: 格林戈;亚萨特;MiniSat…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

帕洛

37篇文献引用(1984–1993)
软件作者: 基思·克拉克;史蒂夫·格雷戈里
相关软件: GHC;更窄的;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

Rapide公司

31份文件引用(1997–2019)
软件作者: 大卫·C·勒克姆。
相关软件: HOL;伊萨尔;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

GF公司

30篇文献引用(1999–2021)
软件作者: 阿恩·兰塔
相关软件: Coq;米扎尔;Isar…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

柔性PDE

引用于33份文件(2006–2023)
软件作者: SoilVision系统有限公司。
相关软件: Matlab;枫树;NLEVP…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

内核-叶

31份文件引用(1989–2013)
软件作者: 埃利奥·乔瓦内蒂;乔治·列维;科拉多·莫伊索;帕拉米德斯猫
相关软件: 巴贝尔;玩具;咖喱…
主要字段: 计算机科学(68-XX)

OFMC公司

25篇文献引用(2005–2022)
软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺
相关软件: AVISPA;NRL;卡斯珀…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

LTSmin公司

25篇文献引用(2011–2023)
软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布罗姆
相关软件: 自旋蛋白;Uppaal;迪文尼…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

PAKCS公司

25篇文献引用(1994–2020)
软件作者: M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner
相关软件: 玩具;咖喱;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

皮莫尔

26篇文献引用(2015–2023)
软件作者: Rene Milk、Stephan Rave、Felix Schindler
相关软件: 红色套件;DUNE;哈波德…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

波列

26篇文献引用(2012–2023)
软件作者: 乔纳森·谢拉特。
相关软件: 自动;HomCont;自动-86…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

凯伊迈拉X

25篇文献引用(2015–2024)
软件作者: Fulton,N.、Mitsch,S.、Quesel,J.、Völp,M.、Platzer,A。
相关软件: 凯伊迈拉;SpaceEx;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

洛拉

23篇文献引用(2009–2023)
软件作者: D’Angelo,B。;等。
相关软件: 蒙保利;Java-MOP;LUSTRE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)

汞R

21篇文献引用(2011–2022)
软件作者: 中山弘;肯塔州西山;马赛尤基·诺罗;Katsuyoshi Ohara;Sei,Tomonari;高山、Nobuki;Akimichi竹村
相关软件: 瑞萨/阿西尔;DLMF;R、 …
主要字段: 结合环与代数(16-XX);几个复变量与解析空间(32-XX);特殊功能(33-XX)…

吉帕克

引用于20份文件(1994年-2023年)
软件作者: Codsi G。;皮尔逊·K·R。;莫纳什大学商业与经济学院政策研究中心
相关软件: GAMS;路径求解器;MPSGE…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学编程(90-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)…

Madpack公司

19份文件引用(1988–2021)
软件作者: C.C.道格拉斯。
相关软件: PETSc;乌托邦;佩蒂加…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

HasCasl公司

17篇文献引用(2002–2015)
软件作者: Lutz Schr“oder;Till Mossakowski
相关软件: CASL;哈斯克尔;赫茨…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

jInv公司

17篇文献引用(2016–2024)
软件作者: 拉尔斯·鲁索托、埃兰·特里斯特、埃尔达德·哈伯
相关软件: 朱莉娅;MUMPS;帕迪索…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

网格图

12份文件引用(2021–2023)
软件作者: 圣地亚哥·巴迪亚;弗朗西斯科·威尔杜戈
相关软件: 朱莉娅;FEniCS;微分方程.jl…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

戴纳

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

游泳池

12份文件引用(1988–2005)
软件作者: F.S.德波尔。
相关软件: Simula 67;Smalltalk;Ada95…
主要字段: 一般代数系统(08-XX);计算机科学(68-XX)

弗兰

10篇文献引用(1997–2022)
软件作者: 科纳尔·埃利奥特;保罗·哈达克
相关软件: 哈斯克尔;卢斯特;酯类…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…

新型冠状病毒

11份文件引用(2020–2023)
软件作者: Petrónio C.L.Silva。;保罗·V·C·巴蒂斯塔。;赫尔德·S·利马。;阿尔维斯(Marcos A.Alves)。;吉马朗斯,弗雷德里科·G。;罗德里戈·C·P·席尔瓦。
相关软件: 新冠肺炎;贝叶斯DA;斯坦…
主要字段: 常微分方程(34-XX);变异微积分和最优控制;优化(49-XX);统计学(62-XX)…

CTADEL公司

12份文件引用(1998–2020)
软件作者: 范恩格伦,罗伯特·亚历山大
相关软件: 数学;手指;SciNapse…
主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);数值分析(65-XX)…

6月2日

11份文件引用(1996–2004)
软件作者: 艾伦·海登;格雷格·纳尔逊
相关软件: 天蓝色;MMP/Geometer;梅德勒…
主要字段: 几何(51-XX);数值分析(65-XX);计算机科学(68-XX)…

壁画

10篇文献引用(1991–2014)
软件作者: C.B.琼斯。;K.D.琼斯。;Lindsay,P.A。;R.D.摩尔。
相关软件: RAISE(提升);落叶松;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SciNapse公司

10篇文献引用(1998-2006年)
软件作者: 罗伯特·L·阿克斯。;伊莱恩·康德(Elaine Kant);柯蒂斯·兰德尔(Curtis J.Randall)。;斯坦利·斯坦伯格;Young,Robert L。
相关软件: 数学;CTADEL公司;珍珠包…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

阿克拉

10篇文献引用(2005–2011)
软件作者: 乔瓦尼·佩祖洛(Giovanni Pezzulo);Gianguglielmo·卡尔维
相关软件: 古巴国防部;可可;戴恩…
主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-XX)…

CTF公司

10篇文献引用(2014–2021)
软件作者: Edgar Solomonik、Devin Matthews、Jeff Hammond、James Demmel
相关软件: BLIS;MKL;BLAS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX);数值分析(65-XX)…

国内流离失所者3

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

雷贝卡

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

保守法MD

引用于9份文件(2011–2023)
软件作者: L.D.普尔;W.赫里曼
相关软件: PDE安保运营商;疼痛水平测试;数学…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

PSync(同步)

引用于9份文件(2016–2023)
软件作者: 塞扎拉奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;达米安·祖弗里
相关软件: 威尔第;常春藤;ByMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

交通

8份文件引用(2015–2022)
软件作者: Udupa,A.、Raghavan,A.、Deshmukh,J.V.、Mador Haim,S.、Martin,M.M.、Alur,R。
相关软件: CVC4;z3;简单…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

贝叶斯OWL

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

自由FEM3D

8份文件引用(2004–2015)
软件作者: Del Pino S、Pironenau O
相关软件: FreeFem++;分流;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

MUSCOP公司

8份文件引用(2001–2023)
软件作者: 安德烈亚斯·波茨赫卡
相关软件: 纽顿图书馆;ADOL-C;区块SQP…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);整体分析,流形分析(58-XX)…

诗歌

8份文件引用(2006–2022)
软件作者: 普罗旺斯大学;彼得·尼伯特(Peter Niebert);曲洪阳
相关软件: Uppaal;自旋蛋白;IF-2.0…
主要字段: 计算机科学(68-XX)

PROCOL公司

7份文件引用(1991–2002)
软件作者: van den Bos,Jan;克里斯·拉法
相关软件: 方面J;匹科拉;JAsCo…
主要字段: 计算机科学(68-XX)

阿尔巴

7份文件引用(1991–2020)
软件作者: Grant O.jun.库克。;Jeffrey F.画家。
相关软件: GENTRAN公司;PDEQSOL;CTADEL…
主要字段: 总体主题;藏品(00-XX);积分方程(45-XX);数值分析(65-XX)…

PDEL公司

7份文件引用(1970–2020)
软件作者: 卡尔德纳斯,A.F。;W.J.Karplus。
相关软件: 萨勒姆;Loo.py公司;Devito…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)

SBML-SAT卫星

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

SHRAD公司

7份文件引用(2005–2023)
软件作者: 阿明·法朱迪安
相关软件: MPFI;ValEncIA-IVP;mctoolbox…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

高斯拟合

6篇文献引用(1987–2013)
软件作者: 威廉·杰弗里斯、芭芭拉·麦克阿瑟、詹姆斯·麦卡特尼
相关软件: Matlab公司
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

CCUBE公司

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

FEPG公司

5份文件引用(1996–2017)
软件作者: 梁国平;吴邦贤;谢慧
相关软件: FEniCS;道芬;纳斯特兰…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

FIDE公司

4份文件引用(1989年至2012年)
软件作者: 里斯卡(R.Liska);L.Drsda博士
相关软件: QEPCAD;减少;重新记录…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

国内流离失所者

5份文件引用(2008–2017)
软件作者: DTAI-KU鲁汶;Wittocx,J.,Marién,M.,Denecker,M
相关软件: 平滑;MiniSat;本质…
主要字段: 计算机科学(68-XX)

单一共享平台

5份文件引用(2003–2010)
软件作者: 斯科特·萨拉。
相关软件: Matlab公司
主要字段: 偏微分方程(35-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…

AUTO_DERIV公司

4份文件引用(2000年-2010年)
软件作者: S.Stamatiadis、R.Prosmiti、S.C.Farantos
相关软件: ADIFOR公司;ADOL-C;POMULT…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

法斯特弗洛

4份文件引用(1999–2004)
软件作者: 抱怨
相关软件: 佛罗里达州;PETSc;ADIC…
主要字段: 常微分方程(34-XX);数值分析(65-XX);变形固体力学(74-XX)…

Hiord公司

4份文件引用(2004–2018)
软件作者: 丹尼尔·卡贝萨(Daniel Cabeza);曼努埃尔·赫梅内吉尔多(Manuel Hermenegildo);詹姆斯·利普顿
相关软件: HiLog;CoALP;CiaoPP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

全息照相术

4份文件引用(2017–2023)
软件作者: 丹尼尔·威伦
相关软件: FEMaLeCoP;E定理证明器;游戏Pad…
主要字段: 计算机科学(68-XX)

路径日志

4份文件引用(2002–2008)
软件作者: 塔德乌兹·潘科夫斯基
相关软件: XPath(XPath)
主要字段: 计算机科学(68-XX)

pyomo.dae型

3份文件引用(2018–2022)
软件作者: 贝萨尼·尼科尔森;约翰·D·西罗拉(John D.Siirola)。;Jean-Paul Watson;维克多·M·扎瓦拉(Victor M.Zavala)。;Lorenz T.比格勒。
相关软件: 皮奥莫;SOCS;Optimica…
主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

玫瑰色

4份文件引用(2003–2010)
软件作者: 丹·昆兰
相关软件: 自杀;GAMS;AMPL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

时代广场

3份文件引用(2015–2016)
软件作者: 朱利安·德安东尼(Julien DeAntoni),弗雷德里克·马莱特(Frédéric Mallet)
相关软件: 埃斯特尔;Uppaal;信号…
主要字段: 计算机科学(68-XX)

分析家

3份文件引用(2007–2018)
软件作者: 芝加哥大学;Bagheri B;斯科特LR
相关软件: FEniCS;FFC;UFL…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

Deep Quantreg公司

3份文件引用(2022–2023)
软件作者: 贾一成;郑永贤
相关软件: DeepSurv;阿达德尔塔;GitHub…
主要字段: 统计学(62-XX)

DynAlloy合金

2份文件引用(2007–2021)
软件作者: 马塞洛·弗里亚斯(Marcelo F.Frias)、胡安·加莱奥蒂(Juan P.Galeotti)、卡洛斯·洛佩斯·蓬博(Carlos López Pombo)、纳扎雷诺·阿吉雷(Nazareno Aguirre)
相关软件: MiniSat;JPF-SE;YOGI…
主要字段: 计算机科学(68-XX)

女权主义者

3份文件引用(2003–2011)
软件作者: 尼古拉斯·纽斯
相关软件: 无人值守地面;PLTMG;马克西玛
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

内波

2份文件引用(2016–2020)
软件作者: C.Earl、M.Might、A.Bagusetty、J.C.Sutherland
相关软件: CUDA;地毯;Kranc…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

POGTGolog公司

2份文件引用(2020–2021)
软件作者: 阿尔贝托·芬奇;托马斯·卢卡西维奇
相关软件: GTGolog;赌博;高尔夫
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

快速傅里叶变换

3份文件引用(2015–2021)
软件作者: 格雷戈里·普拉姆(Gregory Plumb);帕乔里,迪普蒂;Risi Kondor;维卡斯·辛格
相关软件: SnOB;朱莉娅;佩尔马洛斯…
主要字段: 组合数学(05-XX);欧氏空间(42-XX)的调和分析;概率论与随机过程(60-XX)…

tccp公司

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

GUBS(胶)

2份文件引用(2013–2014)
软件作者: 阿德里安·巴索·布兰丁;Frank Delaplace公司
相关软件:
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

成分

在0个文档中引用
软件作者: Przemyslaw Biecek、Hubert Baniecki、Adam Izdebski、Katarzyna Pekala
相关软件: DALEX公司;模型工作室;解释ML…
主要字段:

MEMSA实验室

2份文件引用(2014–2022)
软件作者: 瓦利德·贝尔基尔;阿兰·乔尔盖蒂;米歇尔·伦茨纳
相关软件: CoReS;汤姆;枫树
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)

迷你黄铜

1份文件引用(2018)
软件作者: 亚历山大·希恩多夫(Alexander Schiendorfer);亚历山大·纳普(Alexander Knapp);Gerrit Anders;沃尔夫冈·雷夫
相关软件: 微量锌;JuMP;古罗比…
主要字段: 运筹学、数学规划(90-XX)

尼泊尔卢比+

1份文件引用(2021)
软件作者: 扎卡里亚·艾蒂安
相关软件: NRPyCritCol;SFcollapse1D;朱庇特…
主要字段: 统计力学,物质结构(82-XX);相对论和引力理论(83-XX)

PPlan(PPlan)

2份文件引用(2011–2020)
软件作者: Bienvenu,M。;弗里茨,C。;Sohrabi,S。;南卡罗来纳州麦克莱思。
相关软件: MiniSat;nuXmv;Yochan…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

派哈塞

2份文件引用(2015–2016)
软件作者: Brüggermann,R。;沃伊格特,K
相关软件: MULTILOG;irtrees;IRTm…
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

SkuARE公司

2份文件引用(2020–2022)
软件作者: 巴苏,金加尔;萨拉特·钱德拉(Sarat Chandra),瓦拉纳西(Varanasi);法哈德·沙克林(Farhad Shakerin);戈帕尔·古普塔
相关软件: 小队;水;ASP…
主要字段: 计算机科学(68-XX)

XYZ/SE公司

2份文件引用(1991–1999)
软件作者: 谢洪亮;龚杰;Tang,首席执行官。
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

BIMQL公司

1份文件引用(2023)
软件作者: Wiet Mazairac、Jakob Beetz
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

CHDL公司

1份文件引用(2004)
软件作者: K.Kornmesser公司
相关软件: CLUCalc;CLICAL公司;Clados…
主要字段: 计算机科学(68-XX)

特征工具

在0个文档中引用
软件作者: 杰里·奥西(Jerey S.Oishi)、基顿·J·伯恩斯(Keaton J.Burns)、S.E.Clark、埃文·安德斯(Evan H.Anders)、本杰明·布朗(Benjamin P.Brown)、杰弗里·瓦西尔(Geoffrey M.Vasil)、丹尼尔
相关软件: 伪光谱.jl;Eigtool;Chebfun…
主要字段:

沙拉三明治

1份文件引用(1991)
软件作者: 卡尔·麦克罗斯基;罗伊,卡纳德;Ken,水手
相关软件: 剑麻;米兰达;哈斯克尔
主要字段: 计算机科学(68-XX)

HEDES公司

1份文件引用(2000)
软件作者: 罗德·盖兹,M.J。;帕雷茨,J。;Paderewski,P。;Anaya,A。;M.V.赫塔多。
相关软件: 视觉作品
主要字段: 计算机科学(68-XX)

iCTRL键

1份文件引用(1999)
软件作者: 盖博·雷迪
相关软件:
主要字段: 计算机科学(68-XX)

贾克尔

1份文件引用(2019)
软件作者: Beyer,K.、Ercegovac,V.、Gemulla,R.、Balmin,A.、Eltabakh,M.、Kanne,C.-C.等人。
相关软件: 蜂巢;MapReduce
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

JCop公司

1份文件引用(2015)
软件作者: Robert Hirschfeld,麦芽上诉人
相关软件: 上下文FJ;轻量级Java
主要字段: 计算机科学(68-XX)

Jlnv公司

1份文件引用(2020年)
软件作者: 鲁托托·L·、特里斯特·E·、哈伯·E·。
相关软件: FANN;贝叶斯Py;Matlab…
主要字段: 计算机科学(68-XX)

卡纳克

1份文件引用(1995年)
软件作者: 塔雷克·穆罕默德·埃尔纳迪;艾伯特·胡格威伊斯
相关软件:
主要字段: 计算机科学(68-XX)

LS-LIB公司

1份文件引用(2009)
软件作者: 伊夫·波切特;马修·范·维夫;劳伦斯·A·沃尔西。
相关软件: bc-prod;莫塞尔;XPRESS公司
主要字段: 运筹学、数学规划(90-XX)

蒙博

1份文件引用(2006年)
软件作者: 阿克特穆尔,巴尔;萨姆·卡明
相关软件: 莫德
主要字段: 计算机科学(68-XX)

筛选结果依据…