骑自行车的人 swMATH ID: 18519 软件作者: N Gorogannis公司 描述: Cyclist是一个基于序列演算构建循环定理证明器的框架。此外,多年来,已经集成了多个决策过程或算法,重点是带有归纳定义谓词的分离逻辑。有关构建Cyclist的信息、包含的可用工具以及支持这些工具的文件,请访问www.Cyclist-prover.org 主页: http://www.cyclist-prover.org 源代码: https://github.com/ngorogiannis/cyclist 相关软件: 幻灯片;HipSpec(髋关节规范);杀手;IsaCoSy公司;CVC4型;github;HIP(热等静压);VeriFast公司;捕食者;伊西查尔;伊莎贝尔/HOL;阿凡达;VAMPIRE公司;推断;增值税;小脚;核心之星;猫头鹰;LTL2BA公司;现场 引用于: 31文件 全部的 前5名62位作者引用 3 詹姆斯兄弟斯顿 3 达斯,阿努帕姆 3 斯特凡·赫兹尔 2 阿夫沙里语、巴哈雷语 2 斯特凡诺·贝拉尔迪 2 玛丽安娜·吉兰多 2 尼科斯·戈罗吉安尼斯 2 拉杜·奥西夫 2 雷米·诺列特 2 德克·帕丁森 2 亚历克西斯·索林 2 卢茨·施罗德 2 克里斯汀·塔森 2 Makoto Tatsuta 2 扬尼克·维林 2 汤姆·沃纳 1 贾斯敏·克里斯蒂安·布兰切特 1 阿齐姆·查德哈里 1 魏恩根·钦 1 马克西米利安·科朗格 1 杰罗姆·杜波伊斯 1 亚历山大·杜雷特·卢茨 1 塞巴斯蒂安·埃伯哈德 1 穆纳乔·埃切宁 1 康斯坦丁埃纳 1 亚历山大·巴吉迪·艾塞 1 Clément吉拉德 1 克里斯蒂娜·詹森 1 Max Iosifovich,卡诺维奇 1 Jens Katelaan公司 1 邱小成 1 安迪·金 1 亨利克·劳科 1 Le,Quang Loc公司 1 Le,Ton Chanh先生 1 Le,Xuan-Bach D。 1 格雷厄姆·埃米尔·利 1 Ondřej Lengál 1 安托万·马丁 1 克里斯托夫·马提亚 1 托马斯·梅迪奥尼 1 吉勒莫梅内德斯·图拉塔 1 直纪西田 1 诺尔,托马斯 1 尼古拉斯·佩尔蒂埃 1 安德烈·波佩斯库 1 艾蒂安·雷诺 1 弗洛里安·伦金 1 亚当·罗加列维奇 1 鲁本·罗伊,N.S。 1 Schlehuber Caissier,菲利普 1 Daniyar S.Shamkanov。 1 米哈埃拉·西希雷亚努 1 亚历克斯·K·辛普森。 1 兰吉特·辛格。 1 斯特拉图拉特,索林 1 Ta、Quang-Trung 1 加迪·特利兹 1 德米特里·特拉泰尔 1 多米尼克·韦尔 1 张淑君 1 弗洛里安·祖勒格 全部的 前5名8篇连载文章中引用 4 自动推理杂志 3 计算机科学中的逻辑方法 2 纯逻辑与应用逻辑年鉴 2 计算的形式方面 1 数学笔记 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 25 数学逻辑和基础(03-XX) 24 计算机科学(68至XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文