×

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

切布芬

519份文件引用(2004–2024)
软件作者: Chebfun团队;A Driscoll、N.Hale、L.N.Trefehen
相关软件: Matlab;DLMF;切布冯2…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…

NQTHM公司

149份文件引用(1979–2022)
软件作者: 罗伯特·博伊尔(Robert S.Boyer)。;J.Strother摩尔
相关软件: HOL;ACL2;PVS…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);群论与推广(20-XX)…

RcppArmadillo公司

70篇文献引用(2012–2023)
软件作者: 罗曼·弗朗索瓦(Romain Francois)、德克·埃德布特尔(Dirk Eddelbuettel)、道格·贝茨(Doug Bates)
相关软件: R;Rcpp;犰狳…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

达夫尼

104篇文献引用(2010–2024)
软件作者: 鲁斯坦·莱诺
相关软件: z3;Why3;布吉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

VeriFast公司

75篇文献引用(2009–2023)
软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯
相关软件: 达夫尼;布吉;z3…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

Nitpick公司

78篇文献引用(1999–2023)
软件作者: Jasmin Christian布兰切特;托比亚斯·尼普科
相关软件: Isabelle/HOL;大锤;伊莎贝尔…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

利比亚中央银行

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

dSPIN公司

22篇文献引用(2000–2014)
软件作者: Demartini,C.,Iosif,R.,Sisto,R。
相关软件: 自旋蛋白;班德拉;Java PathFinder…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

ISTL公司

25篇文献引用(2007–2021)
软件作者: M.Blatt;P.巴斯蒂安
相关软件: DUNE;DuMuX;Gmsh…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

HipSpec(髋关节规范)

23篇文献引用(2013年-2023年)
软件作者: 科恩·克莱森;穆阿·约翰逊(Moa Johansson);丹·罗斯恩;尼古拉斯·斯莫尔博内
相关软件: IsaCoSy公司;VAMPIRE公司;CVC4…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MEXX公司

19份文件引用(1995–2019)
软件作者: 克里斯蒂安·卢比奇;乌尔里希·诺瓦克(Ulrich Nowak);乌维·普勒;克里斯蒂安·恩斯特勒
相关软件: 罗德斯;DASSL;MBSPACK…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

快速GCN

18篇文献引用(2020–2023)
软件作者: 陈杰、马腾飞、曹晓
相关软件: DeepWalk;亚当;PyTorch…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

LLWM公司

15篇文献引用(2013–2022)
软件作者: 尹福康;宋俊强;陆凤顺
相关软件:
主要字段: 实函数(26-XX);偏微分方程(35-XX);欧氏空间的调和分析(42-XX)…

MC公司++

在14份文件中引用(2012–2023)
软件作者: 查查特,B。
相关软件: libMC;安提戈内;BARON…
主要字段: 实函数(26-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

TIL公司

12份文件引用(1997–2022)
软件作者: 戴维·塔迪蒂(David Tarditi);克里斯·斯通(Chris Stone);格雷格·莫里塞特(Greg Morrisett);罗伯特·哈珀;佩里·程
相关软件: TALX6;哈斯克尔;ML…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

芝诺牌手表

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

里昂

12份文件引用(2014–2022)
软件作者: 雷吉斯·布兰科;维克多·昆卡(Viktor Kuncak);艾蒂安·克劳斯;菲利普·苏特
相关软件: CVC4;达夫尼;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

FFA库

11份文件引用(2003–2020)
软件作者: I.Tsukanov,M.霍尔
相关软件: 数学;E3SM;DiffSharp…
主要字段: 近似和展开(41-XX);数值分析(65-XX);变形固体力学(74-XX)…

加拉蒙

引用于9份文件(2019年-2023年)
软件作者: 圣菲省布雷伊斯;文森特·诺齐克;福斯,劳伦特
相关软件: ganja.js;github;Clifford Multivector工具箱…
主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);几何(51-XX)…

AURA公司

10篇文献引用(2008–2016)
软件作者: 贾利民;杰弗里·沃恩(Jeffrey A.Vaughan)。;Karl Mazurak;赵建洲;卢克·扎尔科;约瑟夫·肖尔(Joseph Schorr);史蒂夫·兹丹切维奇
相关软件: Coq;F*;Agda…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

CoCaml公司

引用于9份文件(2017–2023)
软件作者: Jeannin,Jean-Baptiste;德克斯特·科赞;亚历山大·席尔瓦
相关软件: CoALP;coFJ;Paco…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)

doRNG公司

4份文件引用(2017–2022)
软件作者: 雷诺·高茹(Renaud Gaujoux)
相关软件: foreach;do并行;R、 …
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

液化哈斯克尔

8份文件引用(2014–2023)
软件作者: 尼基·瓦祖;埃里克·塞德尔。;Jhala,Ranjit;Vytiniotis,Dimitrios;西蒙·佩顿·琼斯
相关软件: 哈斯克尔;z3;垫片…
主要字段: 计算机科学(68-XX)

SMCP公司

8份文件引用(2010–2023)
软件作者: Andersen,Martin S。;约阿希姆·达尔;利文·范登伯格
相关软件: 塞杜米;YALMIP;SDPLIB…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

PREVAIL公司

5份文件引用(1992–2014)
软件作者: 多米尼克·博里奥内;劳伦斯·皮埃尔;阿什拉夫·塞勒姆
相关软件: Nuprl公司;辅酶MTU;Coquet…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

普罗托斯-L

7份文件引用(1990–1996)
软件作者: 克里斯托夫·贝尔
相关软件: 序言
主要字段: 计算机科学(68-XX)

方程

6篇文献引用(2010–2020)
软件作者: 索索、马蒂厄
相关软件: Coq;精益;Idris…
主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)

IsaFoR公司

4份文件引用(2011–2016)
软件作者: 亚历山大·克劳斯;斯特纳格尔,克里斯蒂安;雷内·蒂曼;福斯、卡斯滕;吉尔根·吉斯尔
相关软件: Isabelle/HOL;CeTA;CoLoR…
主要字段: 计算机科学(68-XX)

PRECiSA公司

6篇文献引用(2018–2022)
软件作者: 蒂托洛,劳拉;马可·A·费利乌。;玛丽亚诺·莫斯卡托;塞萨尔·穆尼奥斯。
相关软件: RangeLab;z3;ASTREE…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

SMEAGOL公司

3份文件引用(2008–2009)
软件作者: A.R.Rocha、V.M.GarcíA-Suárez、S.Bailey、C.Lambert、J.Ferrer、S.Sanvito
相关软件: 蟒蛇;宽特;数字标识…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);光学、电磁理论(78-XX)…

DLV综合体

3份文件引用(2008–2009)
软件作者: 弗朗西斯科·卡利默里;苏珊娜·科萨;Giovambattista Ianni;尼古拉·莱昂内
相关软件: DLV-EX;OntoDLV;CiaoPP…
主要字段: 计算机科学(68-XX)

高性能sr

5份文件引用(2004–2016)
软件作者: T.M.费尔。;H.H.H.霍米埃。
相关软件: 数学;枫树
主要字段: 序列、级数、可加性(40-XX);近似和展开(41-XX);数值分析(65-XX)…

伊曼德拉

5份文件引用(2020–2022)
软件作者: 格兰特·奥尼·帕斯莫尔(Grant Olney Passmore)、西蒙·克鲁恩斯(Simon Cruanes)、丹尼斯·伊格纳托维奇(Denis Ignatovich)、戴夫·艾特肯(Dave Aitken)、马特·布雷(Matt Bray
相关软件: VAMPIRE公司;SMT-LIB;芝诺…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

RComp公司

5份文件引用(1995–2015)
软件作者: 伊斯坦·尼姆;马尔科·佩特科夫舍克
相关软件: 依赖关系;数学;JAMPACK…
主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…

ROBDD公司

5份文件引用(1992–2003)
软件作者: Brace,K.S。;伦德尔,R.L。;R.E.布莱恩特。
相关软件: NQTHM公司
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

安全壳

5份文件引用(2000–2007)
软件作者: 阿兰·迈克罗夫特(Alan Mycroft);理查德·夏普
相关软件: Handel-C;系统C;Cayenne…
主要字段: 计算机科学(68-XX)

Groebner_Bases公司

4份文件引用(2017–2019)
软件作者: 费比安·伊姆勒;亚历山大·马列茨基
相关软件: 多项式;Isabelle/HOL;深入学习(_L)…
主要字段: 交换代数(13-XX);计算机科学(68-XX)

努恰库

4份文件引用(2016–2022)
软件作者: 安德鲁·雷诺兹(Andrew Reynolds);Jasmin Christian布兰切特;西蒙·克鲁恩斯(Simon Cruanes);塞萨尔·蒂内利
相关软件: CVC4;z3;Nitpick…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

RADA公司

4份文件引用(2015–2018)
软件作者: Pham,T.,Whalen,M.W。
相关软件: CVC4;z3;大锤…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

经常性Jac

4份文件引用(2019年-2023年)
软件作者: 张欢、张鹏川、谢秋菊
相关软件: Reluplex;深度愚人;AI2…
主要字段: 实函数(26-XX);计算机科学(68-XX)

算法894

3份文件引用(2009–2011)
软件作者: 科卡里,S。
相关软件: mctoolbox;MATLAB实验;xLACON…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);数值分析(65-XX)

HOLCF公司

3份文件引用(2012–2017)
软件作者: 布莱恩·霍夫曼
相关软件: Isabelle/HOL;精益;马蒂塔…
主要字段: 计算机科学(68-XX)

IMP2_二进制_堆

3份文件引用(2008年至2020年)
软件作者: 西蒙·格里贝尔
相关软件: 促进;锈蚀;存档正式证据…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

部分DSA

3份文件引用(2012–2019)
软件作者: 凯伦·洛斯特里托;罗伯特·斯特劳德曼(Robert L.Strawderman)。;安妮特·莫利纳罗(Annette M.Molinaro)。
相关软件: 随机生存森林;聚会;randomForest…
主要字段: 统计学(62-XX)

TS公司#

2份文件引用(2014–2017)
软件作者: 尼基尔·斯瓦米;Fornet,塞德里克;拉斯托吉(Aseem Rastogi);Bhargavan,Karthikeyan;陈娟;支柱,Pierre-Yves;加文·比尔曼
相关软件: JavaScript;ProVerify;网址(Ur/Web)…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

算法848

2份文件引用(2005–2011)
软件作者: 斯宾塞·D·谢尔曼。;西科尔斯基,K。
相关软件: BEDFix;minpack;TENSOLVE公司
主要字段: 算子理论(47-XX);数值分析(65-XX)

情商

1份文件引用(2017)
软件作者: P.豹皮犬
相关软件: CP3d;Matlab;CAAsoft…
主要字段: 近似和展开(41-XX);流体力学(76-XX)

美国财务会计准则

2份文件引用(1998–1999)
软件作者: 拉尔夫·埃布纳(Ralf Ebner);亚历山大·法芬格
相关软件: 哈斯克尔
主要字段: 数值分析(65-XX);计算机科学(68-XX)

幽灵克星

2份文件引用(2016年至2019年)
软件作者: 特雷弗·L·麦克唐纳。;Timothy A.K.Zakian。;Cimini,Matteo公司;Ryan R.牛顿。
相关软件: 举起;转让;立方体…
主要字段: 计算机科学(68-XX)

瓜多尔

1份文件引用(2016)
软件作者: 大卫·哈丁;康拉德·斯林德(Konrad Slind);迈克尔·惠伦(Michael Whalen);团结Pham
相关软件: OpenSMT;MoCHi公司;RADA…
主要字段: 计算机科学(68-XX)

斜置RSF

1份文件引用(2019)
软件作者: 拜伦·C·杰格。;Long,D.Leann;Long,Dustin M。;马里奥·西姆斯;Jeff M.Szychowski。;Min,Yuan-I;Leslie A.McClure。;乔治·霍华德;诺亚·西蒙
相关软件: 倾斜RF;聚会;randomForestSRC…
主要字段: 统计学(62-XX)

海盗

2份文件引用(2015)
软件作者: Wand,D.,Weidenbach,C。
相关软件: 赶时髦的人;CVC4;HipSpec…
主要字段: 计算机科学(68-XX)

R程序

1份文件引用(2020年)
软件作者: 大卫·贝德纳雷克
相关软件: OPDOE公司
主要字段: 统计学(62-XX)

ReCaml公司

2份文件引用(2010)
软件作者: 杰雷米·布森;法比安·达格纳特
相关软件: 锌;埃尔朗;Coq…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

马来西亚令吉

2份文件引用(2019–2022)
软件作者: 范切·利托夫斯基
相关软件:
主要字段: 信息与通信理论,电路(94-XX)

SociaLite公司

1份文件引用(2022)
软件作者: Jiwon Seo;Stephen Guo;莫妮卡·S·林
相关软件: 普雷格尔;大数据日志;Naiad…
主要字段: 计算机科学(68-XX)

ADIL公司

1份文件引用(2014)
软件作者: 父亲理查德
相关软件: Matlab;枫树;PMAD公司
主要字段: 计算机科学(68-XX)

乏味的

在0个文档中引用
软件作者: 德克·埃德布特尔、卡尔·波提格、塞巴斯蒂安·吉布、科林·吉莱斯皮、扬·戈雷基、马特·琼斯、托马斯·利珀、史蒂文·帕夫、扬·舒尔茨
相关软件: R;詹金斯;纸箱…
主要字段:

HR-SQL公司

1份文件引用(2020年)
软件作者: 苏珊娜·尼娃;费尔南多·Sáenz-Pérez;桑切斯·埃尔南德斯,詹姆
相关软件: 酸;甲骨文;伊西查尔
主要字段: 计算机科学(68-XX)

备忘录

1份文件引用(2018)
软件作者: Simon Wimmer、Shuwei Hu、Tobias Nipkow
相关软件: 验证此;Isabelle/HOL;Coq公司
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

皮卡农

在0个文档中引用
软件作者: 朱迪思·萨因斯·帕尔多·迪亚斯、阿尔瓦罗·洛佩斯·加西亚
相关软件: ARX;UCI-ml;隐私…
主要字段:

葡萄藤

1份文件引用(2021)
软件作者: 袁振飞;胡太忠
相关软件: NetworkX;F2PY;安达尔…
主要字段: 统计学(62-XX)

qfratio公司

1份文件引用(2023)
软件作者: 渡边淳弥
相关软件: RcppEigen;EvolQG;HypergeoMat…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

ReBEL公司

1份文件引用(2004)
软件作者: van der Merwe,R。;万,E。
相关软件: 自动筛选;卡尔曼滤波工具箱;KALMTOOL…
主要字段: 系统论;对照(93-XX)

斯特拉塔洛

在0个文档中引用
软件作者: 沃伊西奇·沃伊西亚克(Wojciech Wojciak)、杰克·韦索洛夫斯基(Jacek Wesolowski)、罗伯特·威卓科夫斯基(Robert Wieczorkowski)
相关软件: 微基准;分层;采样地层…
主要字段:

符号数学

1份文件引用(1992)
软件作者: 黄伟光
相关软件:
主要字段: 数值分析(65-XX);计算机科学(68-XX)

t回收X

1份文件引用(2022)
软件作者: 阿明·斯克林齐
相关软件: 多氧;特征值;FFTW…
主要字段: 数值分析(65-XX);流体力学(76-XX)

TridiagLU公司

1份文件引用(2015)
软件作者: Debojyoti Ghosh
相关软件: ScaLAPACK;HyPar;斯派克
主要字段: 数值分析(65-XX);流体力学(76-XX)

修剪器

在0个文档中引用
软件作者: 詹姆斯·格兰奇
相关软件: 擅长;测试;开发工具…
主要字段:

二进制平滑

在0个文档中引用
软件作者: 大卫·J·亨特,麦卡利·德隆
相关软件:
主要字段:

支付款

在0个文档中引用
软件作者: 弗拉基米尔·巴甫洛维奇
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件