Ginv
From MaRDI portal
Software:13111
swMATH350MaRDI QIDQ13111FDOQ13111
Author name not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- Specialized computer algebra system GINV
- Algorithmic Thomas decomposition of algebraic and differential systems
- Formal algorithmic elimination for PDEs
- Involutive Division Generated by an Antigraded Monomial Ordering
- Computing minimal associated primes in polynomial rings over the integers
- On computation of Boolean involutive bases
- Involutive bases algorithm incorporating F\(_5\) criterion
This page was built for software: Ginv
