| Publication | Date of Publication | Type |
|---|
The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
Computer Physics Communications | 2023-05-05 | Paper |
| Symbolic-numeric algorithm for computing orthonormal basis of \(\operatorname{O}(5)\times\operatorname{SU}(1,1)\) group | 2022-12-21 | Paper |
Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
A case study on the parametric occurrence of multiple steady states
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Algorithmic verification of linearizability for ordinary differential equations
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Algorithmic verification of linearizability for ordinary differential equations
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
| On conservative difference schemes for the many-body problem | 2020-07-01 | Paper |
| Symbolic-numerical algorithm for large scale calculations the orthonormal SU(3) BM basis | 2020-04-29 | Paper |
Identifying the parametric occurrence of multiple steady states for some biological networks
Journal of Symbolic Computation | 2020-01-15 | Paper |
On the algorithmic linearizability of nonlinear ordinary differential equations
Journal of Symbolic Computation | 2020-01-15 | Paper |
Algebraic construction of a strongly consistent, permutationally symmetric and conservative difference scheme for 3D steady Stokes flow
Symmetry | 2019-07-10 | Paper |
Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations
Applied Mathematics and Computation | 2019-04-29 | Paper |
| Symbolic algorithm for generating the orthonormal Bargmann-Moshinsky basis for \(\mathrm{SU}(3)\) group | 2018-10-23 | Paper |
A strongly consistent finite difference scheme for steady Stokes flow and its modified equations
(available as arXiv preprint) | 2018-10-23 | Paper |
| Symbolic-numerical algorithms for solving elliptic boundary-value problems using multivariate simplex Lagrange elements | 2018-10-23 | Paper |
| Symbolic-numerical algorithm for generating interpolation multivariate Hermite polynomials of high-accuracy finite element method | 2018-02-23 | Paper |
| Symbolic-numerical algorithms for solving the parametric self-adjoint 2D elliptic boundary-value problem using high-accuracy finite element method | 2018-02-23 | Paper |
Symbolic-numeric integration of the dynamical Cosserat equations
(available as arXiv preprint) | 2018-02-23 | Paper |
Symbolic-numeric algorithms for solving BVPs for a system of ODEs of the second order: multichannel scattering and eigenvalue problems
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
Symbolic algorithm for generating irreducible rotational-vibrational bases of point groups
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
On the general analytical solution of the kinematic Cosserat equations
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
Lagrangian constraints and differential Thomas decomposition
Advances in Applied Mathematics | 2015-12-11 | Paper |
Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
On the partial analytical solution of the Kirchhoff equation
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Consistency of finite difference approximations for linear PDE systems and its algorithmic verification
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Computation of difference Gröbner bases
Computer Science Journal of Moldova | 2015-08-06 | Paper |
| Linearization of ODEs: algorithmic approach | 2015-05-07 | Paper |
On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases
Programming and Computer Software | 2015-03-23 | Paper |
Thomas decomposition and its applications
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Describing the orbit space of the global unitary actions for mixed qudit states
Journal of Mathematical Sciences (New York) | 2015-02-20 | Paper |
Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
Journal of Algebra | 2014-12-05 | Paper |
Lie symmetry analysis for Cosserat rods
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
Lie symmetry analysis for Cosserat rods
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
On consistency of finite difference approximations to the Navier-Stokes equations
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
Simulation of quantum error correction with Mathematica
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
Algebraically simple involutive differential systems and the Cauchy problem
Journal of Mathematical Sciences (New York) | 2014-06-06 | Paper |
Estimations of positive roots of polynomials
Journal of Mathematical Sciences (New York) | 2014-06-06 | Paper |
Involutive bases algorithm incorporating F\(_5\) criterion
Journal of Symbolic Computation | 2014-03-03 | Paper |
Simulation of quantum error correction by means of QuantumCircuit package
Programming and Computer Software | 2014-01-29 | Paper |
Comprehensive involutive systems
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
Symbolic-numerical calculations of high-\(|m|\) Rydberg states and decay rates in strong magnetic fields
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
Algorithmic Thomas decomposition of algebraic and differential systems
Journal of Symbolic Computation | 2012-07-04 | Paper |
Symbolic-numerical algorithms to solve the quantum tunneling problem for a coupled pair of ions
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
Involutive division generated by an antigraded monomial ordering
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
| A Variant of Gerdt's Algorithm for Computing Involutive Bases | 2011-08-16 | Paper |
Computer algebra in physical research of jinr
Lecture Notes in Computer Science | 2011-04-16 | Paper |
Computer classification of integrable seventh order MKdV — Like equations
Lecture Notes in Computer Science | 2011-04-16 | Paper |
Computer algebra and computation of puiseux expansions of algebraic functions
Lecture Notes in Computer Science | 2011-04-16 | Paper |
Computer algebra application for investigating integrability of nonlinear evolution systems
Lecture Notes in Computer Science | 2011-04-16 | Paper |
POTHMF: A program for computing potential curves and matrix elements of the coupled adiabatic radial equations for a hydrogen-like atom in a homogeneous magnetic field
Computer Physics Communications | 2010-10-18 | Paper |
On computation of Boolean involutive bases
Programming and Computer Software | 2010-09-24 | Paper |
Some algorithms for calculating unitary matrices for quantum circuits
Programming and Computer Software | 2010-09-24 | Paper |
Thomas decomposition of algebraic and differential systems
Computer Algebra in Scientific Computing | 2010-09-10 | Paper |
Symbolic-numeric algorithms for computer analysis of spheroidal quantum dot models
Computer Algebra in Scientific Computing | 2010-09-10 | Paper |
Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity
Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
A Mathematica Package for Simulation of Quantum Computation
Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
Involution and Difference Schemes for the Navier–Stokes Equations
Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
Role of involutive criteria in computing Boolean Gröbner bases
Programming and Computer Software | 2009-09-04 | Paper |
Involutive method for computing Gröbner bases over \(\mathbb F_2\)
Programming and Computer Software | 2009-09-04 | Paper |
Specialized computer algebra system GINV
Programming and Computer Software | 2009-09-04 | Paper |
Light-cone Yang-Mills mechanics: \(SU(2)\) vs. \(SU(3)\)
Theoretical and Mathematical Physics | 2009-03-02 | Paper |
A pommaret division algorithm for computing Grobner bases in boolean rings
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
On decomposition of algebraic PDE systems into simple subsystems
Acta Applicandae Mathematicae | 2008-09-02 | Paper |
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field
Computer Algebra in Scientific Computing | 2008-07-04 | Paper |
Deducing the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gröbner Bases
Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates
Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
On selection of nonmultiplicative prolongations in computation of Janet bases
Programming and Computer Software | 2008-05-20 | Paper |
A symbolic-numerical algorithm for the computation of matrix elements in the parametric eigenvalue problem
Programming and Computer Software | 2007-07-05 | Paper |
Effectiveness of involutive criteria in computation of polynomial Janet bases
Programming and Computer Software | 2006-10-26 | Paper |
Symbolic algorithm for factorization of the evolution operator of the time-dependent Schrödinger equation
Programming and Computer Software | 2006-10-26 | Paper |
Parallel computation of Janet and Gröbner bases over rational numbers
Programming and Computer Software | 2006-10-13 | Paper |
scientific article; zbMATH DE number 5052246 (Why is no real title available?)
(available as arXiv preprint) | 2006-09-11 | Paper |
Computer Algebra in Scientific Computing
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Computer Algebra in Scientific Computing
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Computer Algebra in Scientific Computing
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Gröbner bases and generation of difference schemes for partial differential equations
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2006-07-04 | Paper |
Gröbner bases and generation of difference schemes for partial differential equations
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2006-07-04 | Paper |
Gröbner bases and generation of difference schemes for partial differential equations
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2006-07-04 | Paper |
| On Computing Janet Bases for Degree Compatible Orderings | 2006-03-07 | Paper |
| On Computation of Groebner Bases for Linear Difference Systems | 2005-09-22 | Paper |
| Janet Bases of Toric Ideals | 2005-01-12 | Paper |
scientific article; zbMATH DE number 2125583 (Why is no real title available?)
(available as arXiv preprint) | 2005-01-07 | Paper |
scientific article; zbMATH DE number 2125581 (Why is no real title available?)
(available as arXiv preprint) | 2005-01-07 | Paper |
scientific article; zbMATH DE number 2125582 (Why is no real title available?)
(available as arXiv preprint) | 2005-01-07 | Paper |
Improved Kolchin-Ritt algorithm
Programming and Computer Software | 2004-03-29 | Paper |
Implementation of the FGLM algorithm and finding roots of polynomial involutive systems
Programming and Computer Software | 2004-03-29 | Paper |
New exact solutions for polynomial oscillators in large dimensions
Journal of Physics A: Mathematical and General | 2004-02-06 | Paper |
| On application of involutivity analysis of differential equations to constrained dynamical systems | 2003-11-19 | Paper |
| On Exact Solvability of Anharmonic Oscillators in Large Dimensions | 2003-10-09 | Paper |
On an algorithmic optimization in computation of involutive bases
Programming and Computer Software | 2003-09-01 | Paper |
Involutive bases of polynomial ideals
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
Minimal involutive bases
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
| scientific article; zbMATH DE number 1684371 (Why is no real title available?) | 2003-08-10 | Paper |
| scientific article; zbMATH DE number 1684370 (Why is no real title available?) | 2003-08-05 | Paper |
Homogeneity of integrability conditions for multi-parametric families of polynomial-nonlinear evolution equations.
Mathematics and Computers in Simulation | 2003-05-27 | Paper |
| Light-cone SU(2) Yang-Mills theory and conformal mechanics | 2002-10-03 | Paper |
Involutive division techniques: some generalizations and optimizations
Journal of Mathematical Sciences (New York) | 2002-04-14 | Paper |
scientific article; zbMATH DE number 1574478 (Why is no real title available?)
(available as arXiv preprint) | 2002-03-07 | Paper |
Fast search for the Janet divisor
Programming and Computer Software | 2002-01-16 | Paper |
Program for constructing a complete system of relations, basis elements, and commutator table for finitely presented Lie algebras and superalgebras
Programming and Computer Software | 2001-07-26 | Paper |
Involutive divisions of monomials
Programming and Computer Software | 2001-07-26 | Paper |
| scientific article; zbMATH DE number 1567865 (Why is no real title available?) | 2001-02-21 | Paper |
COMPUTER ALGEBRA, SYMMETRY ANALYSIS AND INTEGRABILITY OF NONLINEAR EVOLUTION EQUATIONS
International Journal of Modern Physics C | 2000-07-05 | Paper |
Lie Algebras and Superalgebras Defined by a Finite Number of Relations: Computer Analysis
Journal of Nonlinear Mathematical Physics | 2000-03-13 | Paper |
| scientific article; zbMATH DE number 1375565 (Why is no real title available?) | 1999-12-09 | Paper |
| scientific article; zbMATH DE number 1375565 (Why is no real title available?) | 1999-12-09 | Paper |
| scientific article; zbMATH DE number 1273681 (Why is no real title available?) | 1999-07-20 | Paper |
Gröbner bases and involutive methods for algebraic and differential equations
Mathematical and Computer Modelling | 1999-01-04 | Paper |
The construction of finitely represented Lie algebras
Computational Mathematics and Mathematical Physics | 1998-10-04 | Paper |
An implementation in \(\mathbf C\) of an algorithm for construction of finitely presented Lie superalgebras
Computer Science Journal of Moldova | 1998-06-30 | Paper |
Construction of finitely presented Lie algebras and superalgebras
Journal of Symbolic Computation | 1997-11-13 | Paper |
ASYS: A package for analysis of systems of nonlinear algebraic equations
Programming and Computer Software | 1997-05-13 | Paper |
| scientific article; zbMATH DE number 524279 (Why is no real title available?) | 1994-04-17 | Paper |
| scientific article; zbMATH DE number 125104 (Why is no real title available?) | 1993-02-21 | Paper |
Computer classification of integrable coupled KdV-like systems
Journal of Symbolic Computation | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4123290 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4194337 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4201586 (Why is no real title available?) | 1988-01-01 | Paper |
The use of computer algebra to investigate the integrability of non-linear evolution systems
USSR Computational Mathematics and Mathematical Physics | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4106223 (Why is no real title available?) | 1988-01-01 | Paper |
Computer algebra application for classification of integrable non-linear evolution equations
Journal of Symbolic Computation | 1985-01-01 | Paper |
