Automated reducible geometric theorem proving and discovery by Gröbner basis method
type: Item
instance of: scholarly article
title: Automated reducible geometric theorem proving and discovery by Gröbner basis method
zbMATH Open document ID: 1425.68383
author: Jie Zhou
author: Yao Sun
author: Dingkang Wang
published in: Journal of Automated Reasoning
publication date: 2018-02-22T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 51M04
zbMATH DE Number: 6842148
zbMATH Keywords: zero divisor
zbMATH Keywords: true on components
zbMATH Keywords: Gröbner basis
zbMATH Keywords: geometric theorem proving
zbMATH Keywords: geometric theorem discovery
describes a project that uses: PGB
MaRDI profile type: Publication
full work available at URL: s10817-016-9395-z
OpenAlex ID: W2551115919
cites work: On protocols for the automated discovery of theorems in elementary geometry
cites work: Q4391214
cites work: A new decision method for elementary algebra
cites work: Q4391215
cites work: Q4153620
cites work: Basic principles of mechanical theorem proving in elementary geometries
cites work: Q3994509
cites work: Proving geometry theorems with rewrite rules
cites work: On the application of Buchberger's algorithm to automated geometry theorem proving
cites work: Q3273607
cites work: Automated Deduction in Geometry
cites work: Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
cites work: Automatic discovery of theorems in elementary geometry
cites work: Q5203713
cites work: Comprehensive Gröbner bases
cites work: An alternative approach to comprehensive Gröbner bases
cites work: A new algorithm for computing comprehensive Gröbner systems
cites work: A new algorithm for discussing Gröbner bases with parameters.
cites work: Gröbner bases for polynomial systems with parameters
cites work: Q5301685
cites work: Canonical comprehensive Gröbner bases
cites work: Minimal canonical comprehensive Gröbner systems
cites work: Q3413659
DOI: 10.1007/S10817-016-9395-Z
description: scientific article; zbMATH DE number 6842148