Maximilian Jaroschek

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