![]() |
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 |
||