The following pages link to (Q4499160):
Displaying 7 items.
- Some remarks on blowing-ups in a computer algebra system (Q947001) (← links)
- Invariants for the FoCaL language (Q2379680) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Mathematical knowledge management in Foc (Q2767924) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
- Certified Computer Algebra on Top of an Interactive Theorem Prover (Q5428262) (← links)
- Comparative verification of the digital library of mathematical functions and computer algebra systems (Q6535563) (← links)