Pages that link to "Item:Q633151"
From MaRDI portal
The following pages link to An algorithm for automatically selecting a suitable verification method for linear systems (Q633151):
Displaying 4 items.
- A method of obtaining verified solutions for linear systems suited for Java (Q861896) (← links)
- Automatic verification of differential characteristics: application to reduced Gimli (Q2102064) (← links)
- Verified numerical computations for large-scale linear systems. (Q2662465) (← links)
- Parsimonious, Simulation Based Verification of Linear Systems (Q4633548) (← links)