Project MTM2011-25816-C02-00
Participation at Conferences and Seminars
International Conferences
(Last update: November 2014)
2014
- Abánades M.A. , Botana F. Escribano J., "Using the GröbnerCover Algorithm to Automatically Compute
Loci and Envelopes in a 3D Dynamic Geometry Environment. A Prototype Description".
10th International Workshop on Automated Deduction in Geometry (ADG 2014), Coimbra, Portugal, July 2014.
- Abánades M.A., Botana F., Montes A., Recio T.,
"Software using the Groebner Cover for geometrical loci computation and classification",
The Fourth International Congress on Mathematical Software, South Korea, July 2014.
- Alcázar J.G., Hermoso C., Muntingh G. (2014). "Symmetry Detection of rational space curves from their curvature and torsion",
Special Session on "Algorithms and applications in the geometry of algebraic curves and surfaces",
ACA (Applications of Computer Algebra) 2014, New York (USA), 9-12 July 2014.
- Botana, F., "Extending the range of computable objects in Dynamic Geometry by using Quantifier Elimination",
Computer Algebra and Dynamic Geometry in Mathematics Education CADGME, Halle (Germany), 26-29 September 2014.
- Botana F., Kovacs, Z., "Teaching loci and envelopes in GeoGebra", Computer Algebra and
Dynamic Geometry in Mathematics Education CADGME, Halle (Germany), 26-29 September 2014.
- Botana F., Recio T. (2014),
"Using Maple's RegularChains library to automatically classify plane geometric loci".
The Fourth International Congress on Mathematical Software, South Korea, July 2014.
- Botana F., Recio T. (2014),
"Computing envelopes in dynamic geometry environments",
12th International Conference on Artificial Intelligence and Symbolic Computation AISC 2014. Sevilla, 11-13 December.
- Caravantes J., J.G. Alcázar, G.M. Díaz Toca and C. Hermoso (2014).
"A bisection like algorithm to compute the convex hull of a rational plane curves".
Special Session on "Algorithms and applications in the geometry of algebraic curves and surfaces",
ACA (Applications of Computer Algebra) 2014, New York (USA), 9-12 July 2014.
- Caravantes J., Fioravanti M., Gonzalez-Vega L., Necula I. (2014).
"Computing the topology of an arrangement of parametric or implicit algebraic curves in the Lagrange basis",
Special Session on "Algorithms and applications in the geometry of algebraic curves and surfaces",
ACA (Applications of Computer Algebra) 2014, New York (USA), 9-12 July 2014.
- Caravantes J., M. Fioravanti, L. González-Vega, I. Necula (2014).
"Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values",
16th International Workshop on Computer Algebra in Scientific Computing, September 8 - 12, 2014 Warsaw, Poland.
- Grasegger G., Lastra A., Sendra J.R. and Winkler F. (2014). On symbolic solutions of algebraic
partial differential equations,
16th International Workshop on Computer Algebra in Scientific Computing, September 8 - 12, 2014 Warsaw, Poland.
- Recio, T. , "Automated theorem proving in dynamic geometry by checking a number of instances ".
Plenary talk at the ADG 2014 conference, University of Coimbra, Portugal, July 2014.
- Recio, T., "Dynamic Geometry and Mathematics: few trains on a two-way track",
lenary lecture at the Computer Algebra and Dynamic Geometry in Mathematics Education (CADGME) 2014,
University of Halle, Germany. September 26-29, 2014.
- Recio T. (2014). "Intelligent+GeoGebra",
plenary lecture at the International GeoGebra Conference, Budapest, Hungary, 23-24 January 2014.
- Recio, T., (with Milena Maric), "Automatic theorem proving in Dynamic Geometry contexts:
what is it good for? Two diverse points of view". Computer Algebra and Dynamic Geometry in Mathematics Education
(CADGME) 2014, University of Halle, Germany. September 26-29, 2014.
- Rueda S.,(2014). "Differential elimination by differential specialization of Sylvester style matrices",
Special Session on "Algebraic and algorithmic aspects of differential and integral operators",
ACA (Applications of Computer Algebra) 2014, New York (USA), 9-12 July 2014.
- Rueda S.L. (joint work with J.J. Morales-Ruiz and M.A. Zurro).
"On commuting differential operators and differential resultants (work in progress)".
Plenary speaker in AMDS 2014, Algebraic Methods in Dynamical Systems. 5-11 October 2014,
Barranquilla (Colombia).
- Rueda S., Sendra J., Sendra J.R., (2014). "Approximate algorithms to parametrize algebraic curves",
Special Session on "Algorithms and applications in the geometry of
algebraic curves and surfaces",
ACA (Applications of Computer Algebra) 2014, New York (USA), 9-12 July 2014.
- Sendra J.R. (2014). "Parametrizing Algebraic Curves and Surfaces Under Different Optimality Criteria",
GTM Conference on topics in Commutative Algebra and Algebraic Geometry, Milan, Italy, January 2014.
- Sendra J.R. (2014). "Optimal parametrization of curves and surfaces". DK Statusseminar, Strobl, Austria, September 24-26, 2014
- Sendra J., Gómez D., Morán V. (2014). "Rational Conchoid and Offset Constructions: Algorithms and Implementation"
12th International Conference on Artificial Intelligence and Symbolic Computation AISC 2014. Sevilla, Spain, 11-13 December
- Sendra J. R., Sevilla D. , Villarino C. (2014). "Covering of surfaces without projective base points".
"International Symposium on Symbolic and Algebraic Computation"
(ISSAC2014), Kobe, Japan, 21-25 July 2014.
- Sendra J. R., Sevilla D. , Villarino C. (2014). "Rational coverings of rational algebraic surfaces".
8th International Conference CURVES and SURFACES, Paris (France), 12-18 June 2014.
- Sendra J.R., Winkler Stephan, "Optimization of Coefficients of Lists of Polynomials by
Evolutionary Algorithms",9th International Conference on Applied Informatics
(ICAI 2014), Eger, Hungary, January 2014
- Sevilla D. (2014). "Radical parametrization of curves and surfaces by adjoints".
XXVèmes Rencontres Arithmétiques de
Caen Île de Tatihou, Calcul formel et Méthodes effectives en Géométrie
algébrique et arithmétique, 30 june till 3 july 2014, Île de Tatihou, Francia.
- Villarino C. "Hypercircles and ultraquadrics: a tool for simplifying coefficients in rational parametrizations". Special Session on "Algebraic Geometry in Applications and Algorithms"
at the Conference First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI", 30th June to 4th July 2014, Bilbao, Spain
- Tabera, L.F. "Singular tropical hypersurfaces in positive characteristic", Saas-fee, Switzerland, 24-28, November 2014.
- Winkler F. "Algebro-Geometric Methods for Solving Differential Equations". Special Session on "Algebraic Geometry in Applications and Algorithms"
at the Conference First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI",
30th June to 4th July 2014, Bilbao, Spain
2013
- Abanades, M. A., Botana, F. "A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the
computation of geometric loci and envelopes". Conferences on Intelligent Computer Mathematics, CICM 2013, Bath,
UK, 8-12 July 2013..
- Abanades, M. A., Botana, F. "A symbolic-numeric dynamic geometry environment for the computation
of equidistant curves", XV Spanish Meeting on Computational Geometry, Sevilla, Spain, 26-28 june 2013.
- Alcázar J.G., Hermoso C., Muntingh G.
"Similarity Detection for Rational Curves", Applications of Computer Algebra (ACA) 2013, Málaga (Spain), July 2013.
- Andradas, C., Recio, T., Sendra, J.R., Tabera, L.F., Villarino, C.,
"Reparametrizing Rational Swung Surfaces over the Reals".
Poster in MEGA 2013, Frankfurt (Germany).
3-7 June 2013.
- Botana F., Recio T.
"Envelope computation in dynamic geometry systems", Applications of Computer Algebra (ACA) 2013, Málaga (Spain), 2-6 July 2013.
- Diaz, G., Necula, I. "Direct symbolic transformation from 3D cartesian into hyperboloidal coordinates".
Conference on Geometry: Theory and Applications, Ljubljana (Slovenia), 24 - 28 june 2013
- Gonzalez-Vega, L. : "FORMULAE: CLOSED FORM SOLUTIONS FOR AND FROM EVALUATION",
"Geometry + Simulation" meeting, Obergurgl (Austria), 22-24 april 2013, Invited Speaker.
- Peternell M. "Relations between Offsets and Conchoids". Conference on Geometry: Theory and Applications,
Ljubljana, Slovenia, 24--28 June 2013.
-
Rueda S. Invited speaker in FELIM 2013, The 6th edition of the international
conference FELIM Functional Equations in LIMoges 2013, 4-6 march 2013.
- Rueda, S.L. "Sparse differential resultant formulas: between the linear and the nonlinear case".
Special session: Algebraic and Algorithmic Aspects of Differential and Integral Operators Session. Applications of
Computer Algebra (ACA) 2013, 2-6 july 2013, Malaga (Spain).
- Rueda, S,L., Sendra, J., Sendra, J.R., "On the approximate parametrization problem of algebraic curves".
Special session: Arithmetic of Algebraic Curves. Applications of
Computer Algebra (ACA) 2013, 2-6 july 2013, Malaga (Spain).
- Sendra J.R., "Global and Approximate Parametrization of Algebraic Curves", Workshop on Computer algebra and polynomials (Special Semester on
Applications of Algebra and Number Theory), RICAM, Linz, Austria, November 2013.
- Sevilla D., Sendra, J.R., "Radical parametrization of algebraic curves and surfaces".
Special session: Arithmetic of Algebraic Curves. Applications of
Computer Algebra (ACA) 2013, 2-6 july 2013, Malaga (Spain).
- Sevilla D., "Coverings of affine parametric surfaces with no projective base points", Workshop on Computer algebra and polynomials (Special Semester on
Applications of Algebra and Number Theory), RICAM, Linz, Austria, November 2013.
- Tabera L.F. "On real tropical bases and real discriminants". Métodos Efectivos en Geometría Algebraica,
MEGA 2013, 3-7 june, 2013. Frankfurt, Germany
- Villarino C., "Ultraquadrics and its application to the reparametrization of rational complex surfaces", Workshop on Computer algebra and polynomials (Special Semester on
Applications of Algebra and Number Theory), RICAM, Linz, Austria, November 2013.
- Winkler F., "Symbolic solutions of algebraic differential equations", Workshop on Computer algebra and polynomials (Special Semester on
Applications of Algebra and Number Theory), RICAM, Linz, Austria, November 2013.
- Winkler F. Invited plenary speaker at International Conference on Mathematical Research, Education
and Applications (ICMREA-UEL 2013), Ho Chi Minh City, Vietnam, 21-23 Dec 2013
2012
- Adamou I., Fioravanti M., and Gonzalez-Vega L., and Mourrain B.
"Voronoi Diagram of parallel half lines constrained to a domain in R^3", VIII International Conference on Mathematical Methods
for Curves and Surfaces, Oslo, Norway, June 28th - July 3rd, 2012.
- Adamou I., Fioravanti M., and Gonzalez-Vega L., and Mourrain B.
"Voronoi Diagram of parallel half lines constrained to a domain in R^3", 3rd SAGA Workshop, Trento, Italy, October 9th-11th, 2012.
- Alcazar J.G., Hermoso C. "Efficiently detecting symmetries of rational plane curves",
VIII International Conference on Mathematical Methods for Curves and Surfaces, Oslo (Norway), June 28th-July 3rd, 2012.
- Botana F., and Abanades M. A., "A symbolic-numeric environment for computing equidistant curves",
Applications of Computer Algebra ACA 2012, Sofia, Bulgaria, June 25-28, 2012.
- Botana F., Kovács Z., Recio T., and Weitzhofer S. "Implementing theorem proving in GeoGebra by using various methods",
Computer Algebra and Dynamic Geometry in Mathematics Education CADGME 2012, Novi Sad, Serbia, June 22-24, 2012.
- Botana F., Montes A., and Recio T. "An Algorithm for Automatic Discovery of Algebraic Loci",
Automated Deduction in Geometry ADG 2012, Edinburgh, Scotland, September 17-19, 2012.
- Montes A., and Recio T. "Generalizing the Steiner-Lehmus Theorem using the Gröbner Cover", CAME 2012, Sofia, Bulgaria, June 25-28, 2012.
- Recio T., "Geogebra + inteligente". III Dia GeoGebra Portugal, Universidad de Aveiro. Portugal. 1 de Junio de 2013.
- Recio T. "Automated Deduction in Geometry through Symbolic Computation", IV Iberian Mathematical Meeting, Valladolid, October 5-7, 2012.
- Sendra J.R. "Optimal Parametrizations of Algebraic Curves and Surfaces". 4th Iberian Mathematical Meeting, Valladolid, Spain.
October 5-7, 2012
- Sendra J.R., Sevilla D. "First Steps Towards Radical Parametrization of Algebraic Surfaces". VIII International Conference on Mathematical
Methods for Curves and Surfaces, Oslo (Norway), June 28th-July 3rd, 2012.
- Winkler F. "Algebraic Differential Equations - Rational Solutions and Classification",
session AADIOS at conf. ACA 2012, Sofia, Bulgaria, June 25-28, 2012.
Participation at Conferences and Seminars
International Conferences
(Last update: November 2014)
- Abánades M.A. , Botana F. Escribano J., "Using the GröbnerCover Algorithm to Automatically Compute Loci and Envelopes in a 3D Dynamic Geometry Environment. A Prototype Description". 10th International Workshop on Automated Deduction in Geometry (ADG 2014), Coimbra, Portugal, July 2014.
- Abánades M.A., Botana F., Montes A., Recio T., "Software using the Groebner Cover for geometrical loci computation and classification", The Fourth International Congress on Mathematical Software, South Korea, July 2014.
- Alcázar J.G., Hermoso C., Muntingh G. (2014). "Symmetry Detection of rational space curves from their curvature and torsion", Special Session on "Algorithms and applications in the geometry of algebraic curves and surfaces", ACA (Applications of Computer Algebra) 2014, New York (USA), 9-12 July 2014.
- Botana, F., "Extending the range of computable objects in Dynamic Geometry by using Quantifier Elimination", Computer Algebra and Dynamic Geometry in Mathematics Education CADGME, Halle (Germany), 26-29 September 2014.
- Botana F., Kovacs, Z., "Teaching loci and envelopes in GeoGebra", Computer Algebra and Dynamic Geometry in Mathematics Education CADGME, Halle (Germany), 26-29 September 2014.
- Botana F., Recio T. (2014), "Using Maple's RegularChains library to automatically classify plane geometric loci". The Fourth International Congress on Mathematical Software, South Korea, July 2014.
- Botana F., Recio T. (2014), "Computing envelopes in dynamic geometry environments", 12th International Conference on Artificial Intelligence and Symbolic Computation AISC 2014. Sevilla, 11-13 December.
- Caravantes J., J.G. Alcázar, G.M. Díaz Toca and C. Hermoso (2014). "A bisection like algorithm to compute the convex hull of a rational plane curves". Special Session on "Algorithms and applications in the geometry of algebraic curves and surfaces", ACA (Applications of Computer Algebra) 2014, New York (USA), 9-12 July 2014.
- Caravantes J., Fioravanti M., Gonzalez-Vega L., Necula I. (2014). "Computing the topology of an arrangement of parametric or implicit algebraic curves in the Lagrange basis", Special Session on "Algorithms and applications in the geometry of algebraic curves and surfaces", ACA (Applications of Computer Algebra) 2014, New York (USA), 9-12 July 2014.
- Caravantes J., M. Fioravanti, L. González-Vega, I. Necula (2014). "Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values", 16th International Workshop on Computer Algebra in Scientific Computing, September 8 - 12, 2014 Warsaw, Poland.
- Grasegger G., Lastra A., Sendra J.R. and Winkler F. (2014). On symbolic solutions of algebraic partial differential equations, 16th International Workshop on Computer Algebra in Scientific Computing, September 8 - 12, 2014 Warsaw, Poland.
- Recio, T. , "Automated theorem proving in dynamic geometry by checking a number of instances ". Plenary talk at the ADG 2014 conference, University of Coimbra, Portugal, July 2014.
- Recio, T., "Dynamic Geometry and Mathematics: few trains on a two-way track", lenary lecture at the Computer Algebra and Dynamic Geometry in Mathematics Education (CADGME) 2014, University of Halle, Germany. September 26-29, 2014.
- Recio T. (2014). "Intelligent+GeoGebra", plenary lecture at the International GeoGebra Conference, Budapest, Hungary, 23-24 January 2014.
- Recio, T., (with Milena Maric), "Automatic theorem proving in Dynamic Geometry contexts: what is it good for? Two diverse points of view". Computer Algebra and Dynamic Geometry in Mathematics Education (CADGME) 2014, University of Halle, Germany. September 26-29, 2014.
- Rueda S.,(2014). "Differential elimination by differential specialization of Sylvester style matrices", Special Session on "Algebraic and algorithmic aspects of differential and integral operators", ACA (Applications of Computer Algebra) 2014, New York (USA), 9-12 July 2014.
- Rueda S.L. (joint work with J.J. Morales-Ruiz and M.A. Zurro). "On commuting differential operators and differential resultants (work in progress)". Plenary speaker in AMDS 2014, Algebraic Methods in Dynamical Systems. 5-11 October 2014, Barranquilla (Colombia).
- Rueda S., Sendra J., Sendra J.R., (2014). "Approximate algorithms to parametrize algebraic curves", Special Session on "Algorithms and applications in the geometry of algebraic curves and surfaces", ACA (Applications of Computer Algebra) 2014, New York (USA), 9-12 July 2014.
- Sendra J.R. (2014). "Parametrizing Algebraic Curves and Surfaces Under Different Optimality Criteria", GTM Conference on topics in Commutative Algebra and Algebraic Geometry, Milan, Italy, January 2014.
- Sendra J.R. (2014). "Optimal parametrization of curves and surfaces". DK Statusseminar, Strobl, Austria, September 24-26, 2014
- Sendra J., Gómez D., Morán V. (2014). "Rational Conchoid and Offset Constructions: Algorithms and Implementation" 12th International Conference on Artificial Intelligence and Symbolic Computation AISC 2014. Sevilla, Spain, 11-13 December
- Sendra J. R., Sevilla D. , Villarino C. (2014). "Covering of surfaces without projective base points". "International Symposium on Symbolic and Algebraic Computation" (ISSAC2014), Kobe, Japan, 21-25 July 2014.
- Sendra J. R., Sevilla D. , Villarino C. (2014). "Rational coverings of rational algebraic surfaces". 8th International Conference CURVES and SURFACES, Paris (France), 12-18 June 2014.
- Sendra J.R., Winkler Stephan, "Optimization of Coefficients of Lists of Polynomials by Evolutionary Algorithms",9th International Conference on Applied Informatics (ICAI 2014), Eger, Hungary, January 2014
- Sevilla D. (2014). "Radical parametrization of curves and surfaces by adjoints". XXVèmes Rencontres Arithmétiques de Caen Île de Tatihou, Calcul formel et Méthodes effectives en Géométrie algébrique et arithmétique, 30 june till 3 july 2014, Île de Tatihou, Francia.
- Villarino C. "Hypercircles and ultraquadrics: a tool for simplifying coefficients in rational parametrizations". Special Session on "Algebraic Geometry in Applications and Algorithms" at the Conference First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI", 30th June to 4th July 2014, Bilbao, Spain
- Tabera, L.F. "Singular tropical hypersurfaces in positive characteristic", Saas-fee, Switzerland, 24-28, November 2014.
- Winkler F. "Algebro-Geometric Methods for Solving Differential Equations". Special Session on "Algebraic Geometry in Applications and Algorithms" at the Conference First Joint International Meeting RSME-SCM-SEMA-SIMAI-UMI", 30th June to 4th July 2014, Bilbao, Spain
- Abanades, M. A., Botana, F. "A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes". Conferences on Intelligent Computer Mathematics, CICM 2013, Bath, UK, 8-12 July 2013..
- Abanades, M. A., Botana, F. "A symbolic-numeric dynamic geometry environment for the computation of equidistant curves", XV Spanish Meeting on Computational Geometry, Sevilla, Spain, 26-28 june 2013.
- Alcázar J.G., Hermoso C., Muntingh G. "Similarity Detection for Rational Curves", Applications of Computer Algebra (ACA) 2013, Málaga (Spain), July 2013.
- Andradas, C., Recio, T., Sendra, J.R., Tabera, L.F., Villarino, C., "Reparametrizing Rational Swung Surfaces over the Reals". Poster in MEGA 2013, Frankfurt (Germany). 3-7 June 2013.
- Botana F., Recio T. "Envelope computation in dynamic geometry systems", Applications of Computer Algebra (ACA) 2013, Málaga (Spain), 2-6 July 2013.
- Diaz, G., Necula, I. "Direct symbolic transformation from 3D cartesian into hyperboloidal coordinates". Conference on Geometry: Theory and Applications, Ljubljana (Slovenia), 24 - 28 june 2013
- Gonzalez-Vega, L. : "FORMULAE: CLOSED FORM SOLUTIONS FOR AND FROM EVALUATION", "Geometry + Simulation" meeting, Obergurgl (Austria), 22-24 april 2013, Invited Speaker.
- Peternell M. "Relations between Offsets and Conchoids". Conference on Geometry: Theory and Applications, Ljubljana, Slovenia, 24--28 June 2013.
- Rueda S. Invited speaker in FELIM 2013, The 6th edition of the international conference FELIM Functional Equations in LIMoges 2013, 4-6 march 2013.
- Rueda, S.L. "Sparse differential resultant formulas: between the linear and the nonlinear case". Special session: Algebraic and Algorithmic Aspects of Differential and Integral Operators Session. Applications of Computer Algebra (ACA) 2013, 2-6 july 2013, Malaga (Spain).
- Rueda, S,L., Sendra, J., Sendra, J.R., "On the approximate parametrization problem of algebraic curves". Special session: Arithmetic of Algebraic Curves. Applications of Computer Algebra (ACA) 2013, 2-6 july 2013, Malaga (Spain).
- Sendra J.R., "Global and Approximate Parametrization of Algebraic Curves", Workshop on Computer algebra and polynomials (Special Semester on Applications of Algebra and Number Theory), RICAM, Linz, Austria, November 2013.
- Sevilla D., Sendra, J.R., "Radical parametrization of algebraic curves and surfaces". Special session: Arithmetic of Algebraic Curves. Applications of Computer Algebra (ACA) 2013, 2-6 july 2013, Malaga (Spain).
- Sevilla D., "Coverings of affine parametric surfaces with no projective base points", Workshop on Computer algebra and polynomials (Special Semester on Applications of Algebra and Number Theory), RICAM, Linz, Austria, November 2013.
- Tabera L.F. "On real tropical bases and real discriminants". Métodos Efectivos en Geometría Algebraica, MEGA 2013, 3-7 june, 2013. Frankfurt, Germany
- Villarino C., "Ultraquadrics and its application to the reparametrization of rational complex surfaces", Workshop on Computer algebra and polynomials (Special Semester on Applications of Algebra and Number Theory), RICAM, Linz, Austria, November 2013.
- Winkler F., "Symbolic solutions of algebraic differential equations", Workshop on Computer algebra and polynomials (Special Semester on Applications of Algebra and Number Theory), RICAM, Linz, Austria, November 2013.
- Winkler F. Invited plenary speaker at International Conference on Mathematical Research, Education and Applications (ICMREA-UEL 2013), Ho Chi Minh City, Vietnam, 21-23 Dec 2013
- Adamou I., Fioravanti M., and Gonzalez-Vega L., and Mourrain B. "Voronoi Diagram of parallel half lines constrained to a domain in R^3", VIII International Conference on Mathematical Methods for Curves and Surfaces, Oslo, Norway, June 28th - July 3rd, 2012.
- Adamou I., Fioravanti M., and Gonzalez-Vega L., and Mourrain B. "Voronoi Diagram of parallel half lines constrained to a domain in R^3", 3rd SAGA Workshop, Trento, Italy, October 9th-11th, 2012.
- Alcazar J.G., Hermoso C. "Efficiently detecting symmetries of rational plane curves", VIII International Conference on Mathematical Methods for Curves and Surfaces, Oslo (Norway), June 28th-July 3rd, 2012.
- Botana F., and Abanades M. A., "A symbolic-numeric environment for computing equidistant curves", Applications of Computer Algebra ACA 2012, Sofia, Bulgaria, June 25-28, 2012.
- Botana F., Kovács Z., Recio T., and Weitzhofer S. "Implementing theorem proving in GeoGebra by using various methods", Computer Algebra and Dynamic Geometry in Mathematics Education CADGME 2012, Novi Sad, Serbia, June 22-24, 2012.
- Botana F., Montes A., and Recio T. "An Algorithm for Automatic Discovery of Algebraic Loci", Automated Deduction in Geometry ADG 2012, Edinburgh, Scotland, September 17-19, 2012.
- Montes A., and Recio T. "Generalizing the Steiner-Lehmus Theorem using the Gröbner Cover", CAME 2012, Sofia, Bulgaria, June 25-28, 2012.
- Recio T., "Geogebra + inteligente". III Dia GeoGebra Portugal, Universidad de Aveiro. Portugal. 1 de Junio de 2013.
- Recio T. "Automated Deduction in Geometry through Symbolic Computation", IV Iberian Mathematical Meeting, Valladolid, October 5-7, 2012.
- Sendra J.R. "Optimal Parametrizations of Algebraic Curves and Surfaces". 4th Iberian Mathematical Meeting, Valladolid, Spain. October 5-7, 2012
- Sendra J.R., Sevilla D. "First Steps Towards Radical Parametrization of Algebraic Surfaces". VIII International Conference on Mathematical Methods for Curves and Surfaces, Oslo (Norway), June 28th-July 3rd, 2012.
- Winkler F. "Algebraic Differential Equations - Rational Solutions and Classification", session AADIOS at conf. ACA 2012, Sofia, Bulgaria, June 25-28, 2012.