Algebraic computations in Lean
1. Basics of polyrith
2. Using polyrith
3. Nonsingularity of algebraic curves
4. Combining tactics
Algebraic computations in Lean
»
Search
Please activate JavaScript to enable the search functionality.