GitHub topics: involutive-algorithm
mzinin/bjb
Utility for computing boolean Groebner bases with involutive Janet algorithm
Language: C++ - Size: 143 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 1
mzinin/bpb
Utility for computing boolean Groebner bases with involutive Pommaret algorithm
Language: C++ - Size: 308 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 2