This page contains references to papers that lack associated software. For software and papers, see also this listing.
In the 1998 book by Edward O. Wilson, he tackled "the synthesis of knowledge from different specialized fields of human endeavor."
Science offers the boldest metaphysics of the age. It is a thoroughly human construct, driven by the faith that if we dream, press to discover, explain, and dream again, thereby plunging repeatedly into new terrain, the world will somehow come clearer and we will grasp the true strangeness of the universe. And the strangeness will all prove to be connected, and make sense.
"The QED Manifesto after Two Decades -- Version 2.0" by Weiss (2016)
Describes "Mathropolis" and a "mathematical content markup language" A non-CAS based metalanguage is attempted in "The QED Manifesto after Two Decades -- Version 2.0" The paper discusses Mathropolis, which is intended to optimize for readability over formality. The paper describes a "mathematical content markup language" and provides an example. In email conversation with Weiss, he says,
"I started fleshing out some code but when I realised the extent of the project is huge and that it would consume my maths research I decided to stop."He also said,
"I still think that the idea of MCML would be extremely helpful in academia and particularly in subjects such as mathematics and physics (and others)."
"Semantic Enrichment of Mathematics via tooltips"
notes: "mathsem" source code not found online
"Graph Representations for Higher-Order Logic and Theorem Proving"
C. Szegedy et al, 2019
comment thread: https://news.ycombinator.com/item?id=24389058
notes: This paper is not related to the Physics Derivation Graph as far as I can tell.
"Making Meaning with Math in Physics: A semantic analysis"
E. F. Redish and A. Gupta (2009)