×

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

水蝇

404文件引用(2000–2024)
软件作者: 波皮内特,斯特芬
相关软件: PROST;蜥蜴;SLIC…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

PSI-爆炸

141份文件引用(1999–2022)
软件作者: Altschul,S.F.、Madden,T.L.、Schäffer,A.A.、Zhang,J.、Zhang,Z.、Miller,W.、Lipman,D.J。
相关软件: 爆炸;Pfam;UniProt…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

TetGen公司

212篇文献引用(2006–2024)
软件作者: Hang Si公司
相关软件: 三角形;Gmsh;CGAL…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

有限元分析

引用于213份文件(1993–2024)
软件作者: 泰勒;加州大学伯克利分校
相关软件: PETSc;ABAQUS;FEAPpv…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

联合

183份文件引用(1988–2021)
软件作者: K.Mani Chandy;贾亚德夫·米斯拉
相关软件: NQTHM;PVS;霍尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PYTHIA8公司

154份文件引用(2006–2023)
软件作者: T.Sjöstrand、S.Mrenna、P.Z.Skands
相关软件: MadGraph;赫维格++;FastJet…
主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…

费曼图

133篇文献中引用(2000–2024)
软件作者: 哈根·埃克;塞普·库布贝克
相关软件: FormCalc;费恩规则;FeynCalc…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

CMPGRD公司

129篇文献引用(1990年至2024年)
软件作者: Chesshire,G。;W.D.亨肖。
相关软件: 奥根;溢流;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

萨奇莫

92份文件引用(1988–2023)
软件作者: Manthey,R.,Bry,F。
相关软件: TPTP;水獭;SETHEO…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);群论和推广(20-XX)…

投掷

59篇文献引用(2005–2022)
软件作者: 帕特丽斯·戈德弗里德;尼尔斯·克拉伦德;库什克森
相关软件: 可爱的;z3;KLEE…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

植物

79份文件引用(1999–2024)
软件作者: G.Brinkmann,B.D.McKay
相关软件: 组织环境信息系统;图形之家;GENREG…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);流形和细胞复合体(57-XX)…

基瓦-2

71篇文献引用(1987–2023)
软件作者: Amsden,A.A。;Orourke,P.J。;巴特勒,T.D。
相关软件: KIVA-4;数据包;CHEMKIN…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

可爱的

50篇文献引用(2003–2022)
软件作者: Koushik Sen;达科·马里诺夫;古尔阿加
相关软件: 投掷;z3;KLEE…
主要字段: 数学逻辑与基础(03-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

发现者

66份文件中引用(1999–2023)
软件作者: 夏B
相关软件: QEPCAD;枫树;红线批注…
主要字段: 代数几何(14-XX);常微分方程(34-XX);数值分析(65-XX)…

ADBASE公司

64篇文献引用(1983–2019)
软件作者: 斯图尔R.E。
相关软件: EFFACET公司;TRIMAP;BENSOLVE…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

利比亚中央银行

60篇文献引用(2009–2023)
软件作者: 查查特,B
相关软件: 安提戈内;BARON公司;MAiNGO…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

SHERPA公司

50篇文献引用(2010–2024)
软件作者: T.格莱斯伯格;S.Hoche;F.克劳斯;M.Schonherr;S.Schumann;F Siegert;J.冬季
相关软件: MadGraph;PYTHIA8;Herwig++…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

CeTA公司

49篇文献引用(2009–2023)
软件作者: 雷内·蒂曼;克里斯蒂安·斯特纳格尔
相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);交换代数(13-XX)…

米高梅2.0

在48份文件中引用(2007–2023)
软件作者: G.Bélanger、F.Boudjema、A.Pukhov、A.Semenov
相关软件: 微囊藻;柔软;计算HEP…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

SPRNG公司

45篇文献引用(1990–2022)
软件作者: M.Mascagni、A.Srinivasa
相关软件: 测试U01;MersenneTwister;死忠…
主要字段: 数论(11-XX);统计学(62-XX);数值分析(65-XX)…

割刀1

在48份文件中引用(1995–2023)
软件作者: Gau,T.、Wäscher,G。
相关软件: OR-库;CPLEX;背包…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);运筹学、数学规划(90-XX)

GEX公司

34份文件引用(1996–2023)
软件作者: Gao,X.-S.等。
相关软件: GeoGebra;日本国债交易所;GCLC…
主要字段: 数学逻辑与基础(03-XX);几何(51-XX);数值分析(65-XX)…

香皂

28篇文献引用(2010–2021)
软件作者: 李瑞强;李英瑞;卡斯滕·克里斯蒂安森(Karsten Kristiansen);王军(Jun Wang)
相关软件: BWA;Samtools;BLAT…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

模块

39篇文献引用(1985–2018)
软件作者: 伯纳杜,M。;哈西姆,A。;Laug,P。;转向,D。;维德拉斯库,M。;E.萨尔特尔。
相关软件: mpi4py;UFL;宠物…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

短信

38篇文献引用(1997–2023)
软件作者: 乔·科勒克
相关软件: Mathematica;AceFEM;AceGen…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

ASF+SDF

32篇文献引用(1996–2022)
软件作者: 范登·布兰德,M.G.J。;van Deursen,A。;海林,J。;德容,H.A。;de Jonge,M。
相关软件: Stratego;莫德;ATERM…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

派克斯

23篇文献引用(2009–2018)
软件作者: 尼古拉·蒂尔曼(Nikolai Tillmann)、乔纳森·德哈勒克斯(Jonathan de Halleux)
相关软件: 投掷;可爱的;z3…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

ZKBoo公司

34份文件引用(2016–2023)
软件作者: 贾科梅利,I.,马德森,J.,奥兰迪,C。
相关软件: 利格罗;力比奥;天秤座…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

苯丙胺类兴奋剂

33篇文献引用(2001–2023)
软件作者: Costas G.帕帕佐普洛斯。
相关软件: HELAC;CutTools;MadGraph…
主要字段: 拓扑群,李群(22-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…

人力资源

引用于27份文件(2002–2022)
软件作者: 西蒙·科尔顿
相关软件: 涂鸦;水獭;梅斯4…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

LanHEP项目

24篇文献引用(1998–2022)
软件作者: A.V.塞梅诺夫
相关软件: CalcHEP;费恩规则;FeynArts…
主要字段: 偏微分方程(35-XX);经典热力学,传热(80-XX);量子理论(81-XX)…

ELIZA公司

12份文件引用(1972–2023)
软件作者: 约瑟夫·魏岑鲍姆
相关软件: 联邦政府;github;cuDNN…
主要字段: 历史与传记(01-XX);群论与推广(20-XX);统计学(62-XX)…

戈勒姆95

25篇文献引用(2009–2020)
软件作者: T.Binoth,J.-Guillet博士,G.Heinrich,E.Pilon,T.Reiter
相关软件: CutTools;黑帽;SAMURAI…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

ESIGN公司

24篇文献引用(1991–2022)
软件作者: 藤冈,Atsushi;冈本,Tatsuaki;宫崎骏,Shoji
相关软件: 哈瓦尔
主要字段: 历史与传记(01-XX);数论(11-XX);数值分析(65-XX)…

打开AD/F

23篇文献引用(2007–2022)
软件作者: Jean Utke;乌韦·诺曼;Mike Fagan;内森·塔伦特;米歇尔·米尔斯(Michelle Mills),斯特劳特(Strout);帕特里克·海姆巴赫;克里斯·希尔(Chris Hill);卡尔·温施
相关软件: 锥体;ADIFR;ADOL-C…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

第页

20篇文献引用(1996–2018)
软件作者: 弗洛里安·马丁
相关软件: NINJA公司;BLAS;MPI/MPICH…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)…

底座/弹簧

19份文件引用(1995–2015)
软件作者: 川端康成,Setsuya
相关软件: Mathematica;12月第二节;FormCalc…
主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-XX)

性能确认4

19份文件引用(2019–2023)
软件作者: M.J.Kannwischer、J.Rijneveld、P.Schwabe、K.Stoffelen。
相关软件: github;凯伯;SIKE…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

第三章

11份文件引用(2001–2020)
软件作者: 黄小秋;安努普·马丹
相关软件: 爆炸;PSI-爆炸;ClustalW…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

西姆利布

14篇文献引用(2009–2023)
软件作者: Digonnet H、Silva L、Coupez T
相关软件: FELSOS;PROST;Gmsh…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

西格玛*

14篇文献引用(2013–2022)
软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić)
相关软件: 拉利布;libalf;z3…
主要字段: 计算机科学(68-XX)

芝诺牌手表

14篇文献引用(2012–2022)
软件作者: William Sonnex;索菲亚·德罗索波卢;苏珊·艾森巴赫
相关软件: HipSpec;SMT-LIB;CVC4…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

JSMAA公司

12份文件引用(2012–2022)
软件作者: 特沃宁,T。
相关软件: diviz;M-MACBETH;定义…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

悉尼商学院

13份文件引用(2014–2021)
软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克
相关软件: z3;vZ;OptiMathSAT…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

ANUPQ公司

12份文件引用(1997–2022)
软件作者: M.F.纽曼;E.A.O'Brien;Gamble,G.,Nickel公司
相关软件: 间隙;SmallGroups库;岩浆…
主要字段: 组合数学(05-XX);数论(11-XX);非结合环与代数(17-XX)…

BitBlaze公司

引用于7份文件(2012–2023)
软件作者: D.X.Song、D.Brumley、H.Yin、J.Caballero、I.Jager、M.G.Kang、Z.Liang、J.Newsome、P.Poosankam、P.Saxena
相关软件: BAP;KLEE公司;Dytan…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

EnergyPlus公司

10篇文献引用(2014–2020)
软件作者: Crawley,D.B.、Lawrie,L.K.、Winkelmann,F.C.等人。
相关软件: 蟒蛇;Eppy;原型…
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…

快速行动计划

12份文件引用(1979–2003)
软件作者: 杰拉尔德·科恩。
相关软件: BOSOR5;VICONOPT公司;熊猫
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);运筹学、数学规划(90-XX)

iDynoR公司

11份文件引用(2014–2022)
软件作者: 基兰·奥尔登,Jan-Ulrich Kreft
相关软件: BiofilmSim;BacSim;Matlab…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

YFSWW3号机组

11份文件引用(2001–2012)
软件作者: S.Jadach、W.Placzek、M.Skrzypek、B.F.L.Ward、Z.Was
相关软件: KoralW;KK;KorWan…
主要字段: 代数几何(14-XX);数值分析(65-XX);量子理论(81-XX)…

LLRANDOM公司

10篇文献引用(1975–2017)
软件作者: G.P.Learmonth;P.A.W.刘易斯
相关软件: COMSOL公司;IMSL数字库;测试U01…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

nj公式

10篇文献引用(1994–2010)
软件作者: 法克,V。;Pitre,S.N。;范德杰格特(J.Van der Jeugt)。
相关软件: NJGRAF;COEFANG1;新闻稿…
主要字段: 组合数学(05-XX);结合环与代数(16-XX);非结合环与代数(17-XX)…

科尔西卡

8份文件引用(2011–2022)
软件作者: 迪特尔·赫克;Tanguy Pierog;J.Oehlschläger;R.恩格尔
相关软件: R;GEANT4;物理单位…
主要字段: 统计学(62-XX);计算机科学(68-XX);量子理论(81-XX)…

DelPhi Web服务器

9份文件引用(2013–2023)
软件作者: Subhra Sarkar、Shawn Witham、Jie Zhang、Maxim Zheirovskyy、Walter Rocchia、Emil Alexov
相关软件: PDB2PQR;MIBPB;FEniCS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

计划CY4F

9份文件引用(2012–2023)
软件作者: 安斯加·丹尼、斯蒂芬·迪特迈尔、亚历山大·穆克
相关软件: RACOONWW公司;2衰减;政变…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

精炼一元

9份文件引用(2014–2020)
软件作者: 彼得·兰米奇
相关软件: Isabelle/HOL;存档正式证据;Gabow SCC…
主要字段: 组合数学(05-XX);常微分方程(34-XX);数值分析(65-XX)…

塞瓦

4份文件引用(1989–2002)
软件作者: N.公园;A.C.帕克
相关软件: MAHA;MIMOLA公司;森林狼…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)…

视觉简单

9份文件引用(2006–2010)
软件作者: T.Dunne;R.贝克尔
相关软件: 天然气;RoDoBo;HiFlow3…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

快速GPL

6篇文献引用(2022–2024)
软件作者: 王宇轩、杨利林、周斌
相关软件: handyG;LiteRed;火灾…
主要字段: 特殊功能(33-XX);计算机科学(68-XX);量子理论(81-XX)

F外壳

6篇文献引用(2010–2016)
软件作者: 安德烈亚斯·霍尔泽(Andreas Holzer);克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格(Michael Tautschnig);赫尔穆特·维思
相关软件: Java PathFinder;CPA检查员;RapiTime…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

原分子

8份文件引用(2003–2015)
软件作者: Matthey,Thierry;特雷弗·奇科夫斯基;斯科特·汉普顿;Ko,Alice;马群;马修·尼尔吉斯(Matthew Nyerges);特洛伊州雷德;托马斯·斯拉巴赫;耶苏斯·A·伊扎古尔。
相关软件: OOMPAA;GSHMC;MPI…
主要字段: 数值分析(65-XX);流体力学(76-XX);量子理论(81-XX)…

P检查

引用于7份文件(2013–2021)
软件作者: R.伊斯特、H.芬克尔、N.罗斯
相关软件: 除霜;格子设计;PyCOOL…
主要字段: 势能理论(31-XX);粒子和系统力学(70-XX);经典热力学,传热(80-XX)…

阿里加托.jl

引用于7份文件(2018–2023)
软件作者: 安德烈亚斯·休门伯格(Andreas Humenberger);马克西米利安·亚罗斯切克;劳拉·科瓦奇
相关软件: 鳄鱼;SymPy;z3…
主要字段: 总体主题;藏品(00-XX);交换代数(13-XX);计算机科学(68-XX)

阿尔巴

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

基岩

6篇文献引用(2017–2022)
软件作者: 亚当·克利帕拉
相关软件: Coq;工具链;VST-Floyd…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

BS搜索器

6篇文献引用(2012–2022)
软件作者: Chen,P.Y.、S.J.Cokus、M.Pellegrini
相关软件: BSMAP;俾斯麦;B平滑…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

埃克拉特

引用于3份文件(2007–2011)
软件作者: 卡洛斯·帕切科;迈克尔·D·恩斯特
相关软件: JCrasher;罗斯特拉;Symstra…
主要字段: 计算机科学(68-XX)

H-PILoT公司

6篇文献引用(2009–2021)
软件作者: Carsten Ihlemann,Viorica Sofrone-Stokkermans公司
相关软件: z3;红线;草蜢…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

塔拉

引用于7份文件(1999年-2010年)
软件作者: 托马斯·德格纳
相关软件:
主要字段: 总体主题;藏品(00-XX);代数几何(14-XX);流形和细胞复合体(57-XX)…

VIATOC公司

6篇文献引用(2017–2022)
软件作者: Kalmari,J.、Backman,J.和Visala,A。
相关软件: ACADO;qpOASES;GRAMPC…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

宏碁

4份文件引用(2010–2021)
软件作者: B.P.Kersevan;E.Richter-Was公司
相关软件: 蟒蛇;维加斯;主持人…
主要字段: 数值分析(65-XX);量子理论(81-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

自适应

引用于3份文件(2000–2019)
软件作者: M.J.Voss、R.Eigenmann
相关软件: 精密路径指示器;OSKI;FFTW…
主要字段: 计算机科学(68-XX)

年龄

6篇文献引用(2019–2024)
软件作者: 古铁雷斯,劳尔;萨尔瓦多卢卡斯
相关软件: 证明人9;Mace4;莫德…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿尔法

6篇文献引用(1999–2005)
软件作者: D.K.王尔德。
相关软件: MMAlpha;PolyLib;OPERA…
主要字段: 计算机科学(68-XX)

BARD(酒吧)

6篇文献引用(2011–2022)
软件作者: 迈克尔·奥特曼(Micah Altman)、迈克尔·麦克唐纳(Michael P.McDonald)
相关软件: 公平处理;GerryChain;MIPLIB…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

BSMAP公司

5份文件引用(2012–2022)
软件作者: Xi,Y。;W.李
相关软件: BS搜索器;俾斯麦;蝴蝶结2…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

云爆发(CloudBurst)

2份文件引用(2013–2018)
软件作者: 迈克尔·C·沙茨
相关软件: 肥皂;RF女士;MapReduce…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

CPBPV公司

4份文件引用(2010–2023)
软件作者: 赫莱内·科拉维扎;米歇尔·鲁赫(Michel Rueher);帕斯卡·范·亨特利克
相关软件: TCAS;CBMC;VIPR…
主要字段: 计算机科学(68-XX)

FLS公司

6篇文献引用(1988–1996)
软件作者: 罗伯特·卡拉巴(Robert Kalaba);尼玛·拉萨胡;Leigh Tesfatsion公司
相关软件: 沙扎姆
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;对照(93-XX)

焦点测试

6篇文献引用(2011–2018)
软件作者: 卡利埃、马蒂厄;凯瑟琳·杜布瓦(Catherine Dubois);阿尔诺·哥特利布
相关软件: 快速检查;Coq;SmallCheck…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

KoralW公司

6篇文献引用(2000–2010)
软件作者: S.Jadach、W.Placzek、M.Skrzypek、B.F.L.Ward、Z.Was
相关软件: YFSWW3;KK;道拉…
主要字段: 数值分析(65-XX);量子理论(81-XX);相对论和引力理论(83-XX)

LMS公司

5份文件引用(2010–2022)
软件作者: 蒂亚克·隆普夫(Tiark Rompf),马丁·奥德斯基(Martin Odersky)
相关软件: 科卡;博客;TMB…
主要字段: 计算机科学(68-XX)

先知

4份文件引用(2017–2023)
软件作者: 长,风扇;马丁·里纳德
相关软件: SemFix;安吉利克斯;缺陷4J…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

PushGP(推送GP)

引用于3份文件(2002–2023)
软件作者: Crawford-Marks R、Spector L。
相关软件: 推动;PyshGP;SQLizer…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

辛巴

4份文件引用(2001–2010)
软件作者: Systä,Tarja;Koskimies,Kai;穆勒,豪西
相关软件: 里吉;代码爬虫;SkuAVisit…
主要字段: 计算机科学(68-XX)

StEAM公司

引用于3份文件(2004–2011)
软件作者: 彼得·莱文(Peter Leven);蒂尔曼·梅勒;斯特凡·爱德坎普
相关软件: 自旋蛋白;卫星抗体;Zing…
主要字段: 计算机科学(68-XX)

三角误差

6篇文献引用(2012–2020)
软件作者: 冈纳·布林克曼;Goedgebeur,Jan;施拉盖·普赫塔(Schlage-Puchta,Jan-Chritoph)
相关软件: 图形之家;鹦鹉螺;OEIS…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

仄洛斯

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

ALE公司

引用于3份文件(1992–2005)
软件作者: 卡彭特,B.,G.Penn
相关软件: 语法矩阵;斯里兰卡银行
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

合作建设者

4份文件引用(1990–2011)
软件作者: 阿里·萨比比;Buchs、Didier;马修·布福;斯坦尼斯拉夫·查奇科夫;陈,昂;大卫·赫泽勒
相关软件: 莫德;PNML;阿尔皮纳
主要字段: 计算机科学(68-XX)

EXPRESS(快递)

4份文件引用(1983–2016)
软件作者: 北卡罗来纳州舒。;豪斯,不列颠哥伦比亚省。;泰勒,R.W。;Ghosh,S.P。;卢姆,V.Y。
相关软件:
主要字段: 计算机科学(68-XX)

功能计数

5份文件引用(2016–2018)
软件作者: 廖毅(Liao Y)、斯密思(Smyth GK)、史伟(Shi W)
相关软件: R;生物导体;edgeR…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

GYutsis公司

5份文件引用(2004–2021)
软件作者: Van Dyck,D。;V·法克。
相关软件: RACAH;NJGRAF;新闻稿…
主要字段: 组合数学(05-XX);特殊功能(33-XX);计算机科学(68-XX)…

讨价还价

5份文件引用(2010–2015)
软件作者: T·赖特。
相关软件: 表格;戈勒姆95;剪切工具…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)

哈普西姆

5份文件引用(2010–2023)
软件作者: 乔瓦尼·蒙大纳
相关软件: SPMGBA;Matlab;估算…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

梅兰妮二世

4份文件引用(1999–2009)
软件作者: 阿佩尔,R。;巴尔加斯,J。;帕拉吉,P。;Walther,D。;霍赫斯特拉瑟。
相关软件:
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

马格西

4份文件引用(2013–2022)
软件作者: 塞缪尔·安吉奥利(Samuel V.Angiuoli)、史蒂文·萨尔茨伯格(Steven L.Salzberg)
相关软件: 肌肉;HMMER;莫夫…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

渗透

引用于3份文件(2011–2017)
软件作者: Bardin,S.、Herrmann,P。
相关软件: CBMC;GATeL;z3…
主要字段: 计算机科学(68-XX)

PLuTo公司

5份文件引用(2012–2022)
软件作者: Bondhugula,U.、Hartono,A.、Ramanujam,J.、Sadayappan,P。
相关软件: github;CompCertTSO;火焰…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)

PRMAT公司

5份文件引用(2002–2012)
软件作者: 桑德兰,A.G。;C.J.诺布尔。;V.M.伯克。;P.G.伯克。
相关软件: ScaLAPACK;FGH;数字…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

筛选结果依据…

全部的 前5名

相关软件