Project MTM2014-54141-P
Publications
Published Papers

List of published papers generated as a result of the research activity developed in the frame of the project.
  1. Abánades, M.A., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C. (2016). "Automated discovery of elementary geometry theorems: First steps". Proceedings ICMS 2016. Springer Lecture Notes in Computer Science (LNCS), Volume 9725. pp.37-42.
  2. Abánades, M.A., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C. (2016)."Development of automatic reasoning tools in GeoGebra". Proceedings ISSAC 2016. ACM Communications in Computer Algebra (to appear).
  3. Alcázar J.G., Caravantes J., Díaz Toca G.M. (2015), "A new method to compute the singularities of offsets to rational plane curves", Journal of Computational and Applied Mathematics 290 (2015) 385-402, DOI 10.1016/j.cam.2015.06.001
  4. Alcázar J.G., Hermoso C. (2016), "Involutions of polynomially parametrized surfaces", Journal of Computational and Applied Mathematics 294 (2016) 23-38, DOI 10.1016/j.cam.2015.08.002
  5. Alcázar J.G., Goldman R. (2016), "Finding the Axis of Revolution of an Algebraic Surface of Revolution", to appear in IEEE Transactions on Visualization and Computer Graphics, DOI 10.1109/TVCG.2015.2498602
  6. D. Aruliah, R. Corless, G.M. Díaz-Toca, L. González-Vega and A. Shakoori (2015). "The Bézout Matrix for Hermite Interpolants". Linear Algebra and its Applications 474 (2015), 12--29. doi:10.1016/j.laa.2015.02.001
  7. Botana, F., Hohenwarter, M., Janicic, P., Kovacs, Z., Petrovic, I., Recio, T., Weitzhofer, S. (2015). "Automated theorem proving in GeoGebra: current achievements", Journal of Automated Reasoning 55 (2015) 39-59 DOI 10.1007/s10817-015-9326-4
  8. Botana, F., Recio, T. On the unavoidable uncertainty of truth in dynamic geometry proving. Mathematics in Computer Science, Vol. 10 (1), 5-25, 2016.
  9. Botana, F., Recio, T. Computing envelopes in dynamic geometry environments. AMAI (Annals of Mathematics and Artificial Intelligence), 2016, Online version
  10. Caravantes J., Gonzalez-Vega L, Piñera A."Solving positioning systems with minimal data", GPS Solutions, Springer. aceptado. DOI: 10.1007/s10291-015-0507-8
  11. Caravantes, J., Mediavilla, P., Tazón, A., Fernández, T., Vassal'lo, J. "New Shield Structure for Retrodirective and Invisible Applications", Microwave and Optical Technology Letters (to appear)
  12. A. Dickenstein, I. Herrero, L.R. Tabera. Arithmetics and combinatorics of tropical Severi varieties of univariate polynomials To appear in Israel Journal of Mathematics.
  13. Fioravanti, M., Sendra, J.R. "Algebro-geometric analysis of bisectors of two algebraic plane curves". Computer Aided Geometric Design 47 (2016) 189-203. doi:10.1016/j.cagd.2016.06.004
  14. Gómez-Chacón I., Botana F., Escribano J., Abánades, M.A. (2015), "Distintas herramientas para la enseñanza/aprendizaje del concepto de lugar geométrico", Mathematical Working Space, Proceedings of the Fourth ETM Symposium 2015) 261-282. Publicaciones del Instituto de Matemática Interdisciplinar, Universidad Complutense de Madrid. ISBN: 978-84-606-9475-5
  15. Gómez-Chacón, I., Botana, F., Escribano, J., Abánades M.A. (2016). "Concepto de Lugar Geométrico. Génesis de Utilización Personal y Profesional con Distintas Herramientas". Boletim de Educação Matemática - BOLEMA, Vol. 30, Num. 54. pp 67-94.
  16. Grasegger G., Lastra A., Sendra J.R. and Winkler F. (2016). A solution method for autonomous First-order algebraic partial differential equations. Journal of Computational and Applied Mathematics 300 (2016) 119--133. doi:10.1016/j.cam.2015.12.030.
  17. Markus Hohenwarter, Zoltán Kovács, Tomás Recio (2017). Deciding Geometric Properties Symbolically in GeoGebra. R&E-SOURCE http://journal.ph-noe.ac.at Open Online Journal for Research and Education, Special Issue #6, March 2017, ISSN: 2313-1640
  18. Hoon Hong, Yonggu Kim, Georgy Scholten, J.R. Sendra (2016). Resultants over Commutative Idempotent Semirings I: (Algebraic aspect). Journal of Symbolic Computation 79 (2017) 285-308.
  19. Recio T., Sendra J.R., Tabera L.F., Villarino C. "On Tubular vs. Swung Surfaces". Journal of Symbolic Computation 72 (2016), 55-64, DOI 10.1016/j.jsc.2014.12.003
  20. Rueda, S.L. "Differential elimination by differential specialization of Sylvester style matrices". Advances in Applied Mathematics 72 (2016), 4-37. doi:10.1016/j.aam.2015.07.002
  21. Sendra J., Gómez Sánchez-Pascuala D., Morán V. (2016). "Design and Implementation of Maple Packages for Processing Offsets and Conchoids." Annals of Mathematics and Artificial Intelligence (Accepted). DOI: 10.1007/s10472-016-9504-z (2016).
  22. Sendra J.R., Sendra J. (2016), "Symbolic computation of Drazin inverses by specializations". Journal of Computational and Applied Mathematics 301 (2016) 201-212. doi:10.1016/j.cam.2016.01.059
  23. Sendra J.R., Sendra J (2017), "Computation of Moore-Penrose Generalized Inverses of Matrices with Meromorphic Function Entries". Applied Mathematics and Computation 313C (2017) pp. 355-366. doi:10.1016/j.amc.2017.06.007
  24. Sendra J.R., Sevilla D., Villarino C. (2015). " Missing sets in rational parametrizations of surfaces of revolution". Computer-Aided Design 66 (2015) 55--61. DOI 10.1016/j.cad.2015.04.006
  25. Sendra J.R., Sevilla D., Villarino C. "Covering Rational Ruled Surfaces". Mathematics of Computation Volume 86, Number 308, November 2017, Pages 2861-2875.
  26. Sendra J.R., Sevilla D., Villarino C. "Algebraic and algorithmic aspects of radical parametrizations." Computer Aided Geometric Design 55 1-14. (2017) DOI 10.1016/j.cagd.2017.01.002
  27. Sendra J.R., Winkler St. (2016). "A Heuristic and Evolutionary Algorithm to Optimize the Coefficients of Curve Parametrizations." Journal of Computational and Applied Mathematics 305 (2016) 18--35. doi:10.1016/j.cam.2016.03.020. See also corrigendum doi:10.1016/j.cam.2016.04.028
  28. Tabera L.T. "A parametric version of the Hilber-Hurwitz theorem using hypercircles". To appear in Mathematics of Computation
  29. L. Torrente, M. Beltrametti, J.R. Sendra (2017) "Perturbation of polynomials and applications to the Hough transform" Journal of Algebra 486 (2017) 328-359. doi:10.1016/j.jalgebra.2017.04.011