Semantic representation of general topology in the Wolfram language

DOI10.1007/978-3-319-62075-6_12zbMath1367.68303OpenAlexW2729165223MaRDI QIDQ2364674

Ian Ford

Publication date: 21 July 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-62075-6_12

zbMATH Keywords

Mathematicageneral topologyentity frameworkWolfram Language

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Knowledge representation (68T30) General topology (54-XX)

Related Items (1)

A bi-directional extensible interface between Lean and Mathematica

Uses Software

• Coq
• Mathematica
• Mizar
• HOL Light
• Metamath
• WolframAlpha
• Lean

Cites Work

• Unnamed Item
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Concrete Semantics
• Mizar: State-of-the-art and Beyond
• The Lean Theorem Prover (System Description)

This page was built for publication: Semantic representation of general topology in the Wolfram language