Trough

Quadratic forms

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
    
    Mathlib
    
    Mathlib overview
    
    Undergraduate mathematics
    
    Undergraduate mathematics
    
    Linear algebra
    
    Group Theory
    
    Ring Theory
    
    Bilinear and Quadratic Forms Over a Vector Space
    
    Bilinear and Quadratic Forms Over a Vector Space
    
    Bilinear forms
    
    Quadratic forms
    
    Orthogonality
    
    Euclidean and Hermitian spaces
    
    Endomorphisms
    
    Low dimensions
    
    Affine and Euclidean Geometry
    
    Single Variable Real Analysis
    
    Single Variable Complex Analysis
    
    Topology
    
    Multivariable calculus
    
    Measures and integral calculus
    
    Probability Theory
    
    Distribution calculus
    
    Numerical Analysis
    
    Freek Wiedijk's 100 theorems
    
    1000+ theorems
  - Tau Ceti
  - Fermat's Last Theorem (Imperial)
  - PNT+
  - Polynomial Freiman-Ruzsa
  - Equational Theories
  - Strong PNT (Math Inc)
  - Formal Conjectures
  - Fermat's Last Theorem (Anthropic)
  - Classification of Finite Simple Groups (Axiom)
  - Lean Pool
  - Formal Frontier
  - Coverage
  - Sources

Home
Trough
Mathlib
Undergraduate mathematics
Bilinear and Quadratic Forms Over a Vector Space
Quadratic forms

Loading the map…

← Bilinear and Quadratic Forms Over a Vector Space

Quadratic forms

Quadratic form
Polar form of a quadratic

Loading dependency explorer…

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.

Developed with AutoformBot. Formalization source. Articles written for Trough are available under CC BY-SA 4.0; Mathlib's docstrings and signatures under Apache-2.0.