A project that will compute normal forms for commutative bialgebras
Standard ML
Latest commit 1090d00 Feb 23, 2015 @zamdzhiev zamdzhiev Update README.md
Permalink
Failed to load latest commit information.
axioms initial import Feb 23, 2015
derivations
graphs initial import Feb 23, 2015
simprocs initial import Feb 23, 2015
theorems initial import Feb 23, 2015
README.md Update README.md Feb 23, 2015
main.qproject initial import Feb 23, 2015

README.md

bialgebra-project

This is a Quantomatic project on bialgebras. It includes the necessary axioms, a simplification procedures which always produces unique normal forms and a sample graph with a derivation.