Vectorial equations solving for mechanical geometry theorem proving
type: Item
instance of: scholarly article
title: Vectorial equations solving for mechanical geometry theorem proving
zbMATH Open document ID: 0959.03008
DOI: 10.1023/A:1006182023017
published in: Journal of Automated Reasoning
publication date: 2000-10-03T00:00:00Z
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 1513270
zbMATH Keywords: area method
zbMATH Keywords: mechanical geometry theorem proving
zbMATH Keywords: vectorial equations solving
zbMATH Keywords: Clifford algebra
author: Hongbo Li
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1513270