The following pages link to (Q3012165):
Displaying 9 items.
- Verified computation of fast decreasing polynomials (Q1971076) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- (Q2718897) (← links)
- On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic (Q2922635) (← links)
- Interval Arithmetic in Maple with intpakX (Q3061518) (← links)
- (Q3766816) (← links)
- Numerical Software with Result Verification (Q5308343) (← links)
- Numerical Software with Result Verification (Q5308344) (← links)
- Representational reasoning and verification (Q5930073) (← links)