Project MTM2011-25816-C02-00
Publications
Published Abstracts and Extended Abstracts
(Last update: November 2014)
List of published abstracts and extended abstracts generated as a result of the research activity developed
in the frame of the project.
- Abánades M. A., Botana F. (2013),
"A symbolic-numeric dynamic geometry environment for the computation of equidistant curves".
Proceedings of the XV Spanish Meeting on Computational Geometry (EGC 2013), Sevilla, Spain, (2013) 77-80.
- Adamou I., Fioravanti M., Gonzalez-Vega L. (2012). "Computing parametrizations of the bisector of two surfaces."
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012,
Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 119-122 (I.S.B.N.:978-84-8138-770-4.)
- Alcázar J.G., Díaz Toca G. (2012).
"On the shape of curves which are rational in polar coordinates", Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012,
Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 35-39 (I.S.B.N.:978-84-8138-770-4.)
- Alcázar J.G., Hermoso C., Muntingh G. (2014). "Symmetry Detection of Rational Space Curves".
Abstracts from the 20th conference on Applications of Computer Algebra, ACA2014, pp. 48. (I.S.B.N.: 978-0-692-24793-8).
- Alcázar J.G., Hermoso C., Muntingh G. (2013). "Similarity Detection for Rational Curves".
Proceedings Applications of Computer Algebra ACA 2013, p. 163 (I.S.B.N.: 978-84-616-4565-7)
- Botana F. (2012). "¿Qué hacer? Algunas propuestas concretas sobre la organización y la estrategia a seguir en relación con Sage."
Actas (electronicas) III Jornada Sage/Python (Vigo).
- Botana F., Abánades M.A. (2012). "A demo on using the GröbnerCover algorithm for dynamic geometry tasks."
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012,
Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 63-66 (I.S.B.N.:978-84-8138-770-4.)
- Botana F., Kovacs Z., Weitzhofer S. (2012). "Implementing theorem proving in GeoGebra by using a Singular webservice."
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012,
Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 67-69 (I.S.B.N.:978-84-8138-770-4.)
- Botana F., Montes A., Recio T. (2012). "An Algorithm for Automatic Discovery of Algebraic Loci."
Extended Abstract. Actas (electronicas) ADG 2012 (Edinburgo)
- Botana, F., Recio, T. (2013), "Envelope computation in dynamic geometry systems".
Proceedings of the XIX Conference on Applications of Computer Algebra (ACA 2013), Málaga, Spain, (2013), 164-167. (I.S.B.N.: 978-84-616-4565-7)
- Kovacs Z., Recio T., Weitzhofer S. (2012).
"Implementing theorem proving in GeoGebra by exact check of a statement in a bounded number of test cases."
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012,
Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 123-126 (I.S.B.N.:978-84-8138-770-4.)
- Pérez S., Sendra J.R., Villarino C. (2012). "On the singular locus of rational surface parametrizations", Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012,
Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 143-146 (I.S.B.N.:978-84-8138-770-4.)
- Peternell, M., Gruber, D., Sendra, J. (2012). "Rational conchoidal surface construction", Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012,
Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 147-150 (I.S.B.N.:978-84-8138-770-4.)
- Recio T., Sendra J.R. Tabera L.F., Villarino C. (2014). Ultraquadrics associated to affine and projective automorphims.
Libro de Resúmenes del XIV Encuentro de Álgebra Computacional y Aplicaciones EACA 2014, pp. 147-150 (I.S.B.N. 978-84-697-0651-0)
- Rueda S.L. (2012). "Differential resultants of super essential systems of linear OD-polynomials." Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012,
Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 155-158 (I.S.B.N.:978-84-8138-770-4.)
- Rueda, S.L. (2013). "Sparse differential resultant formulas: between the linear and the nonlinear case".
Proceedings of Applications in Computer Algebra, ACA2013, pp. 102-106. (I.S.B.N.: 978-84-616-4565-7)
- Rueda, S.L. (2014). "Differential elimination by differential specialization of sylvester style matrices".
Abstracts from the 20th conference on Applications of Computer Algebra, ACA2014, pp. 33. (I.S.B.N.: 978-0-692-24793-8)
- Rueda, S.L., Sendra J., Sendra J.R. (2013) "On the approximate parametrization problem of algebraic curves".
Proceedings of Applications in Computer Algebra, ACA2013, pp. 219-223. (I.S.B.N.: 978-84-616-4565-7)
- Rueda, S.L., Sendra J., Sendra J.R. (2014) "An approximate algorithm to parametrize algebraic curves".
Abstracts from the 20th conference on Applications of Computer Algebra, ACA2014, pp. 53-54.
(I.S.B.N.: 978-0-692-24793-8)
- Santos F., Tabera L.F., Theobald T. (2012). "On the Separation of Tropically Convex Sets". Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012,
Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 167-170. (I.S.B.N.:978-84-8138-770-4.)
- Sendra J.R. Sevilla D., Villarino C. (2014).
A critical set of revolution surface parametrizations. Libro de Resúmenes del XIV Encuentro de Álgebra Computacional y Aplicaciones
EACA 2014, pp. 159-162 (I.S.B.N. 978-84-697-0651-0)
- Sendra J.R., Sevilla D. (2013). "Radical parametrization of algebraic curves and surfaces".
Proceedings of Applications in Computer Algebra, ACA2013, pp. 224-228. (I.S.B.N.: 978-84-616-4565-7)
Publications
Published Abstracts and Extended Abstracts
(Last update: November 2014)
List of published abstracts and extended abstracts generated as a result of the research activity developed in the frame of the project.
- Abánades M. A., Botana F. (2013), "A symbolic-numeric dynamic geometry environment for the computation of equidistant curves". Proceedings of the XV Spanish Meeting on Computational Geometry (EGC 2013), Sevilla, Spain, (2013) 77-80.
- Adamou I., Fioravanti M., Gonzalez-Vega L. (2012). "Computing parametrizations of the bisector of two surfaces." Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012, Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 119-122 (I.S.B.N.:978-84-8138-770-4.)
- Alcázar J.G., Díaz Toca G. (2012). "On the shape of curves which are rational in polar coordinates", Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012, Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 35-39 (I.S.B.N.:978-84-8138-770-4.)
- Alcázar J.G., Hermoso C., Muntingh G. (2014). "Symmetry Detection of Rational Space Curves". Abstracts from the 20th conference on Applications of Computer Algebra, ACA2014, pp. 48. (I.S.B.N.: 978-0-692-24793-8).
- Alcázar J.G., Hermoso C., Muntingh G. (2013). "Similarity Detection for Rational Curves". Proceedings Applications of Computer Algebra ACA 2013, p. 163 (I.S.B.N.: 978-84-616-4565-7)
- Botana F. (2012). "¿Qué hacer? Algunas propuestas concretas sobre la organización y la estrategia a seguir en relación con Sage." Actas (electronicas) III Jornada Sage/Python (Vigo).
- Botana F., Abánades M.A. (2012). "A demo on using the GröbnerCover algorithm for dynamic geometry tasks." Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012, Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 63-66 (I.S.B.N.:978-84-8138-770-4.)
- Botana F., Kovacs Z., Weitzhofer S. (2012). "Implementing theorem proving in GeoGebra by using a Singular webservice." Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012, Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 67-69 (I.S.B.N.:978-84-8138-770-4.)
- Botana F., Montes A., Recio T. (2012). "An Algorithm for Automatic Discovery of Algebraic Loci." Extended Abstract. Actas (electronicas) ADG 2012 (Edinburgo)
- Botana, F., Recio, T. (2013), "Envelope computation in dynamic geometry systems". Proceedings of the XIX Conference on Applications of Computer Algebra (ACA 2013), Málaga, Spain, (2013), 164-167. (I.S.B.N.: 978-84-616-4565-7)
- Kovacs Z., Recio T., Weitzhofer S. (2012). "Implementing theorem proving in GeoGebra by exact check of a statement in a bounded number of test cases." Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012, Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 123-126 (I.S.B.N.:978-84-8138-770-4.)
- Pérez S., Sendra J.R., Villarino C. (2012). "On the singular locus of rational surface parametrizations", Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012, Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 143-146 (I.S.B.N.:978-84-8138-770-4.)
- Peternell, M., Gruber, D., Sendra, J. (2012). "Rational conchoidal surface construction", Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012, Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 147-150 (I.S.B.N.:978-84-8138-770-4.)
- Recio T., Sendra J.R. Tabera L.F., Villarino C. (2014). Ultraquadrics associated to affine and projective automorphims. Libro de Resúmenes del XIV Encuentro de Álgebra Computacional y Aplicaciones EACA 2014, pp. 147-150 (I.S.B.N. 978-84-697-0651-0)
- Rueda S.L. (2012). "Differential resultants of super essential systems of linear OD-polynomials." Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012, Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 155-158 (I.S.B.N.:978-84-8138-770-4.)
- Rueda, S.L. (2013). "Sparse differential resultant formulas: between the linear and the nonlinear case". Proceedings of Applications in Computer Algebra, ACA2013, pp. 102-106. (I.S.B.N.: 978-84-616-4565-7)
- Rueda, S.L. (2014). "Differential elimination by differential specialization of sylvester style matrices". Abstracts from the 20th conference on Applications of Computer Algebra, ACA2014, pp. 33. (I.S.B.N.: 978-0-692-24793-8)
- Rueda, S.L., Sendra J., Sendra J.R. (2013) "On the approximate parametrization problem of algebraic curves". Proceedings of Applications in Computer Algebra, ACA2013, pp. 219-223. (I.S.B.N.: 978-84-616-4565-7)
- Rueda, S.L., Sendra J., Sendra J.R. (2014) "An approximate algorithm to parametrize algebraic curves". Abstracts from the 20th conference on Applications of Computer Algebra, ACA2014, pp. 53-54. (I.S.B.N.: 978-0-692-24793-8)
- Santos F., Tabera L.F., Theobald T. (2012). "On the Separation of Tropically Convex Sets". Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones EACA 2012, Obras Colectivas, Ciencias 09, Servicio de Publicaciones de la Universidad de Alcalá, pp. 167-170. (I.S.B.N.:978-84-8138-770-4.)
- Sendra J.R. Sevilla D., Villarino C. (2014). A critical set of revolution surface parametrizations. Libro de Resúmenes del XIV Encuentro de Álgebra Computacional y Aplicaciones EACA 2014, pp. 159-162 (I.S.B.N. 978-84-697-0651-0)
- Sendra J.R., Sevilla D. (2013). "Radical parametrization of algebraic curves and surfaces". Proceedings of Applications in Computer Algebra, ACA2013, pp. 224-228. (I.S.B.N.: 978-84-616-4565-7)