Automated theorem proving in quasigroup and loop theory

J.D. Phillips; David Stanovsky

首页> 外文期刊>AI communications >Automated theorem proving in quasigroup and loop theory

【24h】

Automated theorem proving in quasigroup and loop theory

机译：拟群和环论中的自动定理证明

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal descriptions of selected problems, and compare the performance of selected state-of-the art first order theorem provers on them. Our analysis yields some surprising results, e.g., the theorem prover most often used by loop theorists does not necessarily yield the best performance.

机译：我们调查了在准定理和循环理论领域中所有已知的结果，这些结果是借助自动定理证明者获得的。我们提供选定问题的非正式和正式描述，并比较选定的最新一阶定理证明者在其上的表现。我们的分析得出了一些令人惊讶的结果，例如循环理论家最常使用的定理证明者不一定能产生最佳性能。

著录项

来源
《AI communications》 |2010年第3期|p.267-283|共17页
作者
J.D. Phillips; David Stanovsky;
展开▼
作者单位

Northern Michigan University, Marquette, MI, USA;

rnFaculty of Mathematics and Physics, Charles University, Prague, Czech Republic;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
automated theorem proving; loop theory; non-associative algebra;

机译：自动定理证明;循环理论非缔合代数;

相似文献

外文文献
中文文献
专利

1. A symbolic finite-state approach for automated proving of theorems in combinatorial game theory [J] . Thanatipanonda T, Zeilberger D Journal of difference equations and applications . 2009,第2期

机译：组合博弈论中自动证明定理的符号有限状态方法
2. Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers [J] . Ansotegui Carlos, Bofill Miguel, Manya Felip, Fuzzy sets and systems . 2016,第Juna1期

机译：带有可满足模理论求解器的多值逻辑的自动定理证明
3. An automated prover for Zermelo-Fraenkel set theory in Theorema [J] . Wolfgang Windsteiger Journal of symbolic computation . 2006,第3a4期

机译：Thermema中Zermelo-Fraenkel集理论的自动证明者
4. Automated Theory Exploration for Interactive Theorem Proving An Introduction to the Hipster System [C] . Moa Johansson International conference on interactive theorem proving . 2017

机译：交互式定理的自动化理论探索，证明了行家系统
5. Using experimental mathematics to conjecture and prove theorems in the theory of partitions and commutative and non-commutative recurrences. [D] . Russell, Matthew Christopher. 2016

机译：用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
6. Behavioural implications of traditional treatment and closed-loop automated insulin delivery systems in Type 1 diabetes: applying a cognitive restraint theory framework [O] . A. R. Kahkoska, E. J. Mayer-Davis, K. K. Hood, -1

机译：1型糖尿病中传统治疗和闭环自动胰岛素递送系统的行为含义：应用认知约束理论框架
7. Classification results in quasigroup and loop theory via a combination of automated reasoning tools [O] . Sorge, Volker, Colton, Simon, McCasland, Roy, 2008

机译：通过自动推理工具的组合，分类产生准群和循环理论
8. Automated Theorem Proving in the Theory of Approximate Reasoning, with Applications to Logic Programming and Expert Systems. [R] . Schwartz, D. G. 1991

机译：近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。

Automated theorem proving in quasigroup and loop theory

摘要

著录项

相似文献

相关主题

期刊订阅