
Lonely Points in Simplices
Given a lattice L in Z^m and a subset A of R^m, we say that a point in A...
read it

Aligator.jl  A Julia Package for Loop Invariant Generation
We describe the Aligator.jl software package for automatically generatin...
read it

Desingularization of First Order Linear Difference Systems with Rational Function Coefficients
It is well known that for a first order system of linear difference equa...
read it

Invariant Generation for MultiPath Loops with Polynomial Assignments
Program analysis requires the generation of program properties expressin...
read it

Automated Generation of NonLinear Loop Invariants Utilizing Hypergeometric Sequences
Analyzing and reasoning about safety properties of software systems beco...
read it

Improved Polynomial Remainder Sequences for Ore Polynomials
Polynomial remainder sequences contain the intermediate results of the E...
read it

Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings
In this paper, we present an algorithm for computing a fundamental matri...
read it
Maximilian Jaroschek
is this you? claim profile