Maximilian Jaroschek

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Lonely Points in Simplices.
Discret. Comput. Geom., 2023

2021
Removing apparent singularities of linear difference systems.
J. Symb. Comput., 2021

2018
Invariant Generation for Multi-Path Loops with Polynomial Assignments.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Aligator.jl - A Julia Package for Loop Invariant Generation.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Desingularization of First Order Linear Difference Systems with Rational Function Coefficients.
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.
J. Symb. Comput., 2017

Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

2015
Ore Polynomials in Sage.
Proceedings of the Computer Algebra and Polynomials, 2015

Radicals of ore polynomials.
ACM Commun. Comput. Algebra, 2015

Adapting Real Quantifier Elimination Methods for Conflict Set Computation.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2013
Ore Polynomials in Sage.
CoRR, 2013

Desingularization explains order-degree curves for ore operators.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012
Improved polynomial remainder sequences for ore polynomials.
ACM Commun. Comput. Algebra, 2012


  Loading...