Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving
From MaRDI portal
Publication:2461488
DOI10.1007/s11425-007-0076-6zbMath1130.68091MaRDI QIDQ2461488
Publication date: 28 November 2007
Published in: Science in China. Series A (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11425-007-0076-6
affine geometry; geometric invariance; mechanical theorem proving; bracket algebra; affine bracket algebra
DB lookup for MSC labels failed
Uses Software