The following pages link to C-XSC (Q12948):
Displaying 7 items.
- How do you compute the midpoint of an interval? (Q5498687) (← links)
- (Q5706679) (← links)
- Communicating Functional Expressions from Mathematica to C-XSC (Q5747903) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
- Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
- Computational error bounds for multiple or nearly multiple eigenvalues (Q5929752) (← links)
- Rigorous and portable standard functions (Q5952347) (← links)