Ben
- https://en.wikipedia.org/wiki/Sequent_calculus - https://en.wikipedia.org/wiki/Proof_net - https://en.wikipedia.org/wiki/Geometry_of_interaction - https://en.wikipedia.org/wiki/Equational_logic - https://en.wikipedia.org/wiki/Method_of_analytic_tableaux - https://en.wikipedia.org/wiki/First-order_logic#Rules_of_inference as per https://www.reddit.com/r/Physics/comments/gmqc2l/visualizing_derivations/
DLMF content is available (e.g., http://dlmf.nist.gov/1.2.E2.tex) but this page https://dlmf.nist.gov/about/notices indicates there are restrictions on bulk access and copyright. Based on this page https://dlmf.nist.gov/about/staff contacting the editors with a proposal...
Sympy parses `\theta_{Brewster}` to `\theta` which leads to incorrect matching of symbols
To aid in diagnosis of issues, a static call graph of compute.py and controller.py and the other .py files would be useful. https://en.wikipedia.org/wiki/Call_graph
on the page https://derivationmap.net/developer_documentation#build%20pdg%20code%20from%20scratch the code+text documentation could be folded like "Layered Ink" approach. Slowly build up the examples by layering complexity instead of forcing reader to navigate.
Combine latex entry, symbol review, and Sympy forms into a single page app Motives: page reloads induce cognitive uncertainty of "what's coming next?"
For example, "a + b = c" is replaced by "a = c" under the condition "b >" provided in this StackOverflow answer, so there is some deeper meaning to...
Currently videos are hosted on YouTube If the channel is terminated the videos would not work. Self-hosting would be a back-up option https://www.lifewire.com/how-to-use-html-5-to-display-video-in-modern-browsers-3469944
What topics need to be documented in tutorials/guides/references/explanations? - Tutorials: Lessons that take the reader by the hand through a series of steps to complete a projects (or meaningful exercise)....
https://www.python.org/dev/peps/pep-0257/#multi-line-docstrings https://google.github.io/styleguide/pyguide.html#s3.8-comments-and-docstrings