×

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

马特里布

10篇文献引用(2020–2022)
软件作者: 弗洛里斯·范·道恩(Floris van Doorn);加布里埃尔·埃布纳;罗伯特·刘易斯(Robert Y.Lewis)。;mathlib社区
相关软件: 精益;Coq;Isabelle/HOL…
主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…

TiML公司

引用于8份文件(2018–2022)
软件作者: Wang,P.,Wang,D.,Chlipala,A。
相关软件: TcT;z3;分离逻辑…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿格利特

3份文件引用(2010–2017)
软件作者: 杰米·莫根斯坦(Jamie Morgenstern);丹尼尔·李卡塔(Daniel R.Licata)。
相关软件: 层流;哈斯克尔;Ynot…
主要字段: 计算机科学(68-XX)

LightDP(光DP)

4份文件引用(2017–2023)
软件作者: 张丹凤;丹尼尔·基弗
相关软件: 私人LR;河豚;z3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

鳄鱼

引用于2份文件(2011–2021)
软件作者: Colange,M。;Baarir,S。;Kordon,F。;蒂里·米格(Thierry-Mieg,Y.)。
相关软件: 海伦娜;AlPiNA;GreatSPN公司
主要字段: 计算机科学(68-XX)

筛选结果依据…