ACM SIGSAM Bulletin
Fast Search for the Janet Divisor
Programming and Computing Software
Method of Separative Monomials for Involutive Divisions
Programming and Computing Software
On an Algorithmic Optimization in Computation of Involutive Bases
Programming and Computing Software
Parallelization of an Algorithm for Computation of Involutive Janet Bases
Programming and Computing Software
Computation of Janet Bases for Toric Ideals
Programming and Computing Software
Involutive bases in the Weyl algebra
Journal of Symbolic Computation
A new efficient algorithm for computing Gröbner bases without reduction to zero (F5)
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
A complete symbolic-numeric linear method for camera pose determination
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Programming and Computing Software
Parallel computation of Janet and Gröbner bases over rational numbers
Programming and Computing Software
Involutive divisions: Slice and pair properties
Programming and Computing Software
Programming and Computing Software
On constructivity of involutive divisions
Programming and Computing Software
Generation of difference schemes for the burgers equation by constructing Gröbner bases
Programming and Computing Software
Effectiveness of involutive criteria in computation of polynomial Janet bases
Programming and Computing Software
Involutive divisions and monomial orderings
Programming and Computing Software
On selection of nonmultiplicative prolongations in computation of Janet bases
Programming and Computing Software
Complete involutive rewriting systems
Journal of Symbolic Computation
Computing the multiplicity structure from geometric involutive form
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Involutive method for computing Gröbner bases over $$ \mathbb{F}_2 $$
Programming and Computing Software
Efficiency estimate for distributed computation of Gröbner bases and involutive bases
Programming and Computing Software
Solving polynomial systems via symbolic-numeric reduction to geometric involutive form
Journal of Symbolic Computation
Algebraic transformation of differential characteristic decompositions from one ranking to another
Journal of Symbolic Computation
Role of involutive criteria in computing Boolean Gröbner bases
Programming and Computing Software
Noether normalization guided by monomial cone decompositions
Journal of Symbolic Computation
Involution and Difference Schemes for the Navier---Stokes Equations
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Detecting unnecessary reductions in an involutive basis computation
Journal of Symbolic Computation
Passive complete orthonomic systems of PDEs and involutive bases of polynomial modules
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
On the numerical analysis of overdetermined linear partial differential systems
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Dynamical aspects of involutive bases computations
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
On computation of Boolean involutive bases
Programming and Computing Software
Thomas decomposition of algebraic and differential systems
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Flat families by strongly stable ideals and a generalization of Gröbner bases
Journal of Symbolic Computation
Journal of Symbolic Computation
On connection between constructive involutive divisions and monomial orderings
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
A new definition for passivity and its relation to coherence
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Consistency analysis of finite difference approximations to PDE systems
MMCP'11 Proceedings of the 2011 international conference on Mathematical Modeling and Computational Science
Programming and Computing Software
Algorithmic Thomas decomposition of algebraic and differential systems
Journal of Symbolic Computation
Deducing the constraints in the light-cone SU(3) Yang-Mills mechanics via Gröbner bases
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Comprehensive involutive systems
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Quasi-stability versus genericity
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Parallel modular computation of Gröbner and involutive bases
Programming and Computing Software
Involutive bases algorithm incorporating F5 criterion
Journal of Symbolic Computation
Hi-index | 0.00 |