The following pages link to (Q3002926):
Displaying 8 items.
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- Computer-assisted proofs in analysis (Q1080247) (← links)
- Integrating computer algebra into proof planning (Q1272609) (← links)
- On computer-assisted proofs in ordinal number theory (Q1284712) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- (Q3490999) (← links)
- Certified Computer Algebra on Top of an Interactive Theorem Prover (Q5428262) (← links)
- Combinatorial approach to detection of fixed points, periodic orbits, and symbolic dynamics (Q6105871) (← links)