Elimination procedures for mechanical theorem proving in geometry

From MaRDI portal
Publication:1924738

DOI10.1007/BF01531321zbMath0855.68090OpenAlexW2029256996MaRDI QIDQ1924738

Dongming Wang

Publication date: 20 October 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01531321



Related Items


Uses Software


Cites Work