# RISC PhD Fellowships 2016 [PhD 2016]

### Project Lead

### Project Duration

01/01/2016 - 31/12/2016## Partners

### Government of Upper Austria

## Publications

### 2017

### An Algebraic-Geometric Method for Computing Zolotarev Polynomials

#### Georg Grasegger, N. Thieu Vo

In: Proceedings of the 2017 international symposium on symbolic and algebraic computation (ISSAC), Burr, M. (ed.), pp. 173-180. 2017. ACM Press, New York, ISBN: 978-1-4503-5064-8.@

author = {Georg Grasegger and N. Thieu Vo},

title = {{An Algebraic-Geometric Method for Computing Zolotarev Polynomials}},

booktitle = {{Proceedings of the 2017 international symposium on symbolic and algebraic computation (ISSAC)}},

language = {english},

pages = {173--180},

publisher = {ACM Press},

address = {New York},

isbn_issn = {ISBN: 978-1-4503-5064-8},

year = {2017},

editor = {Burr and M.},

refereed = {yes},

length = {8}

}

**inproceedings**{RISC5510,author = {Georg Grasegger and N. Thieu Vo},

title = {{An Algebraic-Geometric Method for Computing Zolotarev Polynomials}},

booktitle = {{Proceedings of the 2017 international symposium on symbolic and algebraic computation (ISSAC)}},

language = {english},

pages = {173--180},

publisher = {ACM Press},

address = {New York},

isbn_issn = {ISBN: 978-1-4503-5064-8},

year = {2017},

editor = {Burr and M.},

refereed = {yes},

length = {8}

}

### 2016

### A decision algorithm for rational general solutions of first-order algebraic ODEs

#### G. Grasegger, N.T. Vo, F. Winkler

In: Proceedings XV Encuentro de Algebra Computacional y Aplicaciones (EACA 2016), Universidad de la Rioja, J. Heras and A. Romero (eds.) (ed.), pp. 101-104. 2016. 978-84-608-9024-9.@

author = {G. Grasegger and N.T. Vo and F. Winkler},

title = {{A decision algorithm for rational general solutions of first-order algebraic ODEs}},

booktitle = {{Proceedings XV Encuentro de Algebra Computacional y Aplicaciones (EACA 2016)}},

language = {english},

pages = {101--104},

isbn_issn = {978-84-608-9024-9},

year = {2016},

editor = {Universidad de la Rioja and J. Heras and A. Romero (eds.)},

refereed = {yes},

length = {4}

}

**inproceedings**{RISC5400,author = {G. Grasegger and N.T. Vo and F. Winkler},

title = {{A decision algorithm for rational general solutions of first-order algebraic ODEs}},

booktitle = {{Proceedings XV Encuentro de Algebra Computacional y Aplicaciones (EACA 2016)}},

language = {english},

pages = {101--104},

isbn_issn = {978-84-608-9024-9},

year = {2016},

editor = {Universidad de la Rioja and J. Heras and A. Romero (eds.)},

refereed = {yes},

length = {4}

}

### Rational and Algebraic Solutions of First-Order Algebraic ODEs

#### N. Thieu Vo

Technical report no. 16-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 12 2016. Thesis Dissertation. [pdf]@

author = {N. Thieu Vo},

title = {{Rational and Algebraic Solutions of First-Order Algebraic ODEs}},

language = {english},

abstract = {The main aim of this thesis is to study new algorithms for determining polynomial, rational and algebraic solutions of first-order algebraic ordinary differential equations (AODEs). The problem of determining closed form solutions of first-order AODEs has a long history, and it still plays a role in many branches of mathematics. There is a bunch of solution methods for specific classes of such ODEs. However still no decision algorithm for general first-order AODEs exists, even for seeking specific kinds of solutions such as polynomial, rational or algebraic functions. Our interests are algebraic general solutions, rational general solutions, particular rational solutions and polynomial solutions. Several algorithms for determining these kinds of solutions for first-order AODEs are presented.We approach first-order AODEs from several aspects. By considering the derivative as a new indeterminate, a first-order AODE can be viewed as a hypersurface over the ground field. Therefore tools from algebraic geometry are applicable. In particular, we use birational transformations of algebraic hypersurfaces to transform the differential equation to another one for which we hope that it is easier to solve. This geometric approach leads us to a procedure for determining an algebraic general solution of a parametrizable first-order AODE. A general solution contains an arbitrary constant. For the problem of determining a rational general solution in which the constant appears rationally, we propose a decision algorithm for the general class of first-order AODEs.The geometric method is not applicable for studying particular rational solutions. Instead, we study this kind of solutions from combinatorial and algebraic aspects. In the combinatorial consideration, poles of the coefficients of the differential equation play an important role in the estimation of candidates for poles of a rational solution and their multiplicities. An algebraic method based on algebraic function field theory is proposed to globally estimate the degree of a rational solution. A combination of these methods leads us to an algorithm for determining all rational solutions for a generic class of first-order AODEs, which covers every first-order AODEs from Kamke's collection. For polynomial solutions, the algorithm works for the general class of first-order AODEs.},

number = {16-11},

year = {2016},

month = {12},

note = {Thesis Dissertation},

length = {93},

type = {RISC Report Series},

institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},

address = {Schloss Hagenberg, 4232 Hagenberg, Austria}

}

**techreport**{RISC5387,author = {N. Thieu Vo},

title = {{Rational and Algebraic Solutions of First-Order Algebraic ODEs}},

language = {english},

abstract = {The main aim of this thesis is to study new algorithms for determining polynomial, rational and algebraic solutions of first-order algebraic ordinary differential equations (AODEs). The problem of determining closed form solutions of first-order AODEs has a long history, and it still plays a role in many branches of mathematics. There is a bunch of solution methods for specific classes of such ODEs. However still no decision algorithm for general first-order AODEs exists, even for seeking specific kinds of solutions such as polynomial, rational or algebraic functions. Our interests are algebraic general solutions, rational general solutions, particular rational solutions and polynomial solutions. Several algorithms for determining these kinds of solutions for first-order AODEs are presented.We approach first-order AODEs from several aspects. By considering the derivative as a new indeterminate, a first-order AODE can be viewed as a hypersurface over the ground field. Therefore tools from algebraic geometry are applicable. In particular, we use birational transformations of algebraic hypersurfaces to transform the differential equation to another one for which we hope that it is easier to solve. This geometric approach leads us to a procedure for determining an algebraic general solution of a parametrizable first-order AODE. A general solution contains an arbitrary constant. For the problem of determining a rational general solution in which the constant appears rationally, we propose a decision algorithm for the general class of first-order AODEs.The geometric method is not applicable for studying particular rational solutions. Instead, we study this kind of solutions from combinatorial and algebraic aspects. In the combinatorial consideration, poles of the coefficients of the differential equation play an important role in the estimation of candidates for poles of a rational solution and their multiplicities. An algebraic method based on algebraic function field theory is proposed to globally estimate the degree of a rational solution. A combination of these methods leads us to an algorithm for determining all rational solutions for a generic class of first-order AODEs, which covers every first-order AODEs from Kamke's collection. For polynomial solutions, the algorithm works for the general class of first-order AODEs.},

number = {16-11},

year = {2016},

month = {12},

note = {Thesis Dissertation},

length = {93},

type = {RISC Report Series},

institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},

address = {Schloss Hagenberg, 4232 Hagenberg, Austria}

}

### Rational and Algebraic Solutions of First-Order Algebraic ODEs

#### N. Thieu Vo

Research Institute for Symbolic Computation. PhD Thesis. 2016. [pdf]@

author = {N. Thieu Vo},

title = {{Rational and Algebraic Solutions of First-Order Algebraic ODEs}},

language = {english},

year = {2016},

translation = {0},

school = {Research Institute for Symbolic Computation},

length = {93}

}

**phdthesis**{RISC5399,author = {N. Thieu Vo},

title = {{Rational and Algebraic Solutions of First-Order Algebraic ODEs}},

language = {english},

year = {2016},

translation = {0},

school = {Research Institute for Symbolic Computation},

length = {93}

}