allofphysicsgraph proofofconcept issues

allofphysicsgraph / proofofconcept

Physics Derivation Graph: mathematical connections among equations

https://derivationmap.net/

Other

20 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

another graph: relation of variables by expressions

#240 researcherben opened 2 years ago
1
assessment: what are the inference rule tuples and triples?

#239 researcherben opened 2 years ago
1
create an interface for a mathematical search capability for the database

#238 researcherben opened 2 years ago
5
Latex node labels in graph visualizations using NetworkX

#237 bhpayne opened 2 years ago
0
Latex node labels in graph visualizations using Bokeh

#236 bhpayne opened 2 years ago
0
build PDG on github action instead of my laptop

#235 bhpayne opened 3 years ago
0
dynamically render Latex expressions in web preview using MathJax before rendering as PNG

#234 bhpayne opened 3 years ago
1
500 Error on CSRF blog page

#233 bhpayne opened 3 years ago
0
mixing latex and jinja templates causes jinja to fail, crashing the gunicorn server process

#232 bhpayne closed 3 years ago
1
current web-based input interface is depth first; make a new web interface that is breadth first

#231 bhpayne opened 3 years ago
1
export of Cypher for Neo4j does not have all the data present in `data.json`

#230 bhpayne opened 3 years ago
0
severe: entering invalid latex crashes web server

#229 bhpayne closed 3 years ago
3
"return to main menu" button on "review derivation" pages is not working

#228 bhpayne closed 3 years ago
1
mathjax rendering error for "K >> G"

#227 bhpayne opened 3 years ago
0
derivation: Stirling's approximation for factorials

#226 researcherben opened 3 years ago
0
derivation: volume of an n-ball

#225 researcherben opened 3 years ago
0
derivation: drag equation

#224 researcherben opened 3 years ago
1
derivation: conjugate gradient method

#223 researcherben opened 3 years ago
0
derivation: Hartley function

#222 researcherben opened 3 years ago
0
derivation: Navier-Stokes equations

#221 researcherben opened 3 years ago
1
derivation: half life decay derivation for radioactivity

#220 researcherben opened 3 years ago
0
derivation: Bohr's Model for the Hydrogen Spectrum

#219 researcherben opened 3 years ago
0
derivation: simple harmonic oscillator

#218 researcherben opened 3 years ago
0
link variables within PDF and HTML outputs and link to PDG website database

#217 researcherben opened 3 years ago
1
404 error on footer of https://derivationmap.net/user_documentation

#216 bhpayne opened 3 years ago
0
alternative graph drawing libraries

#214 bhpayne opened 4 years ago
2
Add a Gitter chat badge to README.md

#213 gitter-badger closed 4 years ago
1
investigate combining PDG with NIST's DLMF

#212 bhpayne opened 4 years ago
1
implement "folding code" version of developer documentation

#211 bhpayne opened 4 years ago
0
Develop a parsing corpus of Latex expressions for testing SymPy

#210 bhpayne closed 4 years ago
1
change web workflow from form-per-page to single page app

#209 bhpayne opened 4 years ago
0
break down the notation of "much greater than" automatically

#208 bhpayne opened 4 years ago
1
self-host videos on website

#207 bhpayne opened 4 years ago
0
User and developer input needed on specific tutorials/guides/references/explanations

#206 bhpayne opened 4 years ago
0
display inference rule popularity

#205 bhpayne closed 4 years ago
1
derivation: uncertainty relation in quantum mechanics

#204 bhpayne opened 4 years ago
0
graphical user interface in web browser for expression entry in graph, like equationmap had

#203 bhpayne opened 4 years ago
0
improve docstrings

#202 bhpayne opened 4 years ago
1
refactor code using data-driven design approach

#201 bhpayne opened 4 years ago
0
write a guide to the current codebase as it is

#200 bhpayne opened 4 years ago
1
validation of an inference rule using a proof assistant

#199 bhpayne opened 4 years ago
0
Compare proof assistants (e.g., Coq, HOL, Lean) for proving inference rules in a given logical basis

#198 bhpayne opened 4 years ago
0
double-clicking on the Submit button when entering a new derivation creates two derivations

#197 bhpayne opened 4 years ago
1
Update faq.html

#196 iammosespaulr closed 4 years ago
1
use case for API: querying what symbols and inference rules exist

#195 bhpayne closed 4 years ago
1
monitor whether site is reachable; get email alerts when site is down

#194 bhpayne closed 4 years ago
2
investigate use of function caching to improve latency

#193 bhpayne opened 4 years ago
0
derivation: relation between Quantum mechanics and classical statistical mechanics

#192 bhpayne opened 4 years ago
0
derivation: relation between statistical mechanics and quantum field theory

#191 bhpayne opened 4 years ago
0
animated derivation steps

#190 bhpayne opened 4 years ago
2

Previous Next