自由女性++ 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)
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)…
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)
阿尔巴 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)
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)…
时代广场 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)…
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)
特征工具 在0个文档中引用 软件作者: 杰里·奥西(Jerey S.Oishi)、基顿·J·伯恩斯(Keaton J.Burns)、S.E.Clark、埃文·安德斯(Evan H.Anders)、本杰明·布朗(Benjamin P.Brown)、杰弗里·瓦西尔(Geoffrey M.Vasil)、丹尼尔 相关软件: 伪光谱.jl;Eigtool;Chebfun… 主要字段: –
HEDES公司 1份文件引用(2000) 软件作者: 罗德·盖兹,M.J。;帕雷茨,J。;Paderewski,P。;Anaya,A。;M.V.赫塔多。 相关软件: 视觉作品 主要字段: 计算机科学(68-XX)
贾克尔 1份文件引用(2019) 软件作者: Beyer,K.、Ercegovac,V.、Gemulla,R.、Balmin,A.、Eltabakh,M.、Kanne,C.-C.等人。 相关软件: 蜂巢;MapReduce 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
LS-LIB公司 1份文件引用(2009) 软件作者: 伊夫·波切特;马修·范·维夫;劳伦斯·A·沃尔西。 相关软件: bc-prod;莫塞尔;XPRESS公司 主要字段: 运筹学、数学规划(90-XX)