The following pages link to (Q3831934):
Displaying 17 items.
- Computer-assisted proof of performance ratios for the differencing method (Q435724) (← links)
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- Computer-assisted proofs in analysis (Q1080247) (← links)
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case (Q1184131) (← links)
- Integrating computer algebra into proof planning (Q1272609) (← links)
- On computer-assisted proofs in ordinal number theory (Q1284712) (← links)
- On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← links)
- Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
- A KAM theory for conformally symplectic systems: efficient algorithms and their validation (Q2435185) (← links)
- Computer assisted proofs in dynamical systems (Q2684072) (← links)
- (Q3002926) (← links)
- (Q3490999) (← links)
- Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces (Q3795214) (← links)
- (Q4011803) (← links)
- (Q4011815) (← links)
- (Q5376649) (← links)
- Certified Computer Algebra on Top of an Interactive Theorem Prover (Q5428262) (← links)
