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
326.055 (2021W)	Analysis Further information	Register	UE	2,0	Sebastian Falkensteiner	Weekly
326.107 (2021W)	Ordinary differential equations and dynamical systems	Register	UE	1,0	Sebastian Falkensteiner	Weekly
326.705 (2021W)	Mathematics and Logic	Register	UE	1,0	Sebastian Falkensteiner	Weekly
326.704 (2021W)	Mathematics and Logic	Register	UE	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

2021

[Falkensteiner]

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

J. Cano, S. Falkensteiner, R. Sendra

Journal of Symbolic Computation 108, pp. 137-151. 2021. ISSN 0747-7171. [doi]

[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},
volume = {108},
pages = {137--151},
isbn_issn = {ISSN 0747-7171},
year = {2021},
refereed = {yes},
keywords = {Algebraic differential equation, Algebraic curve, Place, Formal Puiseux series solution, Convergent solution},
length = {15},
url = {http://doi.org/10.1016/j.jsc.2020.06.010}
}

[Falkensteiner]

Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package

F. Boulier, J. Cano, S. Falkensteiner, R. Sendra

In: Communications in Computer and Information Science, Rob Corless, Jürgen Gerhard and Ilias Kotsireas (ed.), Proceedings of Maple Conference 2020, pp. 1-15. 2021. ISSN 1865-0929. [url]

[bib]

@inproceedings{RISC6334,
author = {F. Boulier and J. Cano and S. Falkensteiner and R. Sendra},
title = {{Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package}},
booktitle = {{Communications in Computer and Information Science}},
language = {english},
pages = {1--15},
isbn_issn = {ISSN 1865-0929},
year = {2021},
editor = {Rob Corless and Jürgen Gerhard and Ilias Kotsireas},
refereed = {yes},
keywords = {Maple, Symbolic computation, Algebraic differential equation, Formal Puiseux series solution, Algebraic solution},
length = {15},
conferencename = {Maple Conference 2020},
url = {arxiv.org/abs/2103.03646}
}

[Falkensteiner]

On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry

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

Journal of Symbolic Computation, pp. 1-22. 2021. ISSN: 0747-7171. [url]

[bib]

@article{RISC6335,
author = {S. Falkensteiner and C. Garay-Lopez and M. Haiech and M. P. Noordman and F. Boulier and Z. Toghani},
title = {{On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry}},
language = {english},
journal = {Journal of Symbolic Computation},
pages = {1--22},
isbn_issn = {ISSN: 0747-7171},
year = {2021},
refereed = {yes},
keywords = {Differential Algebra, Tropical Differential Algebraic Geometry, Power Series Solutions, Newton Polyhedra, Arc Spaces, Tropical Differential Equations, Initial forms of Differential Polynomials},
length = {22},
url = {http://hal.archives-ouvertes.fr/hal-03122437v1/document}
}

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 15, pp. 189-198. 2020. ISSN 16618289. [doi]

[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},
volume = {15},
pages = {189--198},
isbn_issn = {ISSN 16618289},
year = {2020},
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]

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. [doi]

[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}
}