Theorems · Definition · algebraic geometry
WeierstrassCurve.Affine
Type r → Type r
An abbreviation for a Weierstrass curve in affine coordinates.
- Cited by
- 174 results in Mathlib
- Foundations
- Depth 1 from the axioms, rests on 2 definitions · uses no axioms
Around this declaration
Dashed lines are statement dependencies; solid lines are citations in proofs.
Cites1
Mathlib declarations this one mentions in its statement or cites explicitly in its proof. Plumbing is filtered out.
- WeierstrassCurveproof · cited by 394
Cited by228
Results whose statement or proof uses this declaration.
- WeierstrassCurve.Affine.Pointstatement · cited by 99
- WeierstrassCurve.Affine.Nonsingularstatement and proof · cited by 76
- WeierstrassCurve.Affine.polynomialstatement and proof · cited by 61
- WeierstrassCurve.Affine.negYstatement and proof · cited by 56
- WeierstrassCurve.Affine.slopestatement and proof · cited by 54
- WeierstrassCurve.Affine.addXstatement and proof · cited by 49
- WeierstrassCurve.Projective.toAffinestatement · cited by 47
- WeierstrassCurve.Jacobian.toAffinestatement · cited by 47
- WeierstrassCurve.Affine.Equationstatement and proof · cited by 43
- WeierstrassCurve.Affine.CoordinateRingstatement and proof · cited by 39
- WeierstrassCurve.Affine.addYstatement and proof · cited by 30
- WeierstrassCurve.Affine.CoordinateRing.mkstatement and proof · cited by 25
Showing the 200 most cited of 228.