Compiling Linear Algebra Expressions into Efficient Code. - Julien Klaus; Mark Blacher; Joachim Giesen; Paul Gerhardt Rump; Konstantin Wiedom (ICCS (1), 2022)

Convexity Certificates for Symbolic Tensor Expressions. - Paul Gerhardt Rump; Niklas Merk; Julien Klaus; Maurice Wenig; Joachim Giesen (IJCAI, 2024)