| Publication | Date of Publication | Type |
|---|
| The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs | 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 | 2020-09-10 | Paper |
| A case study on the parametric occurrence of multiple steady states | 2020-09-09 | Paper |
| Algorithmic verification of linearizability for ordinary differential equations | 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 | 2020-01-15 | Paper |
| On the algorithmic linearizability of nonlinear ordinary differential equations | 2020-01-15 | Paper |
| Algebraic construction of a strongly consistent, permutationally symmetric and conservative difference scheme for 3D steady Stokes flow | 2019-07-10 | Paper |
| Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations | 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 | 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 | 2018-02-23 | Paper |
| Symbolic-numeric algorithms for solving BVPs for a system of ODEs of the second order: multichannel scattering and eigenvalue problems | 2016-11-09 | Paper |
| Symbolic algorithm for generating irreducible rotational-vibrational bases of point groups | 2016-11-09 | Paper |
| On the general analytical solution of the kinematic Cosserat equations | 2016-11-09 | Paper |
| Lagrangian constraints and differential Thomas decomposition | 2015-12-11 | Paper |
| On the partial analytical solution of the Kirchhoff equation | 2015-11-25 | Paper |
| Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group | 2015-11-25 | Paper |
| Consistency of finite difference approximations for linear PDE systems and its algorithmic verification | 2015-09-17 | Paper |
| Computation of difference Gröbner bases | 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 | 2015-03-23 | Paper |
| Thomas decomposition and its applications | 2015-02-20 | Paper |
| Describing the orbit space of the global unitary actions for mixed qudit states | 2015-02-20 | Paper |
| Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals | 2014-12-05 | Paper |
| Lie symmetry analysis for Cosserat rods | 2014-09-08 | Paper |
| On consistency of finite difference approximations to the Navier-Stokes equations | 2014-07-07 | Paper |
| Simulation of quantum error correction with Mathematica | 2014-07-07 | Paper |
| Algebraically simple involutive differential systems and the Cauchy problem | 2014-06-06 | Paper |
| Estimations of positive roots of polynomials | 2014-06-06 | Paper |
| Involutive bases algorithm incorporating F\(_5\) criterion | 2014-03-03 | Paper |
| Simulation of quantum error correction by means of QuantumCircuit package | 2014-01-29 | Paper |
| Symbolic-numerical calculations of high-\(|m|\) Rydberg states and decay rates in strong magnetic fields | 2012-09-21 | Paper |
| Comprehensive involutive systems | 2012-09-21 | Paper |
| Algorithmic Thomas decomposition of algebraic and differential systems | 2012-07-04 | Paper |
| Symbolic-numerical algorithms to solve the quantum tunneling problem for a coupled pair of ions | 2011-09-02 | Paper |
| Involutive division generated by an antigraded monomial ordering | 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 | 2011-04-16 | Paper |
| Computer classification of integrable seventh order MKdV — Like equations | 2011-04-16 | Paper |
| Computer algebra and computation of puiseux expansions of algebraic functions | 2011-04-16 | Paper |
| Computer algebra application for investigating integrability of nonlinear evolution systems | 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 | 2010-10-18 | Paper |
| On computation of Boolean involutive bases | 2010-09-24 | Paper |
| Some algorithms for calculating unitary matrices for quantum circuits | 2010-09-24 | Paper |
| Thomas decomposition of algebraic and differential systems | 2010-09-10 | Paper |
| Symbolic-numeric algorithms for computer analysis of spheroidal quantum dot models | 2010-09-10 | Paper |
| A Mathematica Package for Simulation of Quantum Computation | 2009-11-10 | Paper |
| Involution and Difference Schemes for the Navier–Stokes Equations | 2009-11-10 | Paper |
| Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity | 2009-11-10 | Paper |
| Role of involutive criteria in computing Boolean Gröbner bases | 2009-09-04 | Paper |
| Involutive method for computing Gröbner bases over \(\mathbb F_2\) | 2009-09-04 | Paper |
| Specialized computer algebra system GINV | 2009-09-04 | Paper |
| Light-cone Yang-Mills mechanics: \(SU(2)\) vs. \(SU(3)\) | 2009-03-02 | Paper |
| A pommaret division algorithm for computing Grobner bases in boolean rings | 2009-01-20 | Paper |
| On decomposition of algebraic PDE systems into simple subsystems | 2008-09-02 | Paper |
| A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field | 2008-07-04 | Paper |
| Deducing the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gröbner Bases | 2008-07-01 | Paper |
| A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates | 2008-07-01 | Paper |
| On selection of nonmultiplicative prolongations in computation of Janet bases | 2008-05-20 | Paper |
| A symbolic-numerical algorithm for the computation of matrix elements in the parametric eigenvalue problem | 2007-07-05 | Paper |
| Effectiveness of involutive criteria in computation of polynomial Janet bases | 2006-10-26 | Paper |
| Symbolic algorithm for factorization of the evolution operator of the time-dependent Schrödinger equation | 2006-10-26 | Paper |
| Parallel computation of Janet and Gröbner bases over rational numbers | 2006-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5486584 | 2006-09-11 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
| Gröbner bases and generation of difference schemes for partial differential equations | 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 |
| https://portal.mardi4nfdi.de/entity/Q3156403 | 2005-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3156401 | 2005-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3156402 | 2005-01-07 | Paper |
| Improved Kolchin-Ritt algorithm | 2004-03-29 | Paper |
| Implementation of the FGLM algorithm and finding roots of polynomial involutive systems | 2004-03-29 | Paper |
| New exact solutions for polynomial oscillators in large dimensions | 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 | 2003-09-01 | Paper |
| Involutive bases of polynomial ideals | 2003-08-21 | Paper |
| Minimal involutive bases | 2003-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760212 | 2003-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760211 | 2003-08-05 | Paper |
| Homogeneity of integrability conditions for multi-parametric families of polynomial-nonlinear evolution equations. | 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 | 2002-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2702007 | 2002-03-07 | Paper |
| Fast search for the Janet divisor | 2002-01-16 | Paper |
| Program for constructing a complete system of relations, basis elements, and commutator table for finitely presented Lie algebras and superalgebras | 2001-07-26 | Paper |
| Involutive divisions of monomials | 2001-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4761696 | 2001-02-21 | Paper |
| COMPUTER ALGEBRA, SYMMETRY ANALYSIS AND INTEGRABILITY OF NONLINEAR EVOLUTION EQUATIONS | 2000-07-05 | Paper |
| Lie Algebras and Superalgebras Defined by a Finite Number of Relations: Computer Analysis | 2000-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3836505 | 1999-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4237418 | 1999-07-20 | Paper |
| Gröbner bases and involutive methods for algebraic and differential equations | 1999-01-04 | Paper |
| The construction of finitely represented Lie algebras | 1998-10-04 | Paper |
| An implementation in \(\mathbf C\) of an algorithm for construction of finitely presented Lie superalgebras | 1998-06-30 | Paper |
| Construction of finitely presented Lie algebras and superalgebras | 1997-11-13 | Paper |
| ASYS: A package for analysis of systems of nonlinear algebraic equations | 1997-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284767 | 1994-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026751 | 1993-02-21 | Paper |
| Computer classification of integrable coupled KdV-like systems | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4203812 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5758598 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3349955 | 1988-01-01 | Paper |
| The use of computer algebra to investigate the integrability of non-linear evolution systems | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830485 | 1988-01-01 | Paper |
| Computer algebra application for classification of integrable non-linear evolution equations | 1985-01-01 | Paper |
