Automated production of traditional proofs in solid geometry
type: Item
instance of: scholarly article
title: Automated production of traditional proofs in solid geometry
zbMATH Open document ID: 0824.03005
DOI: 10.1007/BF00881858
author: Shang-Ching Chou
author: Xiao-Shan Gao
author: Jingzhong Zhang
published in: Journal of Automated Reasoning
publication date: 1995-11-09T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 51M15
Mathematics Subject Classification ID: 51M25
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 759359
zbMATH Keywords: constructive geometry
zbMATH Keywords: straight lines
zbMATH Keywords: plane
zbMATH Keywords: circle
zbMATH Keywords: sphere
zbMATH Keywords: tetrahedron
zbMATH Keywords: Euclidean traditional proofs
zbMATH Keywords: volume method
zbMATH Keywords: solid geometry
MaRDI profile type: Publication
cites work: Q4234209
cites work: Q5635941
cites work: Q4234211
cites work: Problems and Experiments for and with Automated Theorem-Proving Programs
cites work: Q3668379
cites work: Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
description: scientific article; zbMATH DE number 759359