The Physics Derivation Graph is web server for building, managing, and exploring mathematical derivations in physics (and potentially other fields). Knowledge management software tailored for structured mathematical reasoning.

The Physics Derivation Graph combines a user-friendly interface with rigorous mathematical capabilities. The intended audience includes physicists, mathematicians, and other researchers who need to create, manage, and validate derivations.

The Physics Derivation Graph supports investigation of the following claims:

• Claim: a directed graph exists which describes all of mathematical Physics.
• Claim: the graph representation is machine parsable.

This repo contains a new web interface and a new API and a new backend -- Neo4j property graph. The previous version that is currently used for https://allofphysics.com/ is https://github.com/allofphysicsgraph/ui_v7_website_flask_json

Status

The website and back-end work. The Docker images are not currently in use for https://allofphysics.com/

Quickstart

Launching locally will require generating the certificates for https. See certs/README.md

To start the containers, run

make launch_webserver

and then, in a web browser, go to http://localhost

Some pages require Google authentication. You can either

• edit your Google Auth Platform Clients on https://console.cloud.google.com/ or
• remove the @login_required decorator in pdg_app.py

Because software is in Docker containers (for reproducibility), the versions of the Docker software you're using matter. The software in this repo has been tested with

• docker compose version yields "2.34.0-desktop.1" on a Mac Airbook arm64; "v2.2.1" on a Mac Airbook amd64
• Compose file format 3.6
• docker --version yields "Docker version 28.0.4, build b8034c0" on a Mac Airbook arm64; "Docker version 20.10.11" on a Mac Airbook amd64 See https://docs.docker.com/compose/compose-file/compose-versioning/ for compatibility of versions.

Project contents

Two containers managed using docker compose: Neo4j (port 7474) and a Flask-based Python web server (port 5000)

Neo4j for newbies

A graph has "nodes" and "edges". A property graph extends that data structure to allow "properties" for both the nodes and the edges.

In general, nodes in Neo4j are described using the following jargon:

:label {key1:'value1', key2:'value2'}

where the key-value pairs are properties.

Node labels, relationship types, and properties (the key part) are case sensitive. citation

Goals

• Document Derivations. Provide a structured way to represent mathematical derivations by breaking them into steps, expressions, and symbols.
• Facilitate Collaboration and Sharing by using open source and publicly accessible information.
• Enable programmatic interaction with the data using both a web interface and API.

Licensing

The content of this repo is covered by the Creative Commons Attribution 4.0 International License

Software Requirements

• Docker
• git
• make
• a web browser

Key features

The architecture is Neo4j-Flask-Gunicorn-Nginx all inside a Docker container on an Ubuntu VPS that includes UFW

The Docker images include the software needed for the webserver (Python Flask)

• Latex for rendering equations as PNG and PDF
• SymPy for validating steps in derivations
• Lean
• Graphviz for static visualization of graphs
• d3js for interactive visualizations of graphs

See VERSIONS.md for details.

Debugging

The Makefile contains targets that are relevant for validating modifications:

• make black_out
• make mypy_out
• make pytest_out

To enter the container for debugging purposes,

docker exec -it `docker ps | grep ui_v8_website_flask_neo4j_webserver | cut -d' ' -f1` /bin/bash

Stuck? Contact the author for help! (See the bottom of https://allofphysics.com/.)

Contributing

See CONTRIBUTING.md for guidance.

Licensing

Unless otherwise noted, all source code is covered by the Creative Commons Attribution 4.0 International License

#EOF