Mechanical Theorem Proving in Tarski’s Geometry

doi 10.1007/978-3-540-77356-6_9
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Cryptographically Sound Theorem Proving

English

Theorem Proving in Higher Order Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Automated Theorem Proving in a Chat Environment

EasyChair Preprints
2018English

The Complexity of Theorem-Proving Procedures

1971English

Proof Simplification and Automated Theorem Proving

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Comparing Unification Algorithms in First-Order Theorem Proving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Modal Theorem Proving: An Equational Viewpoint

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1992English

ELIOS-OBJ Theorem Proving in a Specification Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy