The following pages link to Alexandra Mendes (Q1791182):
Displaying 3 items.
- Towards verified handwritten calculational proofs (short paper) (Q1791183) (← links)
- BGSL: an imperative language for specification and refinement of backtracking programs (Q2096419) (← links)
- A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra (Q2374307) (← links)
