issues
search
allofphysicsgraph
/
graph
An attempt to use MathML and automatically check correctness using symbolic computation.
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
parsing definite integral doesn't work
#7
marekyggdrasil
opened
6 years ago
0
unittest as testing framework
#6
marekyggdrasil
closed
6 years ago
1
use proper test framework
#5
marekyggdrasil
closed
6 years ago
0
review different proof assistants
#4
marekyggdrasil
opened
6 years ago
0
Euler-Lagrange equations derivation
#3
marekyggdrasil
opened
6 years ago
1
differential 2-form in computer algebra systems
#2
marekyggdrasil
opened
6 years ago
1
new edge type - deduce
#1
marekyggdrasil
opened
6 years ago
0