Proyecto MTM2014-54141-P
Artículos Publicados

Relación de los artículos publicados como consecuencia de la investigación desarrollada en el marco del proyecto.
  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/
  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/
  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. J. Caravantes, J.R. Sendra, D. Sevilla y C. Villarino. On the existence of birational surjective parametrizations of affine surfaces. Journal of Algebra 501 (2018) 206-214
  13. A. Dickenstein, I. Herrero, L.R. Tabera. Arithmetics and combinatorics of tropical Severi varieties of univariate polynomials To appear in Israel Journal of Mathematics.
  14. Fioravanti, M., Sendra, J.R. (2016) "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
  15. 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
  16. 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
  17. 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/
  18. Grasegger G., Lastra A., Sendra J.R., and Winkler F. (2018). Rational General Solutions of Systems of First-Order Algebraic Partial Differential Equations. Journal of Computational and Applied Mathematics 331 (2018) 88-103.
  19. Markus Hohenwarter, Zoltán Kovács, Tomás Recio (2017). Deciding Geometric Properties Symbolically in GeoGebra. R&E-SOURCE Open Online Journal for Research and Education, Special Issue #6, March 2017, ISSN: 2313-1640
  20. Hoon Hong. J. R. Sendra (To appear). Number of common roots and resultant of two tropical univariate polynomials. Journal of Algebra 511 (2018) 420-439.
  21. 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.
  22. 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
  23. 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
  24. Sendra J.R. El reto de desarrollar algoritmos de parametrización, para curvas y superficies algebraicas, útiles en las aplicaciones. La Gaceta de la RSME, Vol. 21 (2018), Núm. 1, Págs. 125-146.
  25. 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)
  26. Sendra J.R.,Peternell M., Sendra J. "Cissoid Constructions of Augmented Rational Ruled Surfaces". Computer Aided Geometric Design 60 (2018) 1-9.
  27. 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/
  28. 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
  29. 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
  30. Sendra J.R., Sevilla D., Villarino C. "Covering Rational Ruled Surfaces". Mathematics of Computation Volume 86, Number 308, November 2017, Pages 2861-2875.
  31. 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
  32. 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/ See also corrigendum doi:10.1016/
  33. Sendra J.R., Winkler St. (2018). "Fitness Landscape Analysis in the Optimization of Coeffcients of Curve Parametrizations." Accepted to be published in Computer Aided Systems Theory - EUROCAST 2017, Springer Lecture Notes in Computer Science, 2018, pp.464--472. ISBN 978-3-319-74717-0.
  34. Tabera L.T. "A parametric version of the Hilber-Hurwitz theorem using hypercircles". To appear in Mathematics of Computation
  35. 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
  36. L. Torrente, M. Beltrametti, J.R. Sendra. "$r$-norm bounds and metric properties for zero loci of real analytic functions" Journal of Computational and Applied Mathematics 336 (2018) 375-393.