Pages that link to "Item:Q405669"
From MaRDI portal
The following pages link to Mathematical programming: Turing completeness and applications to software analysis (Q405669):
Displaying 9 items.
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Constraint qualification failure in action (Q1694785) (← links)
- Alternative regularizations for outer-approximation algorithms for convex MINLP (Q2089881) (← links)
- Maximum feasible subsystems of distance geometry constraints (Q2131137) (← links)
- Side-constrained minimum sum-of-squares clustering: mathematical programming and random projections (Q2131141) (← links)
- Distance geometry and data science (Q2192022) (← links)
- Modern view on Kantorovich's work in software (Q2567696) (← links)
- Analyzing mathematical programs using MProbe (Q5959311) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)