proofofconcept

proofofconcept copied to clipboard

The page https://derivationmap.net/user_documentation works fine, but there's a "flash" message at the bottom of the page. error 404404 Not Found: The requested URL was not found on the server. If...

bhpayne

alternative graph drawing libraries

2

d3js and graphviz are currently used. Investigate alternatives

bhpayne

use config file for gunicorn

2

Currently all configuration options for gunicorn are set in a Docker-compose file. That limits the documentation https://docs.gunicorn.org/en/latest/configure.html#configuration-file

bhpayne

minify HTML pages to decrease bandwidth use

1

Not clear how much savings this would provide in terms of latency - https://github.com/mitsuhiko/jinja2-htmlcompress - https://pypi.org/project/Flask-Minify/ - https://stackoverflow.com/questions/13587531/minify-html-output-from-flask-application-with-jinja2-templates

bhpayne

how is this project related to other mathematical approaches

1

- 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/

bhpayne

investigate combining PDG with NIST's DLMF

1

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...

bhpayne

sympy parsing of symbols is inaccurate

1

Sympy parses `\theta_{Brewster}` to `\theta` which leads to incorrect matching of symbols

bhpayne

visualize static call graph

10

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

bhpayne

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.

bhpayne

Combine latex entry, symbol review, and Sympy forms into a single page app Motives: page reloads induce cognitive uncertainty of "what's coming next?"

bhpayne