|
Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients |
|
|
1 | (14) |
|
|
|
|
|
|
|
Janet Bases and Resolutions in CoCoALib |
|
|
15 | (15) |
|
|
|
|
|
|
|
Regular Chains under Linear Changes of Coordinates and Applications |
|
|
30 | (15) |
|
|
|
|
|
|
|
|
|
A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve |
|
|
45 | (16) |
|
|
|
|
|
|
|
|
|
Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Means of Symbolic-Numerical Modelling |
|
|
61 | (11) |
|
|
|
A New Approach for Computing Regular Solutions of Linear Difference Systems |
|
|
72 | (15) |
|
|
|
|
|
|
|
Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation |
|
|
87 | (14) |
|
|
|
|
|
|
|
|
|
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains |
|
|
101 | (18) |
|
|
|
|
|
Simplification of Cylindrical Algebraic Formulas |
|
|
119 | (16) |
|
|
|
|
|
Quasi-Steady State -- Intuition, Perturbation Theory and Algorithmic Algebra |
|
|
135 | (17) |
|
|
|
|
|
|
|
Polynomial Complexity Recognizing a Tropical Linear Variety |
|
|
152 | (6) |
|
|
|
Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations |
|
|
158 | (8) |
|
|
|
|
|
Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group |
|
|
166 | (16) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Symbolic-Numeric Solution of Boundary-Value Problems for the Schrodinger Equation Using the Finite Element Method: Scattering Problem and Resonance States |
|
|
182 | (16) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of Satellite |
|
|
198 | (12) |
|
|
|
|
|
|
|
Bounds for the Condition Number of Polynomials Systems with Integer Coefficients (Invited Talk) |
|
|
210 | (10) |
|
|
|
|
|
On Invariant Manifolds and Their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force Fields |
|
|
220 | (13) |
|
|
|
|
|
Homotopy Analysis Method for Stochastic Differential Equations with Maxima |
|
|
233 | (12) |
|
|
|
|
|
|
|
|
|
|
|
On the Topology and Visualization of Plane Algebraic Curves |
|
|
245 | (15) |
|
|
|
|
|
|
|
Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data |
|
|
260 | (15) |
|
|
|
|
|
Parametric Solvable Polynomial Rings and Applications |
|
|
275 | (15) |
|
|
|
Triangular Decomposition of Matrices in a Domain |
|
|
290 | (15) |
|
|
|
|
|
Automated Reasoning in Reduction Rings Using the Theorema System |
|
|
305 | (15) |
|
|
|
On the Partial Analytical Solution of the Kirchhoff Equation |
|
|
320 | (12) |
|
|
|
|
|
|
|
|
|
|
|
Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases |
|
|
332 | (15) |
|
|
|
|
|
Polynomial Real Root Isolation by Means of Root Radii Approximation |
|
|
347 | (12) |
|
|
|
|
|
Randomized Circulant and Gaussian Pre-processing |
|
|
359 | (15) |
|
|
|
|
|
Symbolic Computation and Finite Element Methods (Invited Talk) |
|
|
374 | (15) |
|
|
|
Approximate Quantum Fourier Transform and Quantum Algorithm for Phase Estimation |
|
|
389 | (15) |
|
|
|
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates |
|
|
404 | (18) |
|
|
|
|
|
|
|
|
|
Analysis of Reaction Network Systems Using Tropical Geometry |
|
|
422 | (16) |
|
|
|
|
|
|
|
|
|
Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions |
|
|
438 | (17) |
|
|
|
|
|
|
|
A New Polynomial Bound and Its Efficiency |
|
|
455 | (11) |
|
|
|
Distance Evaluation Between an Ellipse and an Ellipsoid |
|
|
466 | (11) |
|
|
|
|
|
Algebraic General Solutions of First Order Algebraic ODEs |
|
|
477 | (14) |
|
|
|
|
| Author Index |
|
491 | |
