Fields- Semantic Representation of Mathematical Knowledge Workshop
-
Title: Opening Remarks and Overview
Speaker:
Link:
-
Title: Overview
Speaker:
Link:
-
Title: What Will it Take to Design a Language for Pure Mathematics?
Speaker:
Link:
-
Title: Part 1) Type Theory and Practical Foundations, Part 2) Homotopy Type Theory
Speaker:
Link:
-
Title: Formalizing a Calculus of Enumeration Operators
Speaker:
Link:
-
Title: From Principia to Formalised versus Computerised Maths
Speaker:
Link:
-
Title: An Approach to the Formal Representation of Mathematical Propositions
Speaker:
Link:
-
Title: Flexiformal, Pluralistic, Foundation-Independent Representations of Mathematics
Speaker:
Link:
-
Title: The Structure of Infallibility
Speaker:
Link:
-
Title: Studies in the Semantic Representation of Differential Geometry
Speaker:
Link:
-
Title: Semantics of mathematical formulas
Speaker:
Link:
-
Title: Big proofs, little math
Speaker:
Link:
-
Title: Notations and Meaning
Speaker:
Link:
-
Title: The Design of the Magma Language
Speaker:
Link:
-
Title: Language Design for Probability & Statistics
Speaker:
Link:
-
Title: HOL Light and Formal Mathematics
Speaker:
Link:
-
Title: Semantic Math Languages in the Context of a "Global Math Digital Library": My Personal View
Speaker:
Link:
-
Title: Learning Reasoning and Understanding in Mathematics
Speaker:
Link:
-
Title: Hammering towards QED
Speaker:
Link:
-
Title: Ontologies and Using Mathematical Structures
Speaker:
Link: