Online registration is closed for this event. If available, tickets on the day of the event may incur an additional charge.

QED: a conversation about math and math education

Hosted by Ingrid Daubechies

  

Featuring Colleen Robles

Monday, September 11 at 6:30 pm ET

(online)

Join MoMath's 2023-2024 Distinguished Visiting Professor Ingrid Daubechies for an hour of math learning, designed with you in mind.  This month, Ingrid welcomes Colleen Robles, professor of mathematics at Duke University where she led a team of undergraduate students who developed a teaching aid for an introductory linear algebra course.  Using Lean, an open software tool that allows encoding formal proofs in its own functional programming language, the package they put together plays out like a game that allows students to write formal proofs in linear algebra. 

When
September 11th, 2023 from  6:30 pm to  7:30 pm
Location
MoMath Online
(Zoom link will be emailed after registration)
United States
Contact
Phone: (212) 542-0566
Event Fee(s)
Registration
Event fee optional $0.00
Event fee $15.00
Event fee plus $15 donation to support families in need $30.00