Ben

There's a design flaw in how feeds are implemented in .tex files. See, for example, derivation 282755 (radius for satellite in geostationary orbit) step ID = 2499406: ```latex \dividebothsidesby{\frac{m_{\rm satellite}}{r}}{4948724}{2009493}...

using "a^2 \propto b" in derivation title caused multiple failure modes for website

1

not a critical issue to solve, but annoying to debug when I didn't know what the cause was

Using the Open Graph protocol you can tell Facebook how your shared content should be displayed on Facebook.

Currently webpages on have internal-to-the-page links and outbound links to other pages. Suggestion: Each webpage on should have a section at the bottom of the page (just above the footer)...

See and [principle of least action](https://en.wikipedia.org/wiki/Stationary-action_principle) is axiomatic for symmetry. Every continuous symmetry has a conserved quantity. See

automatic connection finding between two expressions

2

Given two expressions, e.g., `T = 1/f` and `f = 1/T`, and given a set of inference rules, is it feasible to identify the connectivity? The first search is "is...

relation of expressions used on a cheat sheet

1

Students use cheat sheets for exams. Typically the expressions on a cheat sheet are presented in a disconnected manner. The scope of a cheat sheet is typically limited to a...

assessment: what are the inference rule tuples and triples?

1

Given the graph and the inference rule basis, - what are the most frequent and least frequent inference rule tuples? - what are the most frequent and least frequent inference...

see https://derivationmap.net/list_all_operators Mathjax shows "missing operator for \dot"

If the graph is connected (i.e., no isolated subgraphs), then there is a (shortest) path between any two expressions. What is that path? How long is it? The path distance...