List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Lonely points in simplices Discrete & Computational Geometry | 2023-01-23 | Paper |
| Removing apparent singularities of linear difference systems Journal of Symbolic Computation | 2020-09-19 | Paper |
| Desingularization of first order linear difference systems with rational function coefficients Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
| Automated generation of non-linear loop invariants utilizing hypergeometric sequences Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
| Invariant generation for multi-path loops with polynomial assignments Lecture Notes in Computer Science | 2020-07-07 | Paper |
| Aligator.jl -- a Julia package for loop invariant generation (available as arXiv preprint) | 2018-10-18 | Paper |
| Adapting real quantifier elimination methods for conflict set computation Frontiers of Combining Systems | 2017-02-27 | Paper |
| Desingularization explains order-degree curves for Ore operators Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
| Formal solutions of completely integrable Pfaffian systems with normal crossings Journal of Symbolic Computation | 2017-01-16 | Paper |
| Ore polynomials in Sage Lecture Notes in Computer Science | 2016-05-25 | Paper |
| Improved polynomial remainder sequences for Ore polynomials Journal of Symbolic Computation | 2014-03-03 | Paper |
Research outcomes over time
This page was built for person: Maximilian Jaroschek
