新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)
CertiStr证书 引用于2份文件(2022) 软件作者: Kan双龙、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件: CVC4;CLSAT;迷你卫星… 主要字段: 计算机科学(68-XX)
布拉加方法 1份文件引用(2022) 软件作者: 多米尼克·拉切·温德林(Dominique Larchey-Wendling);Jean-François莫宁 相关软件: OCaml;CompCert;Coq公司 主要字段: 计算机科学(68-XX)