Home Page - Metamathhttps://us.metamath.org/
logic. New Foundations Explorer - Constructs mathematics from scratch, starting from Quine's NF set theory axioms. Higher-Order Logic Explorer - Starts with HOL (also called simpl
Henri Picciotto's Résumé | MathEd.pagehttps://www.mathed.page/resume/
2002 "Building Visual Foundations for Calculus", with Richard Lautze California Math Council, Northern Section, Asilomar, December 2001 "Le diagramme-fonction et la géom&eg
Henri Picciotto's CV: math educator, teacher, department chair, curriculum developer, author, consultant, presenter, workshop leader, cryptic crossword constructor'
That's everything I could find.
Help make me smarter by submitting a page.