In 2022, the ALGAR summer school presented ideas and techniques from constructive mathematics in relation to open problems in quadratic form theory.
In 2022, the ALGAR summer school presented ideas and techniques from constructive mathematics in relation to open problems in quadratic form theory.