automorphisms Kronecker
Semi-proof of conversion to semi-linear equations
trace forms
cas quadratique
preuve construction gamma
norme de la forme bilinéaire
R^τ au lieu de R^†
ajouté Kronecker car.2
inséré intrinsèque
diagonalisation sur R
hyperbolique + dim6
terminologie: réduction
preuve de polynomialité avec Gröbner
prouvé les automorphismes de K_d
réduction dim 4
essai
Exemple d'IP1S décisionnel