2 papers
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…
cs.PL2025
Domain-Specific Tensor Languages
Jean-Philippe Bernardy, Patrik Jansson
The tensor notation used in several areas of mathematics is a useful one, but it is not widely available to the functional programming community. In a practical sense, the (embedde…