The following pages link to (Q4499152):
Displaying 4 items.
- Enabling Symbolic and Numerical Computations in HOL Light (Q3453133) (← links)
- OpenMath in SCIEnce: SCSCP and POPCORN (Q3637305) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
- A Rule-Based System for Computation and Deduction in Mathematica (Q6486033) (← links)