On dynamically presenting a topology course

DOI10.1023/A:1022963714083zbMath1033.68734OpenAlexW1900201968MaRDI QIDQ1810914

Jeremy Gow, Paul Cairns, Peter J. Collins

Publication date: 9 June 2003

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022963714083

zbMATH Keywords

Pólyahypertextproof presentationstructured proof

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Related Items (1)

A Review of Mathematical Knowledge Management

This page was built for publication: On dynamically presenting a topology course