Pages that link to "Item:Q459934"
From MaRDI portal
The following pages link to Approximate bisimulation and optimization of software programs based on symbolic-numeric computation (Q459934):
Displaying 3 items.
- Application of symbolic approach to the Bernstein expansion for program analysis and optimization (Q557508) (← links)
- Quantitative analysis of software approximate correctness (Q1664851) (← links)
- A symbolic computation approach to parameterizing controller for polynomial Hamiltonian systems (Q1719176) (← links)