Moritz Schubotz
@schubotz.bsky.social
It’s amazing to see how formalized mathematics eventually helps people to solve hard mathematical problems at scale.
florisvandoorn.com
#MaRDI #NFDI
florisvandoorn.com
#MaRDI #NFDI
October 9, 2025 at 7:57 AM
It’s amazing to see how formalized mathematics eventually helps people to solve hard mathematical problems at scale.
florisvandoorn.com
#MaRDI #NFDI
florisvandoorn.com
#MaRDI #NFDI
It’s getting closer
September 15, 2025 at 8:37 AM
It’s getting closer
First changeover
September 15, 2025 at 7:12 AM
First changeover
Heading to the #Betriebsausflug in the beautiful Spreewald! Looking forward to an inspiring day with my colleagues from #FIZ. 🛶🌿
@zbmathopen.bsky.social
@zbmathopen.bsky.social
September 15, 2025 at 7:00 AM
Heading to the #Betriebsausflug in the beautiful Spreewald! Looking forward to an inspiring day with my colleagues from #FIZ. 🛶🌿
@zbmathopen.bsky.social
@zbmathopen.bsky.social
#DMV25 #Buchberger Künstliche Intelligenz: Alles Mathematik!
September 2, 2025 at 4:12 PM
#DMV25 #Buchberger Künstliche Intelligenz: Alles Mathematik!
@dtrautwein.eu explains how to count nodes
June 13, 2025 at 2:47 PM
@dtrautwein.eu explains how to count nodes