Universitaet Bonn Computer Algebra in Scientific Computing
CASC 2007
TUM Logo
Bonn

Home
Accepted Papers


Robust Stability for parametric linear ODEs
Volker Weispfenning

Algebraic Visualization of Relations Using RELVIEW
Rudolf Berghammer, Gunther Schmidt

Construction of Computer System for Microobjects Recognition on Basis Neural Networks
Ulugbek Kh.
Narzullaev, Akmal R. Akhatov, Olim I. Jumanov

Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds
Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas

On the computation of the defining polynomial of the algebraic Riccati equation
Takuya Kitamoto, Tetsu Yamaguchi

On the computation of A-maps
Ainhoa Berciano, María José Jiménez, Pedro Real

Dynamics of nonlinear parabolic equations with cosymmetry
Ekaterina S. Kovaleva, Vyacheslav G. Tsybulin, Kurt Frischmuth

Analytic solutions of linear difference equations, formal series, and bottom summation
S. A. Abramov, M. Petkovsek

On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems
Valentin Irtegov, Tatyana Titorenko

An Efficient LLL Gram Using Buffered Transformations
Werner Backes, Susanne Wetzel

A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form
Ekaterina Shemyakova, Franz Winkler

On the Weight Spectra of Conway Matrices Related to the non-Transitive Head-or-Tail Game
N. Gogin, A. Mylläri

A New Scheme for Deniable/Repudiable Authentication
Song Y. Yan

Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube, using Computer Algebra Software
Juan G. Ospina, Maria Velez

An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks
Hiroshi Yoshida, Koji Nakagawa,  Hirokazu  Anai, Katsuhisa Horimoto

A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates
Ochbadrakh Chuluunbaatar, Alexander Gusev, Vladimir Gerdt, Michail Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergue Vinitsky

Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple
Daniel Sierra Sosa

Properties of the Liapunov Stability Zones of the Lagrange Triangle
E. A. Grebenikov, D. Kozak-Skoworodkin, N. I. Zemtsova

Deducing the constraints in the light-cone SU(3) Yang-Mills mechanics via Gröbner bases
Vladimir Gerdt, Arsen Khvedelidze, Yuri Palii

A unified algorithm for multivariate analytic factorization
Maki Iwami

Exact solutions of completely integrable systems and linear ODE's having elliptic function coefficients
N. A. Kostov, Z. T. Kostova

Ruppert Matrix as Subresultant mapping
Kosaku Nagasaka

Polynomial Division using Dynamic Arrays, Heaps, and Packed Exponent Vectors
Michael Monogan, Roman Pearce

Comprehensive Triangular Decomposition
Changbo Chen, Oleg Golubitsky, Francois Lemaire, Marc Moreno Maza, Wei Pan

Symmetries and Dynamics of Discrete Systems
Vladimir V. Kornyak

On Algorithm of the Normal Form Building
Victor F. Edneral

Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations
D. Chibisov, V. Ganzha, E. W. Mayr, E. V. Vorozhtsov

Studying the Stability of the Second Order Non-autonomous Hamiltonian System
Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya

Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in Rn
Alexei Yu.
Uteshev, Marina V. Yashina

Weak Integer Quantifier Elimination Beyond the Linear Case
Aless Lasaruk, Thomas Sturm

Computations in Modules over Commutative Domains
Alkiviadis G. Akritas, Gennadi I. Malaschonok

On the representation of the differential operator in bases of periodic coiflets and its application
Anna Deytseva

Bounds for Real Roots and Applications to Orthogonal Polynomials
Doru Stefanescu

Some elimination problems for matrices
Wilhelm Plesken, Daniel Robertz