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 |
Symbolic-numerical algorithm for large scale calculations the orthonormal SU(3) BM basis | 2020-04-29 | Paper |
On the algorithmic linearizability of nonlinear ordinary differential equations | 2020-01-15 | Paper |
Identifying the parametric occurrence of multiple steady states for some biological networks | 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 |
A strongly consistent finite difference scheme for steady Stokes flow and its modified equations | 2018-10-23 | Paper |
Symbolic algorithm for generating the orthonormal Bargmann-Moshinsky basis for \(\mathrm{SU}(3)\) group | 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 |
Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group | 2015-11-25 | Paper |
On the Partial Analytical Solution of the Kirchhoff Equation | 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 |
On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases | 2015-03-23 | Paper |
Describing the orbit space of the global unitary actions for mixed qudit states | 2015-02-20 | Paper |
Thomas decomposition and its applications | 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 |
Comprehensive Involutive Systems | 2012-09-21 | Paper |
Symbolic-Numerical Calculations of High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields | 2012-09-21 | Paper |
Algorithmic Thomas decomposition of algebraic and differential systems | 2012-07-04 | Paper |
Involutive Division Generated by an Antigraded Monomial Ordering | 2011-09-02 | Paper |
Symbolic-Numerical Algorithms to Solve the Quantum Tunneling Problem for a Coupled Pair of Ions | 2011-09-02 | Paper |
Computer algebra in physical research of jinr | 2011-04-16 | Paper |
Computer algebra application for investigating integrability of nonlinear evolution systems | 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 |
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 |
Some algorithms for calculating unitary matrices for quantum circuits | 2010-09-24 | Paper |
On computation of Boolean involutive bases | 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 |
Involution and Difference Schemes for the Navier–Stokes Equations | 2009-11-10 | Paper |
A Mathematica Package for Simulation of Quantum Computation | 2009-11-10 | Paper |
Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity | 2009-11-10 | Paper |
Specialized computer algebra system GINV | 2009-09-04 | Paper |
Involutive method for computing Gröbner bases over \(\mathbb F_2\) | 2009-09-04 | Paper |
Role of involutive criteria in computing Boolean Gröbner bases | 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 |
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates | 2008-07-01 | Paper |
Deducing the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gröbner Bases | 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 |
Symbolic algorithm for factorization of the evolution operator of the time-dependent Schrödinger equation | 2006-10-26 | Paper |
Effectiveness of involutive criteria in computation of polynomial Janet bases | 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 |
https://portal.mardi4nfdi.de/entity/Q3156401 | 2005-01-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q3156402 | 2005-01-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q3156403 | 2005-01-07 | Paper |
Implementation of the FGLM algorithm and finding roots of polynomial involutive systems | 2004-03-29 | Paper |
Improved Kolchin-Ritt algorithm | 2004-03-29 | Paper |
New exact solutions for polynomial oscillators in large dimensions | 2004-02-06 | 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 |
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/Q5758598 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4203812 | 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 |