Maximilian Jaroschek

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 12

Top Topics

Generation Method

Algebraic Geometry

Piecewise Polynomial

Top Venues

J. Symb. Comput.

Publications

Maximilian Jaroschek, Manuel Kauers, Laura Kovács
Lonely Points in Simplices. Discret. Comput. Geom. 69 (1) (2023)
Moulay A. Barkatou, Maximilian Jaroschek
Removing apparent singularities of linear difference systems. J. Symb. Comput. 102 (2021)
Maximilian Jaroschek, Manuel Kauers, Laura Kovács
Lonely Points in Simplices. CoRR (2019)
Moulay A. Barkatou, Maximilian Jaroschek
Desingularization of First Order Linear Difference Systems with Rational Function Coefficients. ISSAC (2018)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Aligator.jl - A Julia Package for Loop Invariant Generation. CICM (2018)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Invariant Generation for Multi-Path Loops with Polynomial Assignments. CoRR (2018)
Moulay A. Barkatou, Maximilian Jaroschek
Desingularization of First Order Linear Difference Systems with Rational Function Coefficients. CoRR (2018)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Aligator.jl - A Julia Package for Loop Invariant Generation. CoRR (2018)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Invariant Generation for Multi-Path Loops with Polynomial Assignments. VMCAI (2018)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. CoRR (2017)
Moulay A. Barkatou, Maximilian Jaroschek, Suzy S. Maddah
Formal solutions of completely integrable Pfaffian systems with normal crossings. J. Symb. Comput. 81 (2017)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. ISSAC (2017)
Moulay A. Barkatou, Maximilian Jaroschek, Suzy S. Maddah
Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings. CoRR (2015)
Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine
Adapting Real Quantifier Elimination Methods for Conflict Set Computation. FroCos (2015)
Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine
Adapting Real Quantifier Elimination Methods for Conflict Set Computation. CoRR (2015)
Maximilian Jaroschek
Radicals of ore polynomials. ACM Commun. Comput. Algebra 49 (1) (2015)
Maximilian Jaroschek
Improved Polynomial Remainder Sequences for Ore Polynomials. CoRR (2015)
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer
Desingularization explains order-degree curves for ore operators. ISSAC (2013)
Maximilian Jaroschek
Improved polynomial remainder sequences for Ore polynomials. J. Symb. Comput. 58 (2013)
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer
Desingularization Explains Order-Degree Curves for Ore Operators CoRR (2013)
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson
Ore Polynomials in Sage. CoRR (2013)
Maximilian Jaroschek
Improved polynomial remainder sequences for ore polynomials. ACM Commun. Comput. Algebra 46 (3/4) (2012)