Completeness of a rewrite system for proving geometric theorems using Clifford algebra
From MaRDI portal
Publication:4810145
DOI10.1145/297049.297065zbMath1097.68571OpenAlexW2060388460MaRDI QIDQ4810145
Publication date: 1 September 2004
Published in: ACM SIGSAM Bulletin (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/297049.297065
This page was built for publication: Completeness of a rewrite system for proving geometric theorems using Clifford algebra
