Blog
Articles plus longs sur les mathématiques, la formalisation et mes outils.
-
Calculer les corps quadratiques avec des coordonnées
L'idée centrale de QuadraticNumberFields est de séparer la propriété abstraite, la catégorie des objets quadratiques et le modèle calculable Qsqrtd d.