Ginv
From MaRDI portal
Cited in
(16)- Specialized computer algebra system GINV
- scientific article; zbMATH DE number 5635452 (Why is no real title available?)
- Algorithmic Thomas decomposition of algebraic and differential systems
- Involutive division generated by an antigraded monomial ordering
- BIBasis
- Janet
- DifferentialThomas
- DIFFALG
- AlgebraicThomas
- InvolutiveBases
- primdecint.lib
- Formal algorithmic elimination for PDEs
- Computing minimal associated primes in polynomial rings over the integers
- G2V.mpl
- On computation of Boolean involutive bases
- Involutive bases algorithm incorporating F\(_5\) criterion
This page was built for software: Ginv
