Maximilian Jaroschek

Available identifiers

zbMath Open jaroschek.maximilianMaRDI QIDQ504410

List of research outcomes

Publication	Date of Publication	Type
Lonely points in simplices	2023-01-23	Paper
Removing apparent singularities of linear difference systems	2020-09-19	Paper
Desingularization of First Order Linear Difference Systems with Rational Function Coefficients	2020-09-09	Paper
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences	2020-09-09	Paper
Invariant Generation for Multi-Path Loops with Polynomial Assignments	2020-07-07	Paper
Aligator.jl -- a Julia package for loop invariant generation	2018-10-18	Paper
Adapting real quantifier elimination methods for conflict set computation	2017-02-27	Paper
Desingularization explains order-degree curves for Ore operators	2017-02-10	Paper
Formal solutions of completely integrable Pfaffian systems with normal crossings	2017-01-16	Paper
Ore polynomials in Sage	2016-05-25	Paper
Improved polynomial remainder sequences for Ore polynomials	2014-03-03	Paper

Research outcomes over time

This page was built for person: Maximilian Jaroschek