1
Ring of Integers of a Quadratic Field (Formalisation-Oriented)
▶
1.1
Trace and norm
1.2
The case \(d \neq 1 \bmod {4}\)
1.3
The case \(d = 1 \bmod {4}\)
2
Ring of Integers of a Quadratic Field (Human-Oriented)
Dependency graph
Quadratic Integers
Riccardo Brasca and Pietro Monticone
1
Ring of Integers of a Quadratic Field (Formalisation-Oriented)
1.1
Trace and norm
1.2
The case \(d \neq 1 \bmod {4}\)
1.3
The case \(d = 1 \bmod {4}\)
2
Ring of Integers of a Quadratic Field (Human-Oriented)