===== Authors Index ===== ==== A ==== * S.A.Abramov, 2008, Power Series and Linear Difference Equations * S.A.Abramov, 2005, To the memory of Manuel Bronstein * S.A.Abramov, 2002, The Poles of Solutions of Difference Equations. * S.A,Abramov, 2001, On solution of linear functional systems * S.A,Abramov, 2000, Hypergeometric dispersion and the orbit problem * S.A,Abramov, 1999, Applicability of Zeilberger's algorithm to rational functions. * S.A.Abramov, 1998, Solution of Differential Equations by Using a Power Series whose Coefficients are Eventually Nice Functions of the Index. * S.A.Abramov, 1998, EG-eliminations. * S.A.Abramov, 1997, Accurate Integration. * S.A.Abramov, 1995, On the Nature of Non-uniqueness of Factorization of Ordinary Differential Operators. * R.G.Airapetyan, 1997, New Statements of Inverse Problems in Quantum Scattering Theory. * Yu.A.Al'pin, 1999, Common invariant subspaces of a pair of matrices and related questions * A.V.Astrelin, 1998, Grobner Bases and Involutive Bases. * S.N.Avvakumov, 1996, A General Term of an Inverted Power Series. ==== B ==== * S.A.Baginyan, 1997. Examination of an Algorithm of Recognizing Tracks Detected by a System of Drifting Tubes. * L.M.Berkovich, 1997. Integration of Linear Ordinary Second-Order Differential Equations (from Euler and Liouville to Computer Algebra). * A.Yu.Blinkov, 2001. Computing Polynomial Janet Bases * A.Yu.Blinkov, 1995. Minimum Involute Bases. * Yu.A.Blinkov, 1998. Involutive Divisions of Monomials. * Yu.A.Blinkov, 2000. An algorithm for quick search for Janet divisor * Yu.A.Blinkov, 2000. The Method of separating monomials for involutive divisions. * Yu.A.Blinkov, 2001. Fast Computation of Polynomial Janet Bases. * Yu.A.Blinkov, 2001. Compuatation of Janet bases for toric ideals. * Yu.A.Blinkov. 2005. Open Source Software GINV Implementing Groebner Bases Methods for Systems of Equations, * A.A.Bogolubskaya, 1998. The Use of the Reduce System in Construction of Optimal Numerical Algorithms. * A.D.Bruno, 2006. ON INTEGRABILITY OF THE EULER-POISSON EQUATIONS * A.D.Bruno, 2007, [[main#Analysis of the local integrability by methods of normal form and power geometry|Analysis of the local integrability by methods of normal form and power geometry]] ==== C ==== * J.Carette, 1996 Mathematical Knowledge of the MAPLE System. * V.N.Chugunov, 1998 Inverse eigenvalue problems and computer algebra. ==== D ==== ==== E ==== * V.F.Edneral, 2006. ON INTEGRABILITY OF THE EULER-POISSON EQUATIONS * V.F.Edneral, 2001. Bifurcation Analysis of Low Resonant Case of the Generalized Henon -- Heiles System * V.F.Edneral, 2000. About Normal Form Method * V.F.Edneral, 2000. On Approximated Equations Solving * V.F.Edneral, 1997. Approximation of Solutions of Autonomous Ordinary Differential Equations. * V.A.Eltekov, 1997. Solving Problems in Mathematical Logic Using the PLANER System. * O.Efimovskaya, 2001. Integrable qubic ODEs on free associative algebras ==== F ==== ==== G ==== * K.Geddes, 2001 Fast Numerics Combined with Enhanced Symbolic Computation in Maple 7 * V.P.Gerdt, 2001 Computing Polynomial Janet Bases * K.Geddes, 1999 Symbolic and Hybrid Symbolic-Numeric Computing with Maple * V.P.Gerdt, 1995 Minimum Involute Bases. * V.P.Gerdt, 1998 Involutive Divisions of Monomials. * V.P.Gerdt, 1999 Constrained dynamical systems and canonical polynomial bases. * V.P.Gerdt, 2000 On the Relation Between Pommaret and Janet Bases * V.P.Gerdt, 2000 An algorithm for quick search for Janet divisor * V.P.Gerdt, 2001 On algorithmic optimization in computation of involutive bases. * V.P.Gerdt, 2001 Fast Computation of Polynomial Janet Bases. * V.P.Gerdt, 2006 On algorithmisation of the Dirac constraint formalism * J. Gerhard, 2007, [[main#Parametric polynomial system solving with Maple|Parametric polynomial system solving with Maple]] * P.E.Glotov, 1998 An Algorithm of Searching the Greatest Common Divisor of Ore Polynomials with Polynomial Coefficients Depending on a Parameter * O.D.Golubitskii, 1998 Grobner Bases and Involutive Bases. * O.D.Golubitskii, 1998 Involutive Grobner Walk. * O.D.Golubitskii, 2000 Uniqueness of the representation of a class of strings generated by insertions into the kernel. * N.L.Grigorenko, 1996 Computer Algebra Aspects of Solving Control Problems under Uncertain Conditions. * A.A.Gusev, 2000 Algebraic perturbation theory for a hydrogen atom in weak electric fields * A.A.Gusev, 2001 Algebraic system of perturbation theory for hydrogen-like atom in the point electric charge. * V.P.Gusynin, 1995 Evaluation of Coefficients of the Heat Kernel Expansion for Non-minimum Operators in a Curved Space. ==== H ==== * D.Hare, 2000 Numerics in Maple 6 * K.J.Hare, 1997 Simplification and Comparison with a Sample in the MAPLE System. * C.Howlett, 1995 About WMI's Work. * C.Howlett, 1997 New Means of Deploying Computer Algebra. ==== I ==== * Kh.D.Ikramov, 1998 INVARIANT SUBSPACES OF MATRIX ALGEBRAS AND DETECTING OF THEIR EXISTENCE WITH THE USE OF MAPLE PROCEDURES * Kh.D.Ikramov, 1998 THE INERTIA OF MATRICES AND QUADRATIC FORMS, CONDITIONALLY DEFINITE MATRICES, THE SEPARATION OF ROOTS OF ALGEBRAIC EQUATIONS, AND MAPLE-PROCEDURES * Kh.D.Ikramov, 1999 Common invariant subspaces of a pair of matrices and related questions * V.A.Ilyin, 1995 ATENSOR: A Program Written in the Language of the REDUCE 3.6 Computer Algebra System for Simplifying Tensor Expressions. * V.A.Ilyin, 1998 Mathematical system as an object in computer algebra. ==== J ==== ==== K ==== * D.E.Khmelnov, 2000 EG-eliminations algorithm: practical aspects of its usage. * D.E.Khmelnov, 2000 MEG-eliminations * D.E.Khmelnov, 1997 New Algorithms and Programs for Searching for Rational Solutions to Linear Difference and q-Difference Equations with Polynomial Coefficients. * D.E.Khmelnov, 1997 Improved Algorithms for Difference and q-Difference Equations. * D.E.Khmelnov, 1998 EG-eliminations * K.V.Kholshevnikov, 2001 Geometry of Pairs of Keplerian Elliptic Orbits * V.I.Khomich, 1996 Algorithms Recognizing Separable Superintuitionistic Prepositional Calculuses. * A.M.Khvedelidze, 2006 On algorithmisation of the Dirac constraint formalism * Yu.N.Kiselev, 1996 Problems of Symbolic-Numerical Implementation of Optimal Control Algorithms. * A.Klimov, 2003 Supercompilation and Partial Evaluation: introduction and the state of affairs * V.Kislenkov, 2002 Computation of functions over grids in context of symbolic-numeric-graphical interface * M.V.Kondratieva, 2000 Computation differencial dimensional polinomial for different basis of Dirac's equation. * M.V. Kondratieva, 2007, [[main#Jacobi bound for systems of ordinary differential equations|Jacobi bound for systems of ordinary differential equations]] * V.V.Kornyak, 1995 Evaluation of Coefficients of the Heat Kernel Expansion for Non-minimum Operators in a Curved Space. * V.V.Kornyak, 1998 A Program for Calculating Cohomology of Lie Superalgebras of Vector Fields. * V.V.Kornyak, 2000 Computation of Cohomology of Lie Superalgebras: algorithm and implementation * V.V.Kornyak, 2001 Method for Splitting of Cochain Complexes in Computation of Cohomologies of Lie (Super)algebras * A.P.Kryukov, 1995 ATENSOR: A Program Written in the Language of the REDUCE 3.6 Computer Algebra System for Simplifying Tensor Expressions. * A.P.Kryukov, 1998 Mathematical system as an object in computer algebra. ==== L ==== * A.V.Lapunov, 1998 An Implementation of the Knuth-Bendix Algorithm. * V.N.Latyshev, 1996 Recognizable Properties of Associative Algebras. * Ha Le, 1998 Communication-oriented Representation of Mathematical Objects * Ha Le, 1998 Some Fun With MapleV Release 5 * Gregoire Lecerf (CNRS, France), Multivariate Polynomial Factorization Algorithms, 2006 ==== M ==== * S.D.Makhortov, 2008 [[calg:main#Algebraic_Models_of_Production_Logic_and_Opportunity_of_Their_Application_in_Computer _Algebra_System|Algebraic Models of Production Logic and Opportunity of Their Application in Computer Algebra Systems]] * G.Malashonok, 2001 Computations in Modules over Commutative Rings * G.Malashonok, 2000 Efficient matrix methods in commutative domains. * S.Mechveliani, 2001 Functional programming and categorial approach in computer algebra. * S.Meshveliani, 2000 Cost bound for LLL-Grigoryev method for factoring in GF(q)[x,y]. * A.A. Mikhalev, 1995 Algorithms of the Combinatorial Theory of Lie Super algebras. * A.A. Mikhalev, 1997 Algorithms for Construction of Standard Grobner-Shirshov Bases of Ideals of Free Algebras over Commutative Rings * A.M.Mitichkina, 2000 Special Puiseux Series Solutions of Algebraic Equations * A.V.Mityunin, 1998 The Calculation of Grobner Bases in Differential Modules. * V.Mitrofanov, 2000 A project of distant hypergeometric calculator based on the use of operator factorization method and Internet client-server tecnology ==== N ==== * N.M.Nagornyi, 1995 Kleene's Realizability in Problems of Computer Science and Foundations of Mathematics. * N.M.Nagornyi, 1996 Features of Computable Mathematical Analysis. * A.V.Niukkanen, 1995 Operator Factorization and Prospectives for Its Use in Computer Algebra. * A.V.Niukkanen, 1997 Factorization and Recurrent Relations for Hyper geometric Functions. * A.V. Niukkanen, 1998 The Theory of Special Functions of Hypergeometric Type: State, Prospects, and Illustrative Examples. * A.V. Niukkanen, 1998 Analytical Transformations of Hypergeometric Series with the Use of a New Extension of MAPLE. * A.V. Niukkanen, 2000 Diagram technique for multiple hypergeometric series * A.V. Niukkanen, 2000 A project of distant hypergeometric calculator based on the use of operator factorization method and Internet client-server tecnology * A.V. Niukkanen, 2010 On the use of algebraic recurrence relations for the calculation of higher-order derivatives of composite functions ==== O ==== * G.A.Ososkov, 1997 Examination of an Algorithm of Recognizing Tracks Detected by a System of Drifting Tubes. * A.Ovchinnikov, 2004 The Problem How to Compute a Characteristic Set of a Radical Differential Ideal ==== P ==== * Yu. Palii, 2000 Stabilization of the Integral of Motion and Constraint Manifold under Numerical Integration of the Dynamical Equations Using MAPLE * Yu. Palii, 2006 On algorithmisation of the Dirac constraint formalism * E.V.Pankrat'ev, 1995 Constructive Methods of Differential Algebra. * E.V.Pankrat'ev, 1998 Grobner Bases and Involutive Bases. * O.S.Paramonova, 1997 mplementation of Linear and Quadratic Transformations of Hyper geometric Series of the Gauss Type in the MAPLE System. * O.S.Paramonova, 1998 Analytical Transformations of Hypergeometric Series with the Use of a New Extension of MAPLE. * O.S.Paramonova, 2000 A project of distant hypergeometric calculator based on the use of operator factorization method and Internet client-server tecnology * O.S.Paramonova, 2001 Computer generation of 32 analytical expressions for the Appell function F4 * M.Petkovsek, 1997 Partial Recurrences with Constant Coefficients: The Algebraic Case. * R.I.Podlovchenko, 1996 An Algebraic Approach in Program Scheme Theory. * S.Polyakov, 2004 Additive Decomposition of the Rational Functions * P.I.Pronin, 1995 Evaluation of One-Loop Counter terms: New algorithms and Programs. * I.V.Puzynin, 1997 New Statements of Inverse Problems in Quantum Scattering Theory. ==== Q ==== ==== R ==== * A.M.Raporterenko, 1995 The Use of Adobe Type I Fonts and XII Graphics in the GSL Interpreter of the Standard Lisp Language. * A.M.Raporterenko, 1998 A LISP-system for Logical Analysis and Visualization of Online Data. * V.N.Robuk, 1995 A Computer-Oriented Method for Constructing Solutions of Partial Differential Equations. * V.N.Robuk, 1996 Exact Integration Problems in Computer Algebra. * V.N.Robuk, 1997 Correct Separation of Variables Instead of Exact Integration. * A.Ya.Rodionov, 1998 Mathematical system as an object in computer algebra. * V.A.Rostovtsev, 2000 Algebraic perturbation theory for a hydrogen atom in weak electric fields * V.A.Rostovtsev, 2001 Algebraic system of perturbation theory for hydrogen-like atom in the point electric charge. * A.A.Ryabenko, 1995 Programs for Finding Rational Solutions to Linear Difference and q-Difference Equations with Polynomial Coefficients. * A.A.Ryabenko, 1998 The Construction of Solutions to Linear Ordinary Homogeneous Differential Equations in Terms of Sparse Series in the Maple System * A.A.Ryabenko, 1999 Special formal solutions of linear ordinary differential equations in Maple * A.A.Ryabenko, 2000 Special Puiseux Series Solutions of Algebraic Equations * A.A.Ryabenko, 2001 Symbolic solution of linear ODE by using series. ==== S ==== * V.N.Samoilov, 2000 Algebraic perturbation theory for a hydrogen atom in weak electric fields * V.N.Samoilov, 2001 Algebraic system of perturbation theory for hydrogen-like atom in the point electric charge. * N.V.Savel'eva, 1998 INVARIANT SUBSPACES OF MATRIX ALGEBRAS AND DETECTING OF THEIR EXISTENCE WITH THE USE OF MAPLE PROCEDURES * N.V.Savel'eva, 1998 THE INERTIA OF MATRICES AND QUADRATIC FORMS, CONDITIONALLY DEFINITE MATRICES, THE SEPARATION OF ROOTS OF ALGEBRAIC EQUATIONS, AND MAPLE-PROCEDURES * A.Semenov, 1998 LanHEP - A Program for the Automated Generation of Feynman Rules. * S.I.Serdyukova, 1997 The Calculation of Spectra of Difference Boundary-Value Problems. * S.I.Serdyukova, 1998 The Use of the Reduce System in Construction of Optimal Numerical Algorithms. * S.I.Serdyukova, 2000 Solving Inverse Problem for Two-Dimensional Discrete Schro:dinger Equation by Using CAS REDUCE * V.M.Sever'yanov, 1997 Parallel Calcination of Fractal Sets and Functions by Means of Neural Networks and Cellular Automata. * I.V.Shchenkov, 1997 Computation Delay, Programming Concepts, and Analytical Calculations. * G.Shpiz, 1998 Mathematical system as an object in computer algebra. * Skorobogatov, S.Y.(Bauman Moscow State Technical University) [[main|Refal with High Order Functions]] * S.L.Skorokhodov, 2001 Stable Calculations of Special Functions in MAPLE * S.L.Skorokhodov, Dubna, 2002 Computer Algebra and Computing Special Functions * S. Slavyanov, 2007, Invariant transformations, isomonodromic deformations and "antiquantization" for simplest ODE possessing accessory parameter and apparent singularity. * K.V.Stepanyants, 1995 Evaluation of One-Loop Counter terms: New algorithms and Programs. * A.A.Suhanov, 1999 Representatives classes conjugation of nilpotence elements in a simple Lie algebras low dimensions * A.A.Suhanov, 2000 Computer analis classes conjugation in Lie algebras low dimensions * A.Semenov, 2001 Computing a Hilbert Polynomial using Thomas Involutive Division ==== T ==== * M.N.Tentyakov, 1997 Automation of calculation of Feynman Diagrams. * S.P.Tsarev, 2008, Hyperdeterminats as a computer algebra challenge: their computation and relations to integrable partial difference equations * S.P.Tsarev, 2005, General definition of factorization of an arbitrary linear systems of partial differential equations * S.P.Tsarev, 2003 On rational definite summation * S.P.Tsarev, 2001 The Monge Problem: does it really help to park you car? * S.P.Tsarev, 2000 Factorization of overdetermined systems of linear PDEs * S.P.Tsarev, 1998 On symbolic algorithms of factorization in general rings of Ore polynomials. * S.P.Tsarev, 1995 On the Nature of Non-uniqueness of Factorization of Ordinary Differential Operators. ==== U ==== * F.Ulmer, 1998 Computing Liouvillian solutions of ordinary linear differential equations ==== V ==== * N.N.Vassiliev, 2000 Creation of Symplectic Mapping Invariants in Symbolic Form * N.N.Vassiliev, 2000 Symbolic Constructing of invariants of symplectic maps * N.N.Vassiliev, 2001 Geometry of Pairs of Keplerian Elliptic Orbits * S.I.Vinitsky, 2000 Algebraic perturbation theory for a hydrogen atom in weak electric fields * S.I.Vinitsky, 2001 Algebraic system of perturbation theory for hydrogen-like atom in the point electric charge. ==== W ==== ==== X ==== ==== Y ==== * D.A.Yanovich, 2001 Computing Polynomial Janet Bases * D.A.Yanovich, 1999 Monomial Janet and Pommaret bases * D.A.Yanovich, 2000 An algorithm for quick search for Janet divisor * D.A.Yanovich, 2001 On parallelization of the algorithm for computing Janet bases * D.A.Yanovich, 2001 Fast Computation of Polynomial Janet Bases. ==== Z ==== * M.S.Zuev, 2008 Block symbolic matrix algorithms * E.V.Zima, 2008 Integral representation and closed form summation. * E.P.Zhidkov, 1997 New Statements of Inverse Problems in Quantum Scattering Theory. * E.V.Zima, 1996 Parallel Algorithms of Construction of Multidimensional Chains of Recurrences. * E.V.Zima, 1997 Representation of Polynomials Designed for Fast Parallel Shift. * E.V.Zima, 1998 How fast can we compute products? * A.Zobnin, 2006 Admissible Orderings and Standard Bases of Differential Ideals. * A.Zobnin, 2004 Standard Bases of Ideals in Differential Polynomial Rings * A.A.Zolotykh, 1997 Decomposition of Tensor Products and Other Algorithms for the Representation of Simple Lie Algebras of Large Rank. * A.A.Zolotykh, 1997 Algorithms for Construction of Standard Grobner-Shirshov Bases of Ideals of Free Algebras over Commutative Rings * M.S.Zuev, 2007 Computer algebra methods for parallel computers