The Semantic Representation of Pure Mathematics—Wolfr

Computable Archive of Mathematics project’s progress in representing abstract concepts of function spaces, topological spaces, general topology in the Wolfram Language.

Related Keywords

Toronto , Ontario , Canada , David Hilbert , Georges Gonthier , Wolfram Knowledgebase , Manjul Bhargava , Bruno Buchberger , Amy Young , James Munkres , Stanislav Smirnov , Wieb Bosma , Yuri Matiyasevich , Tom Hales , Canonicalname Generaltopologyconcept , Campanato Morrey Entitylist , John Harrison , Dana Scott , Stephen Wolfram , Ingrid Daubechies , Harvey Friedman , Wolfram Alpha , Jeremy Avigad , Alfredp Sloan Foundation , Global Digital Mathematics Library , Wolfram Research , Fields Institute , Wolfram Foundation , Wolfram Language , Pure Mathematics , Computable Archive , Mathematics Heritage Project , Semantic Representation , Mathematical Knowledge , Mathematical Knowledge Workshop , Fields Medal , Wolfram Data Repository , Wolfram Research Inc , Mathematica , Ri , Ath Mathematical Typesetting Notation , Athsource , Athlink , Echnical Engineering Mathematics Finance Financial Education Science Scientific Graphics Software , Notebook , Technical Publishing , Technical Computing , Programming Language , Symbolic Computation , Computer Algebra ,