Semantic representation of general topology in the Wolfram language

DOI10.1007/978-3-319-62075-6_12MaRDI QIDQ2364674zbMATH OpenOpenAlexFDO

Authors Ian J. Ford

Publication date 21 July 2017

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

zbMATH Keywords

entity frameworkgeneral topologyMathematicaWolfram Language

Mathematics Subject Classification ID

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

Recommendations

• Mathematical knowledge representation: semantic models and formalisms
• Computable data, mathematics, and digital libraries in Mathematica and Wolfram\(|\)Alpha
• Contribution of the ontology engineering to mathematical knowledge management
• Mathematical knowledge representation. (Extended abstract)
• Ontological engineering and mathematical knowledge management: A formalization of projective geometry

Cites work

• Concrete semantics. With Isabelle/HOL
• scientific article; zbMATH DE number 3600759 (Why is no real title available?)
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Mizar: state-of-the-art and beyond
• The Lean theorem prover (system description)

Cited in

(1)

• A bi-directional extensible interface between Lean and Mathematica

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364674)