×

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

贝博普

71篇文献引用(2000–2022)
软件作者: 托马斯·鲍尔(Thomas Ball,Sriram K.Rajamani)
相关软件: 自旋蛋白;班德拉;SLAM…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

分享

38篇文献引用(1992–2024)
软件作者: 罗宾·萨纳(Robin Sahner);Trivedi,Kishor S。;安东尼奥·普利亚菲托
相关软件: 莫比乌斯;SPNP;智能_…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

短讯服务

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

X夏季

34份文件引用(2006–2023)
软件作者: 莫赫,S。;尤尔,P。
相关软件: 嵌套金额;Hypexp;表格…
主要字段: 数论(11-XX);代数几何(14-XX);特殊功能(33-XX)…

评估多和

32篇文献引用(2013–2023)
软件作者: 卡斯滕·施耐德
相关软件: SIGMA;谐波和;表格…
主要字段: 数论(11-XX);场论与多项式(12-XX);特殊功能(33-XX)…

垫片

30篇文献引用(2015–2023)
软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基
相关软件: z3;CVC4;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

AI2公司

27篇文献引用(2020年至2024年)
软件作者: Gehr,T.、Mirman,M.、Drachsler-Cohen,D.、Tsankov,P.、Chaudhuri,S.、Vechev,M.T。
相关软件: Reluplex;马拉博;ImageNet…
主要字段: 代数几何(14-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

Feyn助手

13份文件引用(2017–2023)
软件作者: 弗拉迪斯拉夫·什塔博文科
相关软件: FeynCalc;包装-X;FeynArts…
主要字段: 代数拓扑(55-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

雷克斯

11份文件引用(2011–2023)
软件作者: 韦恩斯,M。;De Halleux,P。;蒂尔曼,N。
相关软件: MONA;z3;DART…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

ARGES公司

5份文件引用(2021–2023)
软件作者: 丹尼尔·利蒂姆(Daniel F.Litim)、汤姆·斯特特纳(Tom Steudtner)
相关软件: 莎拉;峰值电阻@TE;RGBeta…
主要字段: 特殊功能(33-XX);代数拓扑(55-XX);计算机科学(68-XX)…

6篇文献引用(2010–2020)
软件作者: Gurfinkel,A.,Chaki,S。
相关软件: 停机坪;不明飞行物;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

雅可比2.0

7份文件引用(2001–2021)
软件作者: 马丁·科勒(Martin Kröger);胡特,马库斯;汉斯·克里斯蒂安·厄廷格
相关软件: Mathematica;地理统计;SymPy公司
主要字段: 动力系统与遍历理论(37-XX);微分几何(53-XX);数值分析(65-XX)…

学校芯片

7份文件引用(1979–2020)
软件作者: H.斯特鲁布
相关软件: 表格;FeynCalc;减少…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

FInAT公司

3份文件引用(2018–2019)
软件作者: R.C.Kirby,D.A.Ham
相关软件: 咖啡;TSFC;UFL…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)

HyComp公司

6篇文献引用(2017–2022)
软件作者: A.Cimatti、A.Griggio、S.Mover、S.Tonetta
相关软件: nuXmv;CTIGAR;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

普法费安

6篇文献引用(2011–2021)
软件作者: González-Ballestero,C。;Robledo,L.M。;伯奇,G.F。
相关软件: 算法923;BLAS;SageMath…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

超级加州

3份文件引用(1991–1998)
软件作者: W.M.塞勒
相关软件: 小茴香;减少;数学…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

懒惰的CSeq

4份文件引用(2015–2018)
软件作者: 弗拉基米尔·赫特;Le,Hoang M。;丹尼尔·格罗(Daniel Große);罗尔夫·德雷克斯勒
相关软件: CBMC;Cseq;MU-CSeq…
主要字段: 计算机科学(68-XX)

洞穴堆积

5份文件引用(2010–2022)
软件作者: 玛格斯·维纳斯(Margus Veanes);尼古拉·蒂尔曼;乔纳森·德·哈勒克斯
相关软件: z3;Z3str3;陌生人…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

TIIREC公司

3份文件引用(2018)
软件作者: Yu,L。;黄,J。;周,G。;刘,C。;Z.-K.张。
相关软件: 卢万;Boids;图形范围…
主要字段: 运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

FeynOnium公司

4份文件引用(2020年至2024年)
软件作者: Nora Brambilla、Hee Sok Chung、Vladyslav Shtabovenko、Antonio Vairo
相关软件: FeynCalc;费恩规则;FeynHelpers…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);代数拓扑(55-XX)…

版本X

4份文件引用(2020–2022)
软件作者: Permenev,A.、Dimitrov,D.、Tsankov,P.、Drachsler-Cohen,D.、Vechev,M。
相关软件: solc验证;落叶松;埃菲尔…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

软盘

1份文件引用(2016)
软件作者: Lakhotia,K.、Tillmann,N.、Harman,M.、de Halleux,J。
相关软件: 奥斯汀;CBMC;DART…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

URBiVA公司

3份文件引用(2010–2014)
软件作者: 马里奇,菲利普;贾尼契奇,普雷德拉格
相关软件: 萨齐拉;MiniSat;糖…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

标志符号

1份文件引用(2020)
软件作者: 马库斯四人组;朱利安·痛风;马库斯·阿贝尔
相关软件: DEAP;OpenMLC-Python;ZeroMQ…
主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)

HepLib公司

1份文件引用(2023)
软件作者: 冯峰、谢义凡、周秋晨、唐善荣
相关软件: 戈萨姆;CalcHEP;CompHep…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

HOAD_运动乐趣

引用于2份文件(2016–2018)
软件作者: 伊莎贝·沙彭蒂埃
相关软件: DLMF;阿博加斯特;狂犬病…
主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)

新加坡金融管理局

引用于2份文件(2014–2015)
软件作者: 马来亚,N.,Estacio-Hiroms,K.C.,Stogner,R.H.,Schulz,K.W.,Bauman,P.T.,Carey,G.F。
相关软件: Spalart-Allmaras;libMesh;PETSc…
主要字段: 可变形固体力学(74-XX);流体力学(76-XX)

多元动力系列

1份文件引用(2021)
软件作者: 穆罕默德·阿萨迪(Mohammadali Asadi)、亚历山大·勃兰特(Alexander Brandt)、马赫萨·卡泽米(Mahsa Kazemi)、马克·莫雷诺·马扎(Marc Moreno Maza)、埃里克·波斯塔
相关软件: SageMath;枫树;NTL…
主要字段: 交换代数(13-XX);计算机科学(68-XX)

马斯皮

在0个文档中引用
软件作者: Hao-Wen Dong、Ke Chen、Julian McAuley、Taylor Berg-Kirkpatrick
相关软件: 音乐变形金刚;PyTorch;相当中型…
主要字段:

NEWEUL公司

引用于2份文件(1989–1990)
软件作者: 沃尔夫冈·赫施贝格(Wolfgang Hirschberg);迪特尔·施拉姆
相关软件: DEtools;Alkahest III;SPDE…
主要字段: 场论与多项式(12-XX);常微分方程(34-XX);微分几何(53-XX)…

奥里斯

1份文件引用(2005)
软件作者: 贾科莫·布奇;劳拉·卡内瓦利;洛伦佐·里迪;恩里科·比卡里奥
相关软件: TINA;Uppaal;时间…
主要字段: 计算机科学(68-XX)

害虫

引用于2份文件(2018–2020)
软件作者: Costa,G.、Basin,D.、Bodei,C.、Degano,P.、Galletta,L。
相关软件: TCT;MuDiv;libFAUDES…
主要字段: 计算机科学(68-XX)

纯净

引用于2份文件(2017)
软件作者: 阿尔伯特·格拉夫
相关软件: 蒙特勒;MONAA;时间模式匹配…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

QSYM公司

1份文件引用(2023)
软件作者: Yun I、Lee S、Xu M、Jang Y、Kim T。
相关软件: 内乌兹;FuzzGen公司;DifFuzz…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

RAML公司

引用于2份文件(2017年至2021年)
软件作者:
相关软件: OCaml;AProVE;KoAT…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

STEWord公司

引用于2份文件(2017–2020)
软件作者: 查克拉波蒂,苏普拉蒂克;苏拉布哈西达什维利;Carl-Johan H.Seger。;拉杰库马尔·加贾维利;坦马·霍尔丹卡尔(Tanmay Haldankar);恰塔尼(Chhatani)、迪内什(Dinesh);拉凯什·米斯特里
相关软件: MiniSat;ABC;数学SAT5…
主要字段: 计算机科学(68-XX)

ccgrg公司

1份文件引用(2016)
软件作者: Woszczyna,A.等人,
相关软件: NPspinor;核电厂
主要字段: 相对论与引力理论(83-XX);天文学和天体物理学(85-XX)

十一82

1份文件引用(2016)
软件作者: 埃里克·科斯金(Eric Koskinen);杨俊峰
相关软件: PostgreSQL;爆炸;SQC…
主要字段: 计算机科学(68-XX)

FABULA公司

1份文件引用(1999)
软件作者: 北卡罗来纳州加里尼亚。;Khegaj,Zh。E.公司。
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

通货膨胀.jl

1份文件引用(2023)
软件作者: 罗萨蒂(R.Rosati)。
相关软件:
主要字段: 相对论和引力理论(83-XX)

JAX-dip程序

1份文件引用(2023)
软件作者: Pouria A.Mistani。;萨米拉·帕克拉万;拉杰什·伊兰戈;弗雷德里克·吉布
相关软件: JAXopt;DGM;DeepONet;…(D)…
主要字段: 偏微分方程(35-XX);数值分析(65-XX)

JUGE公司

在0个文档中引用
软件作者: Xavier Devroey、Alessio Gambi、Juan Pablo Galeotti、RenéJust、Fitsum Kifetew、Annibale Panichella、Sebastiano Panichella
相关软件: EvoSuite;JUnit公司;缺陷4J…
主要字段:

音乐(musicaiz)

在0个文档中引用
软件作者: 卡洛斯·埃尔南德斯·奥利文(Carlos Hernandez-Olivan),何塞·贝尔特兰(Jose R.Beltran)
相关软件: 音乐变形金刚;PyTorch;MMM…
主要字段:

符号计算

1份文件引用(2014)
软件作者: Youngjoo Chung
相关软件: 数学软件
主要字段: 计算机科学(68-XX)

符号DNN-Tuner

1份文件引用(2022)
软件作者: 米歇尔·弗拉卡罗利;伊芙琳娜·拉姆;法布里西奥·里古齐
相关软件: PRMLT;ProxylessNAS;DARTS…
主要字段: 计算机科学(68-XX)

TXINT公司

1份文件引用(2011年)
软件作者: 马库斯·沃勒伯格;凯萨琳娜·伊根伯格;Josef Schweinzer;弗里德里希·奥梅尔
相关软件:
主要字段: 量子理论(81-XX)

维也纳数学

1份文件引用(2014)
软件作者: 卡尔·鲁普
相关软件: 交易.ii;仙人掌;维也纳电网…
主要字段: 数值分析(65-XX)

libmatheval的

在0个文档中引用
软件作者: 阿列克桑达尔·萨马尔季奇
相关软件:
主要字段:

米拉马思

在0个文档中引用
软件作者: 匿名厨师
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件