Proyecto MTM2011-25816-C02-00
Publicaciones
Preprints
(Última actualización: Noviembre 2014)
Relación de preprints generados como consecuencia de la investigación desarrollada en el marco del proyecto.
- Alcázar J.G., Goldman R. (2014).
"Finding the axis of revolution of a surface of revolution",
enviado a revista.
- 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". Enviado a revista.
- Tabera, L.F. (2014). "Tropical discriminants in positive characteristic".
Publicaciones
Preprints
(Última actualización: Noviembre 2014)
Relación de preprints generados como consecuencia de la investigación desarrollada en el marco del proyecto.
- Alcázar J.G., Goldman R. (2014). "Finding the axis of revolution of a surface of revolution", enviado a revista.
- 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". Enviado a revista.
- Tabera, L.F. (2014). "Tropical discriminants in positive characteristic".