Project MTM2014-54141-P
Participation at Conferences and Seminars
International Conferences

List of International Conference talks by members of the project, indicating the title of the presented talk.

    2015

  • Botana F. (2015). "Some computations that current Dynamic Geometry systems cannot do, whereas they should". GC 2015 - International Seminar on Geometric Computation, Nanning, China, February, 2015.
  • Dickenstein, A. Herrero, I. Tabera, L.F.(speaker) (2015) "Arithmetics and Combinatorics of Tropical Severi Varieties of Univariate Polynomials". Effective Methods in Tropical Geometry, (MEGA 2015), Trento, Italy. June 2015.
  • Fioravanti M., Gonzalez-Vega L., Necula, I. (2015). "Intersection with ringed surfaces using algebra by values" Conference on Geometry: Theory and Applications (CGTA 2015), Schloss Weinberg, Kefermarkt, Austria, Junio 2015.
  • 2016

  • Abánades, M.A., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C. (2016). "Implementing Automatic Discovery in GeoGebra", Automatic Deduction in Geometry (ADG 2016), Estrasburgo, Francia, Junio 2016.
  • Abánades, M.A., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C. (2016). "Automated discovery of elementary geometry theorems: First steps", International Conference on Mathematical Software (ICMS 2016), Berlin, Alemania, Julio 2016.
  • Abánades, M.A., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C. (2016). "Development of automatic reasoning tools in GeoGebra", sofware demo, International Symposium on Symbolic and Algebraic Computation (ISSAC 2016), Waterloo, Canada, Julio 2016.
  • Abánades, M.A., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C. (2016). "Automatic Discovery in GeoGebra: first steps", Computer Algebra and Dynamic Geometry in Mathematics Education (CADGME 2016). Targu Mures, Rumania. Septiembre 2016.
  • Alcázar J.G., Hermoso C., Muntingh G. (2016). "Detecting Similarities of Rational Space Curves", ISSAC (International Symposium on Symbolic and Algebraic Computation) 2016, Waterloo (Canadá), 18-23 Julio 2016.
  • Botana, F. (2016). "Descobrimento automático no GeoGebra", IV Día de GeoGebra Iberoamericano, Coimbra, 21 mayo 2016
  • Belhaj, S., Díaz-Toca, G. M. (2015), "Blind image deconvolution through Bezoutians", International Congress on Industrial and Applied Mathematics (ICIAM 2015) Pekín, China
  • Gonzalez-Vega, L. (2016). "Dealing with real algebraic curves symbolically and numerically for discovery: from experiments to theory", ACMES Computationally Assisted Mathematical Discovery and Experimental Mathematics, 12-15 May 2016, London, Ontario, Canadá.
  • Gonzalez-Vega, L. (2016). "Resultants and subresultants through evaluation: formulae and applications", Milestones in Computer Algebra (MICA 2016), Celebrating the research of Erich Kaltofen, University of Waterloo, Canada, July 16-18, 2016.
  • Gonzalez-Vega, L. (2016). "Looking at Lambert $W$ function when solving $p(x,e^x)=0$ with $p$ a bivariate polynomial", Celebrating 20 years of the Lambert W function, 25-28 July 2016, London, Ontario, Canada.
  • Hohenwarter M., Kova´cs Z. and Recio T. (2016). "Deciding Geometric Properties Symbolically in GeoGebra" International Conference on Mathematics Education (ICME 13), Topic Study Group 18 "Reasoning and proof in mathematics education". Hamburg, Germany, July 2016.
  • Kovács, Z., Recio, T., Sólyom-Gecse, C. (2016). "Automatic rewrites of input expressions in complex algebraic geometry provers", Automatic Deduction in Geometry (ADG 2016), Estrasburgo, Francia, Junio 2016.
  • Ladra, M., Páez-Guillán, M.P., Recio T. (2016). "The unexpected trick of Rabinowitsch", Automatic Deduction in Geometry (ADG 2016), Estrasburgo, Francia, Junio 2016.
  • Recio, T. "Computer assisted theorem proving for the education or Computer assisted education for theorem proving?", plenary speaker. Automatic Deduction in Geometry ADG 2016 (Special Session on Computer Assisted Theorem Proving for the Education), Estrasburgo, Francia, Junio 2016.
  • Rueda, S.L. (2016). "Differential elimination by differential resultant formulas", Póster en el V Congreso Latinoamericano de Matemáticas, Universidad del Norte, Barranquilla (Colombia), 10-15 julio, 2016.
  • J.R. Sendra (2016). "The Challenge of Developing Applicable Parametrization Algorithms for Algebraic Curves and Surfaces" (Plenary Speaker). 6th Iberian Mathematical Meeting. Santiago de Compostela, October 6-8, 2016