×

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

新Dsc

15篇文献引用(2016–2023)
软件作者: 亚历山大·科贝尔(Alexander Kobel);Fabrice Rouillier公司;迈克尔·萨格拉洛夫
相关软件: 隔离;集群;仲裁…
主要字段: 组合数学(05-XX);代数几何(14-XX);复变量函数(30-XX)…

贝列坎·扎森豪斯

10篇文献引用(2017–2022)
软件作者: Jose Divasón、Sebastian Joosten、RenéThiemann、Akihisa Yamada
相关软件: Isabelle/HOL;伊莎贝尔;Coq…
主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…

基本原理第一集成

9份文件引用(2015–2022)
软件作者: Alin Bostan;奇泽·纪尧姆(Chèze,Guillaume);托马斯·克鲁索(Thomas Cluzeau);雅克·亚瑟·韦尔
相关软件: Lsolver;枫树;PSsolver…
主要字段: 几个复变量与解析空间(32-XX);常微分方程(34-XX);偏微分方程(35-XX)…

波普尔

5份文件引用(2021–2023)
软件作者: 高庆云、吕兆阳、翁翠薇、卢卡·丹尼尔、王毅、林大华
相关软件: Reluplex;马拉博;AI2…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);系统论;控制(93-XX)

NL认证

4份文件引用(2014–2017)
软件作者: 维克托·马格伦
相关软件: OCaml;Coq;索利娅…
主要字段: 数论(11-XX);近似和展开(41-XX);数值分析(65-XX)…

CertiStr证书

引用于2份文件(2022)
软件作者: Kan双龙、Anthony W.Lin、Philipp Rümmer、Micha Schrader
相关软件: CVC4;CLSAT;迷你卫星…
主要字段: 计算机科学(68-XX)

利普BaB

在0个文档中引用
软件作者: 阿里特拉·博米克;米纳克什·D’Souza;拉格哈万,G.斯里尼瓦萨
相关软件: 波普尔;TIRA;火炬差异…
主要字段: 计算机科学(68-XX)

布拉加方法

1份文件引用(2022)
软件作者: 多米尼克·拉切·温德林(Dominique Larchey-Wendling);Jean-François莫宁
相关软件: OCaml;CompCert;Coq公司
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件