Representation and automated transformation of geometric statements
type: Item
instance of: scholarly article
title: Representation and automated transformation of geometric statements
zbMATH Open document ID: 1314.68301
author: Xiao-Yu Chen
published in: Journal of Systems Science and Complexity
publication date: 2015-01-27T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68U05
zbMATH DE Number: 6391217
zbMATH Keywords: automated diagram drawing
zbMATH Keywords: equivalent transformation
zbMATH Keywords: formalized geometric statements
zbMATH Keywords: geometric automated theorem proving
describes a project that uses: GEOTHER 1.1
describes a project that uses: GCLCprover
describes a project that uses: GeoThms
describes a project that uses: SymbolicData
describes a project that uses: Intergeo
describes a project that uses: GeoGebra
describes a project that uses: Electronic Geometry Textbook
describes a project that uses: TGTP
describes a project that uses: GCLC
MaRDI profile type: Publication
full work available at URL: s11424-014-0316-0
OpenAlex ID: W2110271642
cites work: Automated reasoning in geometry
cites work: Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
cites work: GCLC — A Tool for Constructive Euclidean Geometry and More Than That
cites work: Geometry constructions language
cites work: GeoThms -- a web system for Euclidean constructive geometry
cites work: Cross-Curriculum Search for Intergeo
cites work: Mathematical Knowledge Management
cites work: Q3994509
cites work: Optik mit GeoGebra
cites work: GEOTHER: A geometry theorem prover
cites work: Q5550848
cites work: Automated Deduction in Geometry
DOI: 10.1007/S11424-014-0316-0
description: scientific article; zbMATH DE number 6391217