Prof. Dr. Werner M. Seiler
Research Interest
Differentialgleichungen, Kommutative Algebra, Mathematische Physik, Computeralgebra
Projects as Principal Investigator
03/2022 - 10/2026 | |
03/2018 - 03/2019 | |
02/2018 - 04/2022 | |
07/2016 - 09/2017 | |
07/2016 - 08/2016 | |
07/2016 - 06/2018 | |
09/2015 - 09/2015 | |
06/2014 - 10/2026 | |
06/2014 - 04/2015 | |
11/2011 - 12/2011 | |
Projects as Co-Investigator
10/2006 - 10/2008 | |
10/2006 - 10/2008 | |
Publications
2017 | Seiler, W., 2017. SC^2 Challenges: When Satisfiability Checking and Symbolic Computation Join Forces, in: Reger, G., Traytel, D. (Hrsg.), Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2017). Easy Chair, Internet, S. 6–10. |
2016 | Gerdt, V.P., Koepf, W., Seiler, W., Vorozhtsov, E.V. (Hrsg.), 2016. Computer Algebra in Scientific Computing, 18th International Workshop, Bucharest, Romania, September 19-23, 2016. Springer, Berlin. |
2016 | Binaei, B., Hashemi, A., Seiler, W., 2016. Improved computation of involutive bases, in: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.. (Hrsg.), Computer algebra in scientific computing. Springer, Cham, S. 58–72. https://doi.org/10.1007/978-3-319-45641-6_5 |
2016 | |
2016 | |
2015 | Seiler, W., Zerz, E., 2015. Algebraic theory of linear systems: A survey, in: Ilchmann, A., Reis, T. (Hrsg.), Surveys in differential-algebraic equations. II. Springer, Cham, S. 287–333. https://doi.org/10.1007/978-3-319-11050-9_5 |
2015 | Koepf, W., Gerdt, V.P., Seiler, W., Vorozhtsov, E.V. (Hrsg.), 2015. Computer Algebra in Scientific Computing, 17th International Workshop, Aachen, September 14-18, 2015. Springer, Cham. |
2015 | |
2015 | Albert, M., Fetzer, M., Seiler, W., 2015. Janet bases and resolutions in CoCoALib, in: Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (Hrsg.), Computer algebra in scientific computing. Springer, Cham, S. 15–29. https://doi.org/10.1007/978-3-319-24021-3_2 |
2015 | |
