3 papers
cs.SE2022
Injection testing backed refactoring
Thomas Mejstrik, Clara Hollomey
Injection-based testing while refactoring is a pattern that minimizes the need for manual editing when altering the behaviour of a code base. Neither does it rely on a compilation…
math.NA2021
Elliptic polytopes and invariant norms of linear operators
Thomas Mejstrik, Vladimir Yu. Protasov
We address the problem of constructing elliptic polytopes in R^d, which are convex hulls of finitely many two-dimensional ellipses with a common center. Such sets arise in the stud…
math.NA2018
Improved invariant polytope algorithm and applications
Thomas Mejstrik
In several papers of 2013 - 2016, Guglielmi and Protasov made a breakthrough in the problem of the joint spectral radius computation, developing the invariant polytope algorithm wh…