DI Dr. Sebastian Falkensteiner

Research Area

Differential algebra, Tropical Differential Algebra

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: -2.12-2

Postal Address

Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria

Phone

+43 732 2468 9967

+436649319610 (mobile)

eMail

falkensteiner@risc.jku.at

Courses

Course Id	Title	Registration	Type	Hours	Teachers	Rhythm
368.195 (2021S)	Algebra	Register	UE	2,0	Sebastian Falkensteiner	Weekly
326.009 (2021S)	Introductory Exercises in Mathematics	Register	UE	2,0	Sebastian Falkensteiner	Weekly
326.133 (2021S)	Special Topics symbolic computation Tropical Geometry Further information	Register	VL	1,0	Sebastian Falkensteiner	Weekly

Content provided by KUSSS, Johannes Kepler University Linz | E-Mail

Software

FirstOrderSolve

A Maple package for computing local and algebraic solutions of first order autonomous AODEs

This Maple package computes power series, Puiseux series and algebraic solutions of first order autonomous ordinary differential equations where the unknown function and its derivative fulfill a polynomial equation. The standard commands of Maple might not find these solutions and ...

Authors: Sebastian Falkensteiner

More Software Website

Publications

2020

[Falkensteiner]

Power Series Solutions of AODEs - Existence, Uniqueness, Convergence and Computation

S. Falkensteiner

RISC Hagenberg, Johannes Kepler University Linz. PhD Thesis. June 2020. Also available as RISC report no. 20-13. [pdf]

[bib]

@phdthesis{RISC6120,
author = {S. Falkensteiner},
title = {{Power Series Solutions of AODEs - Existence, Uniqueness, Convergence and Computation}},
language = {english},
year = {2020},
month = {June},
note = {Also available as RISC report no. 20-13},
translation = {0},
school = {RISC Hagenberg, Johannes Kepler University Linz},
length = {146}
}

[Falkensteiner]

Algebraic, Rational and Puiseux Series Solutions of Systems of Autonomous Algebraic ODEs of Dimension One

J. Cano, S. Falkensteiner, R. Sendra

Mathematics in Computer Science, pp. 1-10. 2020. ISSN 0001. in press. [url]

[bib]

@article{RISC6261,
author = {J. Cano and S. Falkensteiner and R. Sendra},
title = {{Algebraic, Rational and Puiseux Series Solutions of Systems of Autonomous Algebraic ODEs of Dimension One}},
language = {english},
journal = {Mathematics in Computer Science},
pages = {1--10},
isbn_issn = {ISSN 0001},
year = {2020},
note = {in press},
refereed = {yes},
keywords = {Algebraic autonomous ordinary differential equation, Formal Puiseux series solution, Algebraic solutions, Rational solutions, Convergent solution, Algebraic space curve},
length = {10},
url = {https://doi.org/10.1007/s11786-020-00478-w}
}

[Falkensteiner]

Existence and convergence of Puiseux series solutions for first order autonomous differential equations

J. Cano, S. Falkensteiner, R. Sendra

Journal of Symbolic Computation, pp. 1-17. 2020. ISSN 0001. in press. [url]

[bib]

@article{RISC6262,
author = {J. Cano and S. Falkensteiner and R. Sendra},
title = {{Existence and convergence of Puiseux series solutions for first order autonomous differential equations}},
language = {english},
journal = {Journal of Symbolic Computation},
pages = {1--17},
isbn_issn = {ISSN 0001},
year = {2020},
note = {in press},
refereed = {yes},
keywords = {Algebraic differential equation, Algebraic curve, Place, Formal Puiseux series solution, Convergent solution},
length = {17},
url = {http://doi.org/10.1016/j.jsc.2020.06.010}
}

[Falkensteiner]

The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry

S. Falkensteiner, C. Garay-Lopez, M. Haiech, M. P. Noordman, Z. Toghani, F. Boulier

In: ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, Angelos Mantzaflaris (ed.), Proceedings of 45th International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 178-185. 07 2020. Association for Computing Machinery, ISBN 9781450371001.

[bib]

@inproceedings{RISC6263,
author = {S. Falkensteiner and C. Garay-Lopez and M. Haiech and M. P. Noordman and Z. Toghani and F. Boulier},
title = {{The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry}},
booktitle = {{ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation}},
language = {english},
pages = {178--185},
publisher = {Association for Computing Machinery},
isbn_issn = {ISBN 9781450371001},
year = {2020},
month = {07},
annote = {Distinguished Paper Award},
editor = {Angelos Mantzaflaris},
refereed = {yes},
keywords = {Differential Algebra, Power series solutions, Arc spaces, Newton Polytope, Tropical Differential Algebraic Geometry},
length = {8},
conferencename = {45th International Symposium on Symbolic and Algebraic Computation (ISSAC)}
}

2019

[Falkensteiner]

Solving First Order Autonomous Algebraic Ordinary Differential Equations by Places

S. Falkensteiner, R. Sendra

Mathematics in Computer Science 14, pp. 327-337. 12 2019. ISSN 1661-8289. [url]

[bib]

@article{RISC6035,
author = {S. Falkensteiner and R. Sendra},
title = {{Solving First Order Autonomous Algebraic Ordinary Differential Equations by Places}},
language = {english},
journal = {Mathematics in Computer Science},
volume = {14},
pages = {327--337},
isbn_issn = {ISSN 1661-8289},
year = {2019},
month = {12},
refereed = {yes},
keywords = {Algebraic autonomous differential equation, Algebraic curve, Local parametrization, Place, Formal power series solution, Analytic solution},
length = {11},
url = {https://doi.org/10.1007/s11786-019-00431-6}
}