2 papers
cs.PL2026
Types, equations, dimensions and the Pi theorem
Nicola Botta, Patrik Jansson
The languages of mathematical physics and modelling are endowed with a rich ``grammar of dimensions'' that common abstractions of programming languages fail to represent. We propos…
math.OC2026
Optimization under uncertainty: understanding orders and testing programs with specifications
Patrik Jansson, Nicola Botta, Tim Richter
One of the most ubiquitous problems in optimization is that of finding all the elements of a finite set at which a function attains its minimum (or maximum). When the codomain…