Ginv
From MaRDI portal
Software:13111
No author found.
Related Items (8)
Specialized computer algebra system GINV ⋮ Algorithmic Thomas decomposition of algebraic and differential systems ⋮ Involutive bases algorithm incorporating F\(_5\) criterion ⋮ On computation of Boolean involutive bases ⋮ Unnamed Item ⋮ Formal algorithmic elimination for PDEs ⋮ Computing minimal associated primes in polynomial rings over the integers ⋮ Involutive Division Generated by an Antigraded Monomial Ordering
This page was built for software: Ginv
