The following pages link to Structured calculational proof (Q1267033):
Displaying 8 items.
- Structured derivations: a unified proof style for teaching mathematics (Q607406) (← links)
- Heuristics for a calculational proof (Q674267) (← links)
- Text structure and proof structure (Q1582321) (← links)
- Formality works (Q1607091) (← links)
- On the desirability of mechanizing calculational proofs (Q1607098) (← links)
- Towards verified handwritten calculational proofs (short paper) (Q1791183) (← links)
- From Boolean algebra to unified algebra (Q1889959) (← links)
- Formalizing a Hierarchical Structure of Practical Mathematical Reasoning (Q4272504) (← links)