Computer Algebra in Scientific Computing

A New Approach for Computing Regular Solutions of Linear Difference Systems

Pages 72-86

Barkatou, Moulay (et al.)

Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation

Pages 87-100

Bliss, Nathan (et al.)

Finding First Integrals Using Normal Forms Modulo Differential Regular Chains

Pages 101-118

Boulier, François (et al.)

Simplification of Cylindrical Algebraic Formulas

Pages 119-134

Chen, Changbo (et al.)

Quasi-Steady State – Intuition, Perturbation Theory and Algorithmic Algebra

Pages 135-151

Goeke, Alexandra (et al.)

Polynomial Complexity Recognizing a Tropical Linear Variety

Pages 152-157

Grigoriev, Dima

Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations

Pages 158-165

Grigoriev, Dima (et al.)

Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group

Pages 166-181

Gusev, A. A. (et al.)

Symbolic-Numeric Solution of Boundary-Value Problems for the Schrödinger Equation Using the Finite Element Method: Scattering Problem and Resonance States

Pages 182-197

Gusev, A. A. (et al.)

Application of Computer Algebra Methods to Investigation of Influence of Constant Torque on Stationary Motions of Satellite

Pages 198-209

Gutnik, Sergey A. (et al.)

Bounds for the Condition Number of Polynomials Systems with Integer Coefficients

Pages 210-219

Herman, Aaron (et al.)

On Invariant Manifolds and Their Stability in the Problem of Motion of a Rigid Body under the Influence of Two Force Fields

Pages 220-232

Irtegov, Valentin (et al.)

Homotopy Analysis Method for Stochastic Differential Equations with Maxima

Pages 233-244

Janowicz, Maciej (et al.)

On the Topology and Visualization of Plane Algebraic Curves

Pages 245-259

Jin, Kai (et al.)

Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data

Pages 260-274

Kozera, Ryszard (et al.)

Parametric Solvable Polynomial Rings and Applications

Pages 275-291

Kredel, Heinz

Triangular Decomposition of Matrices in a Domain

Pages 292-306

Malaschonok, Gennadi (et al.)

Automated Reasoning in Reduction Rings Using the Theorema System

Pages 307-321

Maletzky, Alexander

On the Partial Analytical Solution of the Kirchhoff Equation

Pages 322-333

Michels, Dominik L. (et al.)

Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases

Pages 334-348

Nabeshima, Katsusuke (et al.)

Polynomial Real Root Isolation by Means of Root Radii Approximation

Pages 349-360

Pan, Victor Y. (et al.)

Randomized Circulant and Gaussian Pre-processing

Pages 361-375

Pan, Victor Y. (et al.)

Symbolic Computation and Finite Element Methods

Pages 376-390

Pillwein, Veronika

Approximate Quantum Fourier Transform and Quantum Algorithm for Phase Estimation

Pages 391-405

Prokopenya, Alexander N.

Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates

Pages 406-423

Rosenkranz, Markus (et al.)

Analysis of Reaction Network Systems Using Tropical Geometry

Pages 424-439

Samal, Satya Swarup (et al.)

Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions

Pages 440-456

She, Zhikun (et al.)

A New Polynomial Bound and Its Efficiency

Pages 457-467

Ştefănescu, Doru

Distance Evaluation Between an Ellipse and an Ellipsoid

Pages 468-478

Uteshev, Alexei Yu. (et al.)

Algebraic General Solutions of First Order Algebraic ODEs

Pages 479-492

Vo, Ngoc Thieu (et al.)