Frontpage of the FormulaDatabase.
A survey of software related to the Physics Derivation Graph. For a literature review, see this page.
Contents
The Incredible Proof Machine is similar in intent to the Physics Derivation Graph. I am impressed by the interface for drawing proofs. The source code is available. The comment thread on Hacker News.
The project website The source code The comment thread on Hacker News.
The Math / Physics Problem Solver by Gordon Novak "solves simple math and physics problems stated in English."
The source code (Lisp) and equations are available.
See "Learning to Automatically Solve Algebra Word Problems" (2014)
sciencewise is a tagging mechanism for words that is integrated with arXiv.
PhysML is part of the OMdoc effort. PhysML is for identifying categories of content.
Formula Database (http://www.formula-database.com/release/) is a website described by the authors as a ``math search engine'' which has a built-in equation editor. The search feature is not just matching the \(\rm\LaTeX\) input -- it understands dot product and cross product. They have created a browser-based equation editor, similar to the equation editor in Microsoft Word. The search is of a backend database of content. The backend database of equations and symbols was manually entered by the project authors. A team of people have been working since about 2010 on this project. The data is stored as a high-dimensional graph. This project is not open source but access is currently free. A commercial launch is planned, though no date has been publicized. The objective is to allow students to search through literature. If you are a researcher, you might want to find whether the model already exists in literature. The grand view is that formula-database will serve as a universal reference for equations.
From the "About" page (https://web.archive.org/web/20130418062440/http://formula-database.com/release/about
Formula Database was founded in 2012 by a group of students and researchers at UW-Madison. The idea originated three years prior, when one of our founders, then an undergraduate, was frustrated at the difficulty in finding the correct formula he needed to solve his engineering homework. This challenge has been leveraged into creating an innovative search engine to allow individuals to search for formulas based upon either their contents or mathematical structure. Formula Database lets users input measurable parameters—such as mass, distance, or time—and get equations that provide a relation between these items. Alternatively, using the Equation Editor, users can write a mathematical equation exactly as they would on a whiteboard or paper and discover information about the formula’s use and purpose. Currently we are developing the completed product to allow users to enjoy this functionality. We anticipate launching for a beta test at the end of August 2012.
Below are a few screenshots from the Internet Archive.
Frontpage of the FormulaDatabase.
Categories of data in the FormulaDatabase.
Objects in the FormulaDatabase.
Equation Map was an interface for putting expressions into a graph format. Inference rules and feeds were not included, nor is checking of the graph via a computer algebra system. Equation Map is proprietary, whereas the Physics Derivation Graph is open source.
The website EquationMap (http://equationmap.com; site not currently available) is an interface for derivations, focused primarily on mathematics. There is no backend database of content; instead content is dynamically generated by the user. Equations are manually entered using \LaTeX syntax and the graph of the derivation can be visualized using the same interface. The content is not open source and access is currently free. This is close to what the GUI for the Physics Derivation Graph is intended to behave like, with the exception that EquationMap doesn't include the concept of atomic inference rules.
Screenshot of the EquationMap website. The input mechanism is not shown because this screenshot is from the Internet Archive.
Screenshot of the option to provide .tex files to EquationMap website, and download .tex files.
SymboLab (https://www.symbolab.com) is a web interface for solving symbolic expressions. There is no graph. There is another backend database of content. This project is not open source but access is currently free.
The HyperPhysics website (http://hyperphysics.phy-astr.gsu.edu/hbase/hframe.html) is a static set of linked concept maps for topics in Physics. Concept maps are linked to text, graphs, and equations. The licensing of the content is described as ``not freeware or shareware'' by the author, though the site is free to access. Although hyperlinked concept maps are a departure from the standard textbook presentation of physics, the leaves of this tree are the same content found in textbooks.
HyperPhysics is similar to Wikipediain that it is text based for edges.
HyperPhysics has what appears to be a graph (hand drawn), but is actually a multi-level tree -- a concept diagram. For example, content in the Classical Mechanics subpage does not link to any other subject.
The number of levels can vary. For example, the main page links to mechanics links to Collisions links to
Momentum.
Wolfram Alpha (https://www.wolframalpha.com) has a backend database of content which is not open source; access is a mix of free and paid.
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.
https://en.wikipedia.org/wiki/OpenMath
https://github.com/OpenMath
https://www.openmath.org/
Presentation MathML (layout only) and Content MathML (semantics)
https://developer.mozilla.org/en-US/docs/Web/MathML/Element/semantics
https://en.wikipedia.org/wiki/OMDoc
http://www.omdoc.org/
Also, https://github.com/OMdoc/OMDoc/wiki/PhysML
PhysML is distinct from http://sciencewise.info/ in that ScienceWise
is about linking specific terms to a common database, whereas PhysML
is for identifying categories of content.
"Both MathML and OpenMath address mathematical formulas in isolation, whereas OMDoc allows to express the structure of mathematical documents, for example the relation between definitions, theorems and proofs."(source: "Extracting Mathematical Semantics from LATEX Documents")
LatexML converts to Presentation MathML, not Content MathML
https://dlmf.nist.gov/LaTeXML/
https://github.com/brucemiller/LaTeXML
LaTeXML 2012 - A Year of LaTeXML
D. Ginev and B. R. Miller, 2014
https://arxiv.org/abs/1404.6549
Strategies for Parallel Markup
B. R. Miller, 2015
https://arxiv.org/abs/1507.00524
https://www.mat.univie.ac.at/~neum/FMathL.html
"Digital Scientific Notations as a Human-Computer Interface in Computer-Aided Research"
https://arxiv.org/abs/1802.09307
"Leibniz is a subset of Maude with different syntax"
https://khinsen.net/leibniz-examples/examples/leibniz-by-example.html
"Scientific notations for the digital era"
https://www.sjscience.org/article?id=527
PolyMath The PDG is an effort to create the software infrastructure for a "PolyPhysics"
http://www.mathlingua.org/
https://visuwords.com/
http://wordventure.eti.pg.gda.pl/wne/wne.html
https://code.google.com/archive/p/synonym/