Filters
Automated Theorem Proving in Loop Theory
The paper compares performance of various automated theorem provers on automatically proved theorems in loop theory....
BA - Obecná matematika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Automated Theorem Proving Systems
This article describes the process of theorem proving and number of experiments of theorem provers that were run in order to evaluate the most appropriate implementation for automated theorem proving
IN - Informatika
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Experimenting with Machine Learning in Automated Theorem Proving,
Experimenting with Machine Learning in Automated Theorem Proving...
BA - Obecná matematika
- 1999 •
- D
Rok uplatnění
D - Stať ve sborníku
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....
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On Proving and Discovering Theorems by Computer
conjectures. With CAS we do rigorous proofs. The theory of automated geometry theorem proving is demonstrated with examples.Proofs of mathematics theorems belong to the most difficult part of mathematics. In this ...
AM - Pedagogika a školství
- 2011 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Experiments with Machine Learning in Automatic Theorem Proving
Experimenting with Machine Learning in Automated Theorem Proving...
BA - Obecná matematika
- 1999 •
- D
Rok uplatnění
D - Stať ve sborníku
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides
The formula for the area of a cyclic pentagon in terms of its side lengths using the method of Grőbner bases computation in automated theorem proving is given. Anglicky: The formula for the area of a cyclic pentagon in term...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
The CADE-25 Automated Theorem Proving system competition - CASC-25
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-25 was the twentieth competition in the CASC series. Twenty-seven ATP systems ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2016 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
External Sources of Axioms in Automated Theorem Proving
Automatic Theorem Proving (ATP) problems in large theories often have more axioms than can be effectively handled in memory. This work adresses the issues of accessing external sources of axioms from a first-order logic ATP system....
JC - Počítačový hardware a software
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Deriving Geometry Theorems by Automated Tools
Derivation of geometry theorem belongs to mighty tools of automated geometry theorem proving. By elimination of suitable variables in the system of algebraic equations describing a geometric situation we get requir...
AM - Pedagogika a školství
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 37 113