Automated deduction and knowledge management in geometry
type: Item
instance of: scholarly article
title: Automated deduction and knowledge management in geometry
zbMATH Open document ID: 1474.68453
author: Pedro Quaresma
published in: Mathematics in Computer Science
publication date: 2021-02-25T00:00:00Z
Mathematics Subject Classification ID: 68V15
Mathematics Subject Classification ID: 51-08
Mathematics Subject Classification ID: 68V30
zbMATH DE Number: 7315540
zbMATH Keywords: automated deduction in geometry
zbMATH Keywords: knowledge management in geometry
zbMATH Keywords: dynamic geometry
cites work: GEX
cites work: Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
cites work: Automated theorem proving in GeoGebra: current achievements
cites work: Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part III
cites work: Towards an Automated Geometer
cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
cites work: Automated reasoning in geometry
cites work: Machine Proofs in Geometry
cites work: Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
cites work: Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
cites work: Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
cites work: Representation and automated transformation of geometric statements
cites work: Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence
cites work: Graph-based knowledge representation. Computational foundations of conceptual graphs
cites work: Q4079605
cites work: Automated reasoning in geometry theorem proving with Prolog
cites work: Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
cites work: Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
cites work: Proof Technology in Mathematics Research and Teaching
cites work: GCLC — A Tool for Constructive Euclidean Geometry and More Than That
cites work: The area method. A recapitulation
cites work: Automatic Verification of Regular Constructions in Dynamic Geometry Systems
cites work: Using Gröbner bases to reason about geometry problems
cites work: The Relation Tool in GeoGebra 5
cites work: Q4525303
cites work: Twenty Years of Rewriting Logic
cites work: Portfolio theorem proving and prover runtime prediction for geometry
cites work: A formalization of geometric constraint systems and their decomposition
cites work: A graphical user interface for formal proofs in geometry
cites work: The simplest axiom system for plane hyperbolic geometry
cites work: Current Status of the I2GATP Common Format
cites work: Taxonomies of geometric problems
cites work: Automated development of Tarski's geometry
cites work: Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
cites work: Automatic Deduction in an AI Geometry Book
cites work: Q4254919
cites work: Automatic discovery of theorems in elementary geometry
cites work: A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
cites work: The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
cites work: Q5807665
cites work: Logic and structure
cites work: Q4840652
cites work: OpenGeo: An Open Geometric Knowledge Base
cites work: Q3700870
cites work: Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
cites work: An Introduction to Java Geometry Expert
describes a project that uses: GEX
describes a project that uses: Coq
describes a project that uses: GeoThms
describes a project that uses: GCLCprover
describes a project that uses: Intergeo
describes a project that uses: Maude
describes a project that uses: ArgoCLP
describes a project that uses: Electronic Geometry Textbook
describes a project that uses: TGTP
describes a project that uses: Opengeo
describes a project that uses: JGEX
describes a project that uses: GATP
describes a project that uses: Cinderella
describes a project that uses: GeoGebra
describes a project that uses: GCLC
describes a project that uses: TPTP
describes a project that uses: GeoProof
describes a project that uses: Automath
describes a project that uses: OpenGeoProver
describes a project that uses: WGL

Automated deduction and knowledge management in geometry (MaRDI profile type)
MaRDI profile type: Publication

Automated deduction and knowledge management in geometry (full work available at URL)
full work available at URL: s11786-020-00489-7

Automated deduction and knowledge management in geometry (OpenAlex ID)
OpenAlex ID: W3037133231

Automated deduction and knowledge management in geometry (DOI)
DOI: 10.1007/S11786-020-00489-7

Automated deduction and knowledge management in geometry (Recommended article)
Recommended article: Automated reasoning in geometry
Similarity Score: 0.9485134
Recommender Run: Recommender Run 3

Automated deduction and knowledge management in geometry (Recommended article)
Recommended article: Q5718720
Similarity Score: 0.9320115
Recommender Run: Recommender Run 3

Automated deduction and knowledge management in geometry (Recommended article)
Recommended article: A deductive database approach to automated geometry theorem proving and discovering
Similarity Score: 0.91955733
Recommender Run: Recommender Run 3

Automated deduction and knowledge management in geometry (Recommended article)
Recommended article: Q4946075
Similarity Score: 0.91716796
Recommender Run: Recommender Run 3

Automated deduction and knowledge management in geometry (Recommended article)
Recommended article: Automatted geometry theorem proving
Similarity Score: 0.9143534
Recommender Run: Recommender Run 3

Automated deduction and knowledge management in geometry (Recommended article)
Recommended article: Automated reasoning in geometry theorem proving with Prolog
Similarity Score: 0.9083194
Recommender Run: Recommender Run 3

Automated deduction and knowledge management in geometry (Recommended article)
Recommended article: Automatic Deduction in an AI Geometry Book
Similarity Score: 0.9074211
Recommender Run: Recommender Run 3

Automated deduction and knowledge management in geometry (Recommended article)
Recommended article: Q3486876
Similarity Score: 0.9042473
Recommender Run: Recommender Run 3

Automated deduction and knowledge management in geometry (Recommended article)
Recommended article: Q3804232
Similarity Score: 0.901651
Recommender Run: Recommender Run 3