贝博普 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)…
垫片 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)…
懒惰的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)
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)…
害虫 引用于2份文件(2018–2020) 软件作者: Costa,G.、Basin,D.、Bodei,C.、Degano,P.、Galletta,L。 相关软件: TCT;MuDiv;libFAUDES… 主要字段: 计算机科学(68-XX)
QSYM公司 1份文件引用(2023) 软件作者: Yun I、Lee S、Xu M、Jang Y、Kim T。 相关软件: 内乌兹;FuzzGen公司;DifFuzz… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
STEWord公司 引用于2份文件(2017–2020) 软件作者: 查克拉波蒂,苏普拉蒂克;苏拉布哈西达什维利;Carl-Johan H.Seger。;拉杰库马尔·加贾维利;坦马·霍尔丹卡尔(Tanmay Haldankar);恰塔尼(Chhatani)、迪内什(Dinesh);拉凯什·米斯特里 相关软件: MiniSat;ABC;数学SAT5… 主要字段: 计算机科学(68-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… 主要字段: –
符号DNN-Tuner 1份文件引用(2022) 软件作者: 米歇尔·弗拉卡罗利;伊芙琳娜·拉姆;法布里西奥·里古齐 相关软件: PRMLT;ProxylessNAS;DARTS… 主要字段: 计算机科学(68-XX)