Mathematics
and Interactions

MSC > 13Pxx Computational aspects and applications > 13P99 None of the above, but in this section

• Videos linked to 13P99 None of the above, but in this section
  

  55:38

  published on May 15, 2023

  New modal operators for constructive mathematics

  By Ingo Blechschmidt

  More +