Daniele Taufer's repositories
Computational-Algebra
Material for the computational algebra lecture of 19/05/22 at the University of Trento
Elliptic-Loops
Formal verification and concrete examples
First-degree-prime-ideals
arXiv:2111.04660
Hessian-Graphs
SAGE functions to compute Hessian graphs and efficient iterated Hessian.
SchemesEvincedByGADs
Programs and examples of computations of schemes evinced by generalized additive decompositions (GADs)