Research - Interactions - Science Communication
https://geometry-dynamics.mathi.uni-heidelberg.de/
hegl.mathi.uni-heidelberg.de
www.springer.com/de
www.heidelberg-mains.org
www.heidelberg-laureate-forum.org
hegl.mathi.uni-heidelberg.de
www.springer.com/de
www.heidelberg-mains.org
www.heidelberg-laureate-forum.org
#math #geometry
#math #geometry
You can find answers to both questions in a recent HEGL blog post about a student seminar that was focused on creating materials for school use.
hegl.mathi.uni-heidelberg.de/unterrichtsv...
You can find answers to both questions in a recent HEGL blog post about a student seminar that was focused on creating materials for school use.
hegl.mathi.uni-heidelberg.de/unterrichtsv...
hegl.mathi.uni-heidelberg.de/registration...
hegl.mathi.uni-heidelberg.de/registration...
hegl.mathi.uni-heidelberg.de/braesss-para...
#geometry #math
hegl.mathi.uni-heidelberg.de/braesss-para...
#geometry #math
#math #geometry
#math #geometry
This was tackled in a student seminar at HEGL by working with Lean, a proof assistant used to create and verify proofs. In their blog post (tinyurl.com/4hdm2x25) you can find more details on Lean and Constructive Algebra.
#maths #geometry
This was tackled in a student seminar at HEGL by working with Lean, a proof assistant used to create and verify proofs. In their blog post (tinyurl.com/4hdm2x25) you can find more details on Lean and Constructive Algebra.
#maths #geometry
See tinyurl.com/5caxtzj9 to find out more about our workshops.
#math #outreach #geometry
See tinyurl.com/5caxtzj9 to find out more about our workshops.
#math #outreach #geometry
Join us (14:15 in SR 3) and learn how one can use formal proofs and computer programs to create mathematical games.
More about the Seminar:
matematiflo.github.io/HEGL_IMS_WiS...
Join us (14:15 in SR 3) and learn how one can use formal proofs and computer programs to create mathematical games.
More about the Seminar:
matematiflo.github.io/HEGL_IMS_WiS...
…a workshop about the game Dobble (Spot it) and projective geometry
… our HEGL Winter activity: Einstein tiling and folding Bascetta stars
… HEGL Community Seminar by
@manonym025.bsky.social about communicating math
…a workshop about the game Dobble (Spot it) and projective geometry
… our HEGL Winter activity: Einstein tiling and folding Bascetta stars
… HEGL Community Seminar by
@manonym025.bsky.social about communicating math
You can also find us on mathstodon @Geometry_Dynamics_Heidelberg
You can also find us on mathstodon @Geometry_Dynamics_Heidelberg