Hilbert Basis Theorem in Coq
Résumé
A constructive proof of Hilbert's basis theorem in Coq/Rocq
A constructive proof of Hilbert's basis theorem in Coq/Rocq
Connectez-vous pour contacter le contributeur
https://hal.science/hal-05131545
Soumis le : jeudi 26 juin 2025-15:01:25
Dernière modification le : mardi 4 novembre 2025-11:58:26