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'2002 (

• Parametric analysis of stability conditions for a satellite with a gravitation stabilizer
  Andrey V. Banshchikov
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 1-6
• Moduli spaces of low dimension for semi Brieskorn-Pham singularities w.r.t. right equivalence
  Thomas Bayer
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 7-16
• Liouvillian solutions of ordinary linear difference equations
  Raphaël Bomboy
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 17-27
• Extended characteristic sets of finitely generated differential ideals
  Giuseppa Carrà Ferro, Vladimir P. Gerdt
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 29-36
• Determining Puiseux expansions by Hensel's lemma and dynamic evaluation
  Gema Diaz-Toca, Laureano Gonzalez-Vega
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 37-46
• Computing the rank of large sparse matrices over finite fields
  Jean-Guillaume Dumas, Gilles Villard
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 47-61
• Multivariate power series and normal form calculation in Mathematica
  Victor Edneral, Raya Khanin
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 63-69
• Symbolic equilibrium point analysis in parameterized polynomial vector fields
  M'hammed El Kahoui, Andreas Weber
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 71-83
• Computer algebra in problem solving for computational fluid dynamics: Term rewriting and all that
  Victor G. Ganzha, Dmytro Chibisov, Evgenii V. Vorozhtsov
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 85-96
• Non-commutative Gröbner bases in Poincaré-Birkhoff-Witt extensions
  Mark Giesbrecht, Greg Reid, Yang Zhang
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 97-106
• Approximate solutions of ODEs using piecewise linear vector fields
  Antoine Girard
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 107-119
• Geometric objects and cohomology operations
  R. González-Díaz, P. Real
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 121-130
• The algebraic problems tied with generalized Krylov-Bogolyubov equation
  E.A. Grebenikov, M. Jakubia, D. Kozak-Skoworodkin
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 131-136
• Programs of modelling and visualization of trajectories of particles with variable mass in the field of a massive geoid
  Alexander Gusev, Svetoslav Veselinov, Valentin Samoilov, Pavel Vinitsky
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 137-145
• The programs for normalization and quantization of polynomial Hamiltonians
  Alexander Gusev, Nikolai Chekanov, Vitaly Rostovtsev, Yoshio Uwano, Sergue Vinitsky
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 147-157
• Computing the fixing group of a rational function
  Jaime Gutierrez, Rosario Rubio, David Sevilla
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 159-164
• Algorithms of computer analysis for approximate solutions of linear ODEs with polynomial coefficients
  K. Hantzschmann, O. Becken
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 165-173
• On the properties of families of first integrals
  Valentin Irtegov, Tatyana Titorenko
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 175-182
• High precision computation of elementary functions in Maple
  D.J. Jeffrey
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 183-189
• On asymptotic solutions of higher-order boundary value problems
  Raya Khanin
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 191-200
• Computation of cohomology of Lie algebra of Hamiltonian vector fields by splitting cochain complex into minimal subcomplexes
  Vladimir V. Kornyak
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 201-206
• Les classements les plus généraux assurant l'analycité des solutions des systèmes orthonomes pour des conditions initiales analytiques
  François Lemaire
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 207-219
• An estimation of the parallelization quality of the involutive basis computation algorithm
  V.A. Mityunin, A.S. Semenov
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 221-226
• On structured representation of physical objects
  Michal Mnuk, Gerd Baumann
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 227-235
• Classification and applications of monomial orderings and the properties of differential orderings
  A. Ovchinnikov, A. Zobnin
  Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002), 2002, pp. 237-251