MiSo: A DSL for Robust and Efficient Solve and MInimize Problems
Federico Sichetti, Enrico Puppo, Zizhou Huang, Marco Attene, Denis Zorin, Daniele Panozzo
Journal
SIGGRAPH 2025
Domain-Specific Language
Compiler
Interval Arithmetic
Robust Geometric Computation
Code Generation
Numerical Optimization