Project MTM2011-25816-C02-00
Publications
Preprints
(Last update: November 2014)
List of preprints generated as a result of the research activity developed in the frame of the project.
- Alcázar J.G., Goldman R. (2014),
"Finding the axis of revolution of a surface of revolution",
submitted to journal.
- Aruliah D.A., Corless R.M., Diaz-Toca G.M., Gonzalez-Vega L., Shakoori A. (2014)
"The Bezout Matrix for Hermite Interpolants".
- Botana F., Hohenwarter M., Janicic P., Kovacs Z., Petrovic I., Recio T., Weitzhofer S. (2013).
"Automated theorem proving in GeoGebra: current achievements".
- Diaz-Toca G.M., Fioravanti M. (2014), "The null space of the Bezout matrix in any basis and gcd's",
arxiv.org/abs/1402.4952
- G. Grasegger, F. Winkler, A. Lastra and J. Rafael Sendra. (2015).
A solution method for autonomous First-order algebraic partial differential equations in several variables.
(https://www.dk-compmath.jku.at/publications/dk-reports/2015-01-15/view)
DK Report Series, No. 15-01, Technical Reports of the Doctoral Program
"Computational Mathematics",
Johannes Kepler University Linz, Austria and
(https://www.risc.jku.at/publications/download/risc_5117/RISCReport1501.pdf)
Technical report RISC Report Series, No. 15-01, Research Institute for Symbolic
Computation (RISC), Johannes Kepler University Linz, Austria.
- G. Grasegger, F. Winkler, A. Lastra and J. Rafael Sendra. (2014).
A Solution Method for Autonomous First-Order Algebraic Partial Differential Equations.
(https://www.dk-compmath.jku.at/publications/dk-reports/2014-05-06/view) DK-Report No. 2014-07, Technical Reports of the Doctoral Program "Computational Mathematics",
Johannes Kepler University Linz, Austria and
(https://www.risc.jku.at/publications/download/risc_4977/RISCReport1403.pdf)
Technical report no. 14-03 in RISC Report Series, Research Institute for Symbolic
Computation (RISC), Johannes Kepler University Linz, Austria.
- Rueda S.L. (2013). Differential elimination by differential specialization of
Sylvester style matrices. ArXiv:1310.2081.
- Tabera L.F. (2011). "On rational points on hypercircle". Submitted to a journal.
- Tabera, L.F. (2014). "Tropical discriminants in positive characteristic".
Publications
Preprints
(Last update: November 2014)
List of preprints generated as a result of the research activity developed in the frame of the project.
- Alcázar J.G., Goldman R. (2014), "Finding the axis of revolution of a surface of revolution", submitted to journal.
- Aruliah D.A., Corless R.M., Diaz-Toca G.M., Gonzalez-Vega L., Shakoori A. (2014) "The Bezout Matrix for Hermite Interpolants".
- Botana F., Hohenwarter M., Janicic P., Kovacs Z., Petrovic I., Recio T., Weitzhofer S. (2013). "Automated theorem proving in GeoGebra: current achievements".
- Diaz-Toca G.M., Fioravanti M. (2014), "The null space of the Bezout matrix in any basis and gcd's", arxiv.org/abs/1402.4952
- G. Grasegger, F. Winkler, A. Lastra and J. Rafael Sendra. (2015). A solution method for autonomous First-order algebraic partial differential equations in several variables. (https://www.dk-compmath.jku.at/publications/dk-reports/2015-01-15/view) DK Report Series, No. 15-01, Technical Reports of the Doctoral Program "Computational Mathematics", Johannes Kepler University Linz, Austria and (https://www.risc.jku.at/publications/download/risc_5117/RISCReport1501.pdf) Technical report RISC Report Series, No. 15-01, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria.
- G. Grasegger, F. Winkler, A. Lastra and J. Rafael Sendra. (2014). A Solution Method for Autonomous First-Order Algebraic Partial Differential Equations. (https://www.dk-compmath.jku.at/publications/dk-reports/2014-05-06/view) DK-Report No. 2014-07, Technical Reports of the Doctoral Program "Computational Mathematics", Johannes Kepler University Linz, Austria and (https://www.risc.jku.at/publications/download/risc_4977/RISCReport1403.pdf) Technical report no. 14-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria.
- Rueda S.L. (2013). Differential elimination by differential specialization of Sylvester style matrices. ArXiv:1310.2081.
- Tabera L.F. (2011). "On rational points on hypercircle". Submitted to a journal.
- Tabera, L.F. (2014). "Tropical discriminants in positive characteristic".