MiSo: A DSL for Robust and Efficient Solve and MInimize Problems - Sichetti, Federico; Puppo, Enrico; Huang, Zizhou; Attene, Marco; Zorin, Denis; Panozzo, Daniele (ACM transactions on graphics, 2025)
Keywords: Animation; Compilers; Computer graphics; Computing methodologies; Context specific languages; Continuous optimization; Design and analysis of algorithms; Domain specific languages; Interval arithmetic; Mathematical analysis; Mathematical optimization; Mathematics of computing; Mesh geometry models; Nonconvex optimization; Nonlinear equations; Numerical analysis; Physical simulation; Shape modeling; Software and its engineering; Software notations and tools; Source code generation; Theory of computation