Mathias
The sources this bibliography records under this name, in order of publication, and the claims they support.
Claims that cite this work
- Publication-grade audit of the profiled Ds population bridgeAUDIT-DS-POPULATION-BRIDGE
- Publication-grade audit of the DS19 tilt-DP certificate complexAUDIT-DS-PRACTICAL-CERTIFIED-SOLVER
- The multivariate-POI matrix-tilt outer ceiling need not be quasiconvexDS-MATRIX-TILT-NONQUASICONVEX
- Profiled compile verdict is selected by an observable certificate stateDS-PROFILED-COMPILE-CERTIFICATE
- Variational form of the profiled objectiveDS-PROFILED-VARIATIONAL
- Scalar-POI tilt-DP gives a valid two-sided certificate with an exact saddle closure gateDS-TILT-DUAL-CERTIFICATE
- The scalar-POI tilt dual can have an order-one strong-duality gapDS-TILT-DUAL-STRONG-DUALITY-FAILS
- Best practical Ds solver with theorem-backed certificateOPEN-DS-PRACTICAL-CERTIFIED-SOLVER