Maximilian Jaroschek

According to our database, Maximilian Jaroschek authored at least 13 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Lonely Points in Simplices.

Maximilian Jaroschek, Manuel Kauers, Laura Kovács

Discret. Comput. Geom., 2023

2021

Removing apparent singularities of linear difference systems.

Moulay A. Barkatou, Maximilian Jaroschek

J. Symb. Comput., 2021

2018

Invariant Generation for Multi-Path Loops with Polynomial Assignments.

Andreas Humenberger, Maximilian Jaroschek, Laura Kovács

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Aligator.jl - A Julia Package for Loop Invariant Generation.

Andreas Humenberger, Maximilian Jaroschek, Laura Kovács

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Desingularization of First Order Linear Difference Systems with Rational Function Coefficients.

Moulay A. Barkatou, Maximilian Jaroschek

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

Formal solutions of completely integrable Pfaffian systems with normal crossings.

Moulay A. Barkatou, Maximilian Jaroschek, Suzy S. Maddah

J. Symb. Comput., 2017

Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences.

Andreas Humenberger, Maximilian Jaroschek, Laura Kovács

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2015

Ore Polynomials in Sage.

Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson

Proceedings of the Computer Algebra and Polynomials, 2015

Radicals of ore polynomials.

Maximilian Jaroschek

ACM Commun. Comput. Algebra, 2015

Adapting Real Quantifier Elimination Methods for Conflict Set Computation.

Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2013

Ore Polynomials in Sage.

Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson

CoRR, 2013

Desingularization explains order-degree curves for ore operators.

Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

Improved polynomial remainder sequences for ore polynomials.

Maximilian Jaroschek

ACM Commun. Comput. Algebra, 2012