Fakultät für Informatik

Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Booktitle= CASC'2004 (
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Elements: An object oriented approach to industrial software development
Gerd Baumann
,
Michal Mnuk
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 122
STRATIFY  A SINGULAR package for computing stratifications of compact group actions
Thomas Bayer
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 2338
Improved initialization of the accelerated and robust
QR
like polynomial rootfinding
Dario A. Bini
,
Luca Gemignani
,
Victor Y. Pan
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 3949
Algorithmic methods for computing threshold conditions in epidemic modelling
Christopher W. Brown
,
M'hammed El Kahoui
,
Dominik Novotni
,
Andreas Weber
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 5160
On stability of a satellite with gyrodines
Larisa A. Burlakova
,
Andrey V. Banshchicov
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 6169
Toward the integration of numerical computations into the OMSCS framework
Jacques Calmet
,
Vincent Lefèvre
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 7179
On the parametric resonance in some mechanical system with damping
Carlo Cattani
,
Evgenii A. Grebenikov
,
Alexander N. Prokopenya
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 8191
Computational and algebraic aspects of the advanced encryption standard
Carlos Cid
,
Sean Murphy
,
Matthew Robshaw
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 93103
An algorithm to factorize in a quotient ring
Giorgio Dalzotto
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 105109
Generalized constraint solving over differential algebras
Andreas Dolzmann
,
Thomas Sturm
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 111125
Finding and analyzing mathematical formulae in MathML and OpenMath on the Web
Dirk Draheim
,
Winfried Neun
,
Dima Suliman
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 127138
Efficient dot product over wordsize finite fields
JeanGuillaume Dumas
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 139153
Computer algebra, types and proofs
A.V. Flegontov
,
Sergei V. Soloviev
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 155162
Cosymmetry preservation and families of equilibria
Kurt Frischmuth
,
Vyacheslav G. Tsybulin
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 163172
Hierarchical advancing front triangulation using symmetry properties
Victor G. Ganzha
,
Dmytro Chibisov
,
Evgenii V. Vorozhtsov
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 173184
Parallel computation of involutive and Gröbner bases
Vladimir P. Gerdt
,
Denis A. Yanovich
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 185194
Symbolicnumeric sparse polynomial interpolation in Chebyshev basis and trigonometric interpolation
Mark Giesbrecht
,
George Labahn
,
Wenshin Lee
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 195205
Gröbner walk for characteristic sets of prime differentiel ideals
Oleg Golubitsky
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 207221
Theorems on the stability of stationary solutions in the restricted tenbody problem for resonance cases
E.A. Grebenikov
,
E.V. Ikhsanov
,
N.I. Zemtsova
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 223231
Discrete algorithms for symbolic computing of topological phases in interference microscopy
Alexander Gusev
,
Vladimir Andreev
,
Vladimir Derbov
,
Yuri Popov
,
Vitaly Rostovtsev
,
Sergue Vinitsky
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 233241
Newton polyhedra and estimates for Fourier transform of measures with finite energy
Isroil Ikromov
,
Akhmadjon Soleev
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 243248
Certification of analytic continuation of algebraic function
Daiju Inaba
,
Tateaki Sasaki
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 249260
On stability of body motions in fluid
Valentin Irtegov
,
Tatyana Titorenko
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 261268
Extension of expansion base algorihtm to multivariate analytic factorization
Maki Iwami
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 269281
Independent components of an indexed object with linear symmetries
Sergei A. Klioner
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 1219, 2004)
, 2004, pp. 283292
Seiten 1
2
>