Pages that link to "Item:Q5248550"
From MaRDI portal
The following pages link to Checking approximate computations over the reals (Q5248550):
Displaying 9 items.
- A fast randomized algorithm for the approximation of matrices (Q952399) (← links)
- Approximate testing with error relative to input size. (Q1400577) (← links)
- Spot-checkers (Q1577018) (← links)
- Bootstrapping the operator norm in high dimensions: error estimation for covariance matrices and sketching (Q2108486) (← links)
- Checking properties of polynomials (Q4571953) (← links)
- Program result checking: A new approach to making programs more reliable (Q4630244) (← links)
- (Q4633051) (← links)
- Self-correcting for function fields of finite transcendental degree (Q4645210) (← links)
- On black-box verifiable outsourcing (Q6581787) (← links)
