Algebraic computations in Lean

1. Basics of polyrith
2. Using polyrith
3. Nonsingularity of algebraic curves
4. Combining tactics

Algebraic computations in Lean

Index

Index

© Copyright 2022-2024, Heather Macbeth.

Built with Sphinx using a theme provided by Read the Docs.