The following pages link to (Q5485626):
Displaying 7 items.
- Algebraic specification of documents (Q1129133) (← links)
- Topologically sweeping visibility complexes via pseudotriangulations (Q1816465) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math” (Q3100213) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- Some perspectives on statistical computing (Q4664947) (← links)
- Packaging Data Analytical Work Reproducibly Using R (and Friends) (Q5882512) (← links)
