×

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

PVS公司

617文件引用(1993年-2023年)
软件作者: Sam Owre、Natarajan Shankar、John Rushby
相关软件: Coq;Isabelle/HOL;HOL…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

ACL2型

287份文件引用(1998–2023)
软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore)
相关软件: Coq;Isabelle/HOL;PVS…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…

PolyBoRi公司

50篇文献引用(2008–2023)
软件作者: 亚历山大·德雷耶(Alexander Dreyer);迈克尔·布里肯斯坦
相关软件: 单一;SageMath;岩浆…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);交换代数(13-XX)…

网络服务提供商

9份文件引用(2008–2018)
软件作者: 科马克·弗拉纳根;帕特丽斯·戈德弗里德
相关软件: KLEE公司;自旋蛋白;veriSoft…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

埃德蒙兹-卡普

10篇文献引用(2016–2022)
软件作者: 彼得·兰米奇(Peter Lammich);塞菲加·雷扎
相关软件: Isabelle/HOL;存档正式证据;Gabow SCC…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…

tK目标

6篇文献引用(2005–2008)
软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥·普格利泽
相关软件: 科莱姆;琳达;克拉瓦…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PREVAIL公司

5份文件引用(1992–2014)
软件作者: 多米尼克·博里奥内;劳伦斯·皮埃尔;阿什拉夫·塞勒姆
相关软件: Nuprl;辅酶MTU;Coquet…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

懒惰的CSeq

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

SCE灯

4份文件引用(2014–2020)
软件作者: 德尼古拉(De Nicola)、罗科(Rocco);阿尔贝托卢克·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔(Andrea Morichetta);罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐
相关软件: SCEL;自旋蛋白;琳达…
主要字段: 计算机科学(68-XX)

阿斯特拉维尔

引用于2份文件(2021–2022)
软件作者: Grigoriy Volkov、Mikhail Mandrykin、Denis Efremov
相关软件: Coq;Why3;Dafny…
主要字段: 计算机科学(68-XX)

ENFORCe公司

3份文件引用(2019–2020)
软件作者: Azab,K.,Habel,A.,Pennemann,K.H.,Zuckschwerdt,C。
相关软件: OCLinEcore公司;OCL2AC;凹槽…
主要字段: 计算机科学(68-XX)

JavaSPI(JavaSPI)

1份文件引用(2018)
软件作者: 里卡多·西斯托;比塔萨·科佩特(Bettasa Copet),皮尔吉乌塞佩(Piergiuseppe);阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂
相关软件: MJ;AGVI;Bouncy Castle…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

Metamath零

3份文件引用(2020–2023)
软件作者: 马里奥·卡内罗
相关软件: CakeML;Isabelle/HOL;Coq…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PyBioNet适配

1份文件引用(2020)
软件作者: 密特拉,ED;苏德曼,R。;科尔文,J。;艾伦科夫。;胡,A。;索罗,HM;RG波斯纳;拉瓦切克,WS
相关软件: COPASI;AMIGO公司;碲…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX)

验证器

3份文件引用(2016年至2019年)
软件作者: 高弘久保田;Kakutani、Yoshihiko;加藤,加油;川野康仁;樱田秀树
相关软件: QPL;质量管理清单;QPMC…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

哈尔

引用于2份文件(1992–1993)
软件作者: 锡涅布·哈巴斯
相关软件:
主要字段: 计算机科学(68-XX)

霍尔巴

引用于2份文件(2020–2022)
软件作者: 迪德里克·伦德伯格(Didrik Lundberg);罗伯特·瓜夏莱(Roberto Guanciale);安德烈亚斯·林德纳;达姆,麦兹
相关软件: RGITL;达夫尼;GNAT证明…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

从未

引用于2份文件(2011年至2018年)
软件作者: 卢卡·普利纳(Luca Pulina);阿曼多·塔切拉
相关软件: Matlab;OPQ;Roboop…
主要字段: 特殊功能(33-XX);计算机科学(68-XX)

蓝色(BLUEVERI)

1份文件引用(2014)
软件作者: 阿列克谢·利沃夫;Lastras-Montaño,Luis A。;巴里·特拉格(Barry Trager);维雷什·帕鲁西;罗伯特·沙多文;阿里·埃尔·泽因
相关软件: 稳定;单一
主要字段: 交换代数(13-XX);信息与通信理论,电路(94-XX)

标高82

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

EthVer公司

1份文件引用(2021)
软件作者: 尤卡斯·马祖雷克
相关软件: 曼蒂科尔;甲氰菊酯;Why3…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

宠物老板

1份文件引用(2018)
软件作者: 余存溪;亚辛,阿蒂夫;苏天凯;阿兰·米什琴科(Alan Mishchenko);梅西耶·西塞尔斯基
相关软件: ABC;稳定;单一
主要字段: 计算机科学(68-XX)

伍特

1份文件引用(2022)
软件作者: 盖拉尔德·奥斯特;帕斯卡·乌尔索;帕斯卡·莫利;阿卜杜萨马德·伊明
相关软件: Logoot;伍基;woot-haskell…
主要字段: 计算机科学(68-XX)

FEVS公司

在0个文档中引用
软件作者: 斯蒂芬·西格尔(Stephen F.Siegel)、蒂莫西·齐科尔(Timothy K.Zirkel)
相关软件:
主要字段:

筛选结果依据…