Computer
Algebra in Scientific Computing CASC 2007 |
||||||
|
|
Robust Stability for parametric
linear ODEs Volker Weispfenning |
||
Algebraic
Visualization of Relations Using RELVIEW |
||
Construction
of Computer System for Microobjects Recognition on Basis Neural Networks |
||
Advances
on the Continued Fractions Method Using Better Estimations of Positive
Root Bounds |
||
On
the computation of the defining polynomial of the algebraic Riccati
equation |
||
On
the computation of A∞-maps |
||
Dynamics
of nonlinear parabolic equations with cosymmetry |
||
Analytic
solutions of linear difference equations, formal series, and bottom
summation |
||
On
the Peculiar Properties of Families of Invariant Manifolds of
Conservative Systems |
||
An
Efficient LLL Gram Using Buffered Transformations |
||
A
Full System of Invariants for Third-Order Linear Partial Differential
Operators in General Form |
||
On
the Weight Spectra of Conway Matrices Related to the non-Transitive
Head-or-Tail Game |
||
A
New Scheme for Deniable/Repudiable Authentication |
||
Analytical
Solution for Transient Flow of a Generalized Bingham Fluid with Memory
in a Movable Tube, using Computer Algebra Software |
||
An
Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks |
||
A
Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a
Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates |
||
Automatic
Stability Analysis for a Diffusion Equation with Memories Using Maple |
||
Properties
of the Liapunov Stability Zones of the Lagrange Triangle |
||
Deducing the constraints in the
light-cone SU(3) Yang-Mills mechanics via Gröbner bases |
||
A
unified algorithm for multivariate analytic factorization |
||
Exact
solutions of completely integrable systems and linear ODE's having
elliptic function coefficients |
||
Ruppert Matrix as Subresultant
mapping |
||
Polynomial
Division using Dynamic Arrays, Heaps, and Packed Exponent Vectors |
||
Comprehensive Triangular
Decomposition |
||
Symmetries
and Dynamics of Discrete Systems |
||
On
Algorithm of the Normal Form Building |
||
Stability
Investigation of a Difference Scheme for Incompressible Navier-Stokes
Equations |
||
Studying
the Stability of the Second Order Non-autonomous Hamiltonian System |
||
Distance
Computation from an Ellipsoid to a Linear or a Quadric Surface in Rn |
||
Weak
Integer Quantifier Elimination Beyond the Linear Case |
||
Computations in Modules over
Commutative Domains |
||
On
the representation of the differential operator in bases of periodic
coiflets and its application |
||
Bounds
for Real Roots and Applications to Orthogonal Polynomials |
||
Some
elimination problems for matrices |