The following pages link to (Q2764131):
Displayed 4 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice (Q3637290) (← links)