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

Clemens Hofstadler

  1. Short proofs of ideal membership
    2023/02/06 by Clemens Hofstadler, Hofstadler, Clemens, Thibaut Verron +1 · 2 citations
    Computer Science · Mathematics · #Algebraic structures and combinatorial models #Coding theory and cryptography #Commutative Algebra and Its Applications #FOS: Computer and information sciences #Symbolic Computation (cs.SC)