Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method

From MaRDI portal