中国保监会 swMATH ID: 6202 软件作者： 多雷尔·卢卡努；Eugen Ioan的Goriac；乔治亚娜·卡尔泰斯；格里高·罗什乌 描述： Circ是一种基于循环原则的自动行为证明程序。循环原则概括了循环归纳法和结构归纳法，可以用通俗英语表达如下。假设每个感兴趣的方程（待证明）e都包含一个冻结形式fr（e）和一组导出的方程及其导数Der（e）。圆度原理要求以下规则有效：如果从假设H和fr（e）中我们可以推导出Der（e），那么e是H的结果。当fr（e）在顶部冻结方程时，圆度原理就变成了圆的共归纳。当方程被冻结在变量的底部时，它就变成了结构归纳法（在该变量上）的推导规则。通过这种方式，Circ支持将合成和归纳作为更一般原则的投影。 主页： 网址：http://fsl.cs.uiuc.edu/index.php/Circ 相关软件： 莫德;OBJ咖啡馆;CASL公司;伊莎贝尔/HOL;Coq公司;CITP公司;阿格达;哈斯克尔;CoCasl公司;伊莎贝尔;z3（零3）;K校准仪;OBJ3型;存档正式证据;组织环境信息系统;Nuprl公司;AProVE公司;蒂罗尔（Tyrolean）;HOL灯;水 引用于： 43文件 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 中国保监会：基于循环共创的行为验证工具。 兹比尔1239.68066多雷尔·卢卡努;欧根·伊安·戈里亚克;乔治亚娜·卡尔泰斯;格里高·罗什乌 2009 CIRC：一种循环共导谚语。 Zbl 1214.68336号多雷尔·卢卡努;格里高·罗什乌 2007 全部的 前5名54位作者引用 11 多雷尔·卢卡努 8 格里高·罗什乌 7 简·J·M·M·鲁顿。 5 马塞洛·玛丽亚·邦桑格 5 亚历山德拉·席尔瓦 4 乔治亚娜·卡尔泰斯 4 汉斯·赞特马 三 高基町五指 三 欧根·伊安·戈里亚克 三 Kazuhiro绪方 三 安德烈·波佩斯库 2 贾斯敏·克里斯蒂安·布兰切特 2 菲利波·邦奇 2 维南西奥·卡普雷塔 2 拉兹万·迪亚科内斯库 2 恩德鲁利斯，约尔格 2 丹尼尔·加恩 2 格里戈拉什 2 马丁斯（Manuel António Martins） 2 朱里安·罗特 2 弗拉德·鲁苏 2 德米特里·特拉泰尔 1 奥曼·波霍拉，约翰内斯 1 奥纳·安德烈 1 有本，安仁 1 安德烈·阿鲁索艾 1 谢尔盖·巴本尼舍夫 1 雷娜·巴赫西 1 巴博萨、路易斯·索亚雷斯 1 艾默里·布齐 1 千叶，Yuki 1 科恩、利隆 1 索尔伦·哈拉·埃纳尔斯多蒂尔 1 吉登·恩斯特 1 埃尔萨·甘特。 1 戈帕尔·古普塔 1 Helle Hvid Hansen先生 1 迪米特里·亨德里克斯 1 穆阿·约翰逊 1 德克斯特·C·科赞。 1 库普克，克莱门斯 1 皮埃尔·莱斯坎 1 安德烈亚斯·洛赫比勒 1 亚历山大·马德拉 1 米拉德·尼基 1 德克·帕丁森 1 马蒂厄·佩里内尔 1 阿德里安·里斯科 1 鲁本·罗伊，N.S。 1 埃尔默·萨拉扎 1 卢茨·施罗德 1 安德烈·特夫内斯库 1 Ţuţu，伊奥努 1 张敏 全部的 前5名11连载 2 信息与计算 2 计算的形式方面 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 Studia Logica公司 1 理论计算机科学 1 符号计算杂志 1 计算机科学中的数学结构 1 函数编程杂志 1 应用逻辑杂志 在4个字段中引用 42 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 2 范畴理论；同调代数（18-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文