Home Page - Metamathhttps://us.metamath.org/
who aren't professional mathematicians. Proofs stay proven. In many systems changes to a system's syntax or tactics cause older proofs to stop being verifiable. Metamath's approac
Henri Picciotto's Résumé | MathEd.pagehttps://www.mathed.page/resume/
Bay Area Teachers and Mathematicians, San Jose, July 2019 Presentation: "Running Math Teachers' Circles: Some Suggestions" Chapin School, New York NY, (2015-2019) Consultant and f
Henri Picciotto's CV: math educator, teacher, department chair, curriculum developer, author, consultant, presenter, workshop leader, cryptic crossword constructor'
All links @ cidoku.nethttp://cidoku.net/en/links/all
3000 biographies of mathematicians and thousands more articles about the history of mathematics. Metamath A database of mathematical proofs constructed from scratch from various d
Todos los enlaces @ cidoku.nethttp://cidoku.net/links/all
3000 biographies of mathematicians and thousands more articles about the history of mathematics. Metamath A database of mathematical proofs constructed from scratch from various d
Find more...