Formalizing Mathematics in Lean
Topology Tools for Explainable and Green Artificial Intelligence (topology inside REXASI-PRO)
- Context: Green and Explainable artificial intelligence (REXASI-PRO)
- Computational topology tools: Persistent homology, barcodes, distance bottleneck, simplicial maps, Persistence modules, morphisms between persistence modules
- Partial matchings between barcodes
- Simplicial maps neural networks
- Practice: Google Colab will be used
- First day lectures here.
- Second day lectures here.
- Third day lectures here.
- Fourth day lectures here.
Sparse polynomial systems
- The BKK (Bernstein-Khovanskii-Kushnirenko) bound
- Deformation algorithms to compute isolated zeros
- Affine varieties defined by sparse polynomial systems
- Algorithmic solving of sparse systems in affine space
- Sparse effective Nullstellensatz