Computer Algebra for Differential Equations

@inproceedings{RISC5432,
author = {Christoph Fuerst and Alexander Levin},
title = {{Relative Reduction and Buchberger’s Algorithm in Filtered Free Modules}},
booktitle = {{Mathematics in Computer Science}},
language = {english},
pages = {1--11},
isbn_issn = {1661-8289},
year = {2017},
editor = {W. Koepf},
refereed = {yes},
length = {11}
}

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

@inproceedings{RISC5478,
author = {Jose Capco and Georg Grasegger and Matteo Gallet and Christoph Koutschan and Niels Lubbes and Josef Schicho},
title = {{Computing the number of realizations of a Laman graph}},
booktitle = {{Electronic Notes in Discrete Mathematics (Proceedings of Eurocomb 2017)}},
language = {english},
abstract = {Laman graphs model planar frameworks which are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. In a recent paper we provide a recursion formula for this number of realizations using ideas from algebraic and tropical geometry. Here, we present a concise summary of this result focusing on the main ideas and the combinatorial point of view.},
volume = {61},
pages = {207--213},
isbn_issn = {ISSN 1571-0653},
year = {2017},
editor = {Vadim Lozin},
refereed = {yes},
keywords = {Laman graph; minimally rigid graph; tropical geometry; euclidean embedding; graph realization},
length = {7},
conferencename = {The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17)},
url = {http://www.koutschan.de/data/laman/}
}

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

@inproceedings{RISC5154,
author = {Christoph Fuerst and Guenter Landsmann},
title = {{Computation of Dimension in Filtered Free Modules by Gröbner Reduction}},
booktitle = {{Proceedings of the International Symposium on Symbolic and Algebraic Computation}},
language = {english},
pages = {181--188},
isbn_issn = {978-1-4503-3435-8},
year = {2015},
editor = {ACM},
refereed = {yes},
length = {8},
conferencename = {ISSAC '15},
url = {http://doi.acm.org/10.1145/2755996.2756680}
}

@inproceedings{RISC5018,
author = {G. Grasegger and F. Winkler},
title = {{Symbolic Solutions of First-Order Algebraic ODEs}},
booktitle = {{Computer algebra and polynomials}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {8942},
pages = {94--104},
publisher = {Springer International Publishing},
isbn_issn = {ISSN 0302-9743},
year = {2015},
editor = {J. Gutierrez and J. Schicho and M. Weimann},
refereed = {yes},
length = {11},
url = {http://dx.doi.org/10.1007/978-3-319-15081-9_5}
}

@inproceedings{RISC5151,
author = {A. Maletzky},
title = {{Automated Reasoning in Reduction Rings using the Theorema System}},
booktitle = {{Computer Algebra in Scientific Computing}},
language = {english},
series = {LNCS},
volume = {9301},
pages = {305--319},
publisher = {Springer-Verlag Berlin Heidelberg},
isbn_issn = {ISSN 0302-9743},
year = {2015},
note = {The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-24021-3_23},
editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov},
refereed = {yes},
length = {15},
conferencename = {CASC 2015 (September 14-18, Aachen, Germany)},
url = {http://dx.doi.org/10.1007/978-3-319-24021-3_23}
}