jwknopper

Pinned Repositories

gbnp
computing Gröbner bases of noncommutative polynomials
Language:GAP3 3 172
OpenMath-JSON
A Proposal for an OpenMath JSON Encoding
Language:HTML0 0 00
OMSVN
The OpenMath repository, ported from the old svn
Language:HTML4 5 02
OpenMath.github.io
For the OpenMath.org website
Language:HTML5 4 4910

jwknopper's Repositories

jwknopper/OpenMath-JSON
A Proposal for an OpenMath JSON Encoding
Language:HTML0 0 00