Fields- Workshop on Algebra, Geometry and Proofs in Symbolic Computation
-
Title: Complexity of constructible sheaves
Speaker:
Link:
-
Title: Numerical methods for computing real and complex tropical curves
Speaker:
Link:
-
Title: Topological complexity of symmetric semi-algebraic sets
Speaker:
Link:
-
Title: A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals
Speaker:
Link:
-
Title: Continuous Amortization: Intrinsic Geometric Complexity for Subdivision-based Algorithms
Speaker:
Link:
-
Title: Local decomposition and local methods for analyzing real solutions
Speaker:
Link:
-
Title: The formal proof of the Kepler Conjecture
Speaker:
Link:
-
Title: Cylindrical Algebraic Decomposition with logical structure
Speaker:
Link:
-
Title: Functional Programming and Complexity
Speaker:
Link:
-
Title: The Babylonian vs. the Greek Approaches to Computer Proofs
Speaker:
Link:
-
Title: Meta-mathics
Speaker:
Link:
-
Title: Hidden gems of formal combinatorial proofs
Speaker:
Link:
-
Title: Geometric theories for constructive algebra
Speaker:
Link:
-
Title: Symbolic summation for particle physics: difference ring theory, stable software and proof certificates
Speaker:
Link:
-
Title: Symbolic Determinant Evaluation
Speaker:
Link:
-
Title: Table Maker's Dilemma for Transcendental Functions
Speaker:
Link:
-
Title: Theorema 2.0: A Brief Introduction and a Case Study in Auction Theory
Speaker:
Link:
-
Title: Rendering useful formalized mathematics
Speaker:
Link:
-
Title: Formalized mathematics: proofs of transcendence, especially pi
Speaker:
Link:
-
Title: Leveraging the structure of theory libraries
Speaker:
Link: