Proof Style and Understanding in Mathematics I: Visualization, Unification and Axiom Choice

By Jamie Tappenden. 2005

48 citations recorded by the source corpus.

Subfields: Education, Geometry and Topology, Theoretical Computer Science

View Paper: https://www.semanticscholar.org/paper/db03ed2a85d93046471861821035a75aac730b9b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Education

  1. Marc Lange

In Geometry and Topology

  1. Marc Lange

In Theoretical Computer Science

  1. Marc Lange

Citations in the corpus