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=Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 12-19, 2004)

• 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 12-19, 2004), 2004, pp. 1-22
• 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 12-19, 2004), 2004, pp. 23-38
• Improved initialization of the accelerated and robust QR-like polynomial root-finding
  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 12-19, 2004), 2004, pp. 39-49
• 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 12-19, 2004), 2004, pp. 51-60
• 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 12-19, 2004), 2004, pp. 61-69
• 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 12-19, 2004), 2004, pp. 71-79
• 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 12-19, 2004), 2004, pp. 81-91
• 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 12-19, 2004), 2004, pp. 93-103
• 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 12-19, 2004), 2004, pp. 105-109
• 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 12-19, 2004), 2004, pp. 111-125
• 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 12-19, 2004), 2004, pp. 127-138
• Efficient dot product over word-size finite fields
  Jean-Guillaume Dumas
  Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 12-19, 2004), 2004, pp. 139-153
• 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 12-19, 2004), 2004, pp. 155-162
• 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 12-19, 2004), 2004, pp. 163-172
• 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 12-19, 2004), 2004, pp. 173-184
• 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 12-19, 2004), 2004, pp. 185-194
• Symbolic-numeric sparse polynomial interpolation in Chebyshev basis and trigonometric interpolation
  Mark Giesbrecht, George Labahn, Wen-shin Lee
  Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 12-19, 2004), 2004, pp. 195-205
• 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 12-19, 2004), 2004, pp. 207-221
• Theorems on the stability of stationary solutions in the restricted ten-body 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 12-19, 2004), 2004, pp. 223-231
• 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 12-19, 2004), 2004, pp. 233-241
• 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 12-19, 2004), 2004, pp. 243-248
• 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 12-19, 2004), 2004, pp. 249-260
• 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 12-19, 2004), 2004, pp. 261-268
• 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 12-19, 2004), 2004, pp. 269-281
• 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 12-19, 2004), 2004, pp. 283-292