The following pages link to Ginv (Q13111):
Displayed 8 items.
- Algorithmic Thomas decomposition of algebraic and differential systems (Q432753) (← links)
- Formal algorithmic elimination for PDEs (Q468363) (← links)
- Computing minimal associated primes in polynomial rings over the integers (Q719750) (← links)
- Specialized computer algebra system GINV (Q840015) (← links)
- On computation of Boolean involutive bases (Q1956959) (← links)
- Involutive bases algorithm incorporating F\(_5\) criterion (Q2437322) (← links)
- Involutive Division Generated by an Antigraded Monomial Ordering (Q3090899) (← links)
- (Q3645918) (← links)