×

骑自行车的人

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 弗洛里安·祖勒格

按年份列出的引文