Mathematics
and Interactions

Ingo Blechschmidt

zbMATH link

https://www.ingo-blechschmidt.eu/

University of Padua

• 2 videos
  

  55:38

  published on May 15, 2023

  New modal operators for constructive mathematics

  By Ingo Blechschmidt

  

  34:33

  published on December 3, 2015

  Using the internal language of toposes in algebraic geometry

  By Ingo Blechschmidt