Automatic geometric theorem proving and discovering using (comprenshive) Groebner bases

• Autores: Dingkang Wang
• Localización: Applications of Computer Algebra: proceedings / coord. por Francisco Botana Ferreiro, Felipe Gago Couso, Manuel Ladra González, 2018, ISBN 978-84-16954-87-2, pág. 21
• Idioma: inglés
• Texto completo no disponible (Saber más ...)