vix.ing · top · new · best · stats · spec

Ritter, Matthias

  1. Projective Space in Synthetic Algebraic Geometry
    2024/05/22 by Felix Cherubini, Cherubini, Felix, Thierry Coquand +4 · 1 citation
    Engineering · Mathematics · #03B38 #14A99 (Primary) #18N99 (Secondary) #Advanced Numerical Analysis Techniques #Advanced Theoretical and Applied Studies in Material Sciences and Geometry #Algebraic Geometry (math.AG) #FOS: Mathematics #Logic (math.LO) #Mathematics and Applications