Barbara Post
Papers:
339
Building a Bridge from Elementary School Mathematics to Formal Geometry