Proving Elementary Geometry Theorems Using Wu’s Algorithm
Year: 1984
Type: book-chapter
DOI: 10.1090/conm/029/14
Author: Shang-Ching Chou
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4236039804
