Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry

• Autores: Yihong Wu, Hongbo Li
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 36, Nº 5, 2003, págs. 717-762
• Idioma: inglés
• Texto completo no disponible (Saber más ...)