Fast Search for the Janet Divisor
Programming and Computing Software
Computer algebra handbook
A prolongation-projection algorithm for computing the finite real variety of an ideal
Theoretical Computer Science
Gröbner bases and involutive methods for algebraic and differential equations
Mathematical and Computer Modelling: An International Journal
Comprehensive involutive systems
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Involutive bases algorithm incorporating F5 criterion
Journal of Symbolic Computation
| Hi-index | 0.00 |