×

Found 14 Documents (Results 1–14)

Automatic construction and verification of isotopy invariants. (English) Zbl 1214.68337

Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 36-51 (2006).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Bridging theorem proving and mathematical knowledge retrieval. (English) Zbl 1098.68696

Hutter, Dieter (ed.) et al., Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-25051-4/pbk). Lecture Notes in Computer Science 2605. Lecture Notes in Artificial Intelligence, 277-296 (2005).
MSC:  68T15 68T30 68P20
PDFBibTeX XMLCite
Full Text: DOI

A new set of algebraic benchmark problems for SAT solvers. (English) Zbl 1128.68476

Bacchus, Fahiem (ed.) et al., Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26276-8/pbk). Lecture Notes in Computer Science 3569, 459-466 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Automatic generation of classification theorems for finite algebras. (English) Zbl 1126.68562

Basin, David (ed.) et al., Automated reasoning. Second international joint conference, IJCAR 2004, Cork, Ireland, July 4–8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22345-2/pbk). Lecture Notes in Computer Science 3097. Lecture Notes in Artificial Intelligence, 400-414 (2004).
MSC:  68T15 08-04 20-04
PDFBibTeX XMLCite
Full Text: DOI

Proof development with \(\Omega\)MEGA. (English) Zbl 1072.68591

Voronkov, Andrei (ed.), Automated deduction - CADE-18. 18th international conference, Copenhagen, Denmark, July 27–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43931-5). Lect. Notes Comput. Sci. 2392, 144-149 (2002).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: Link

Employing theory formation to guide proof planning. (English) Zbl 1072.68582

Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 275-289 (2002).
MSC:  68T15 68W30
PDFBibTeX XMLCite
Full Text: Link

Classifying isomorphic residue classes. (English) Zbl 1023.68883

Moreno-Díaz, Roberto (ed.) et al., Computer aided systems theory - EUROCAST 2001. A selection of papers from the 8th international workshop, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2178, 494-508 (2001).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: Link

Distributed assertion retrieval. (English) Zbl 0996.68510

Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 7 p. (2001).
MSC:  68P20
PDFBibTeX XMLCite
Full Text: Link

Exploring properties of residue classes. (English) Zbl 0986.68132

Kerber, Manfred (ed.) et al., Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6-7, 2000. Natick, MA: A. K. Peters. 175-190 (2001).
MSC:  68T15
PDFBibTeX XMLCite

\(\Omega\)mega: towards a mathematical assistant. (English) Zbl 1430.68393

McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 252-255 (1997).
MSC:  68V15 68V20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software