MathBrush

swMATH7461MaRDI QIDQ19491FDOQ19491

Author name not available (Why is that?)

Official website: https://www.scg.uwaterloo.ca/mathbrush/

Described by source

• A preliminary report on the MathBrush pen-math system

Cited In (2)

• FFES
• Towards verified handwritten calculational proofs (short paper)

This page was built for software: MathBrush