Elimination Theory in positive characteristic

• Carlos D'Andrea ^[1]
  1. [1] Universitat de Barcelona

     Universitat de Barcelona

     Barcelona, España

     
• Localización: XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 / coord. por Jónathan Heras Vicente , Ana Romero Ibáñez , 2016, ISBN 978-84-608-9024-9, págs. 11-12
• Idioma: inglés
• Enlaces
  • Texto Completo Libro (pdf)
• Referencias bibliográficas
  • [1] Abánades, M.A., Botana, F., Montes, A., Recio, T.: An algebraic taxonomy for locus computation in dynamic geometry, Computer-Aided Design...
  • [2] Botana, F., Recio, T.: Some issues on the automatic computation of plane envelopes in interactive environments, Mathematics and Computers...
  • [3] Botana, F., Hohenwarter, M., Jani£i¢, P., Kovács, Z., Petrovi¢, I., Recio, T., Weitzhofer, S.: Automated theorem proving in GeoGebra:...
  • [4] Johnson, L. E.: Automated Elementary Geometry Theorem Discovery via Inductive Diagram Manipulation. Master Thesis. Master of Engineering...
  • [5] Recio, T., Vélez, M.P.: Automatic discovery of theorems in elementary geometry, Journal of Automated Reasoning 23 (1999) 63-82