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: Series=LNCS AND Volume=4194

• Comparison maps for relatively free resolutions
  V. Álvarez, J.A. Armario, M.D. Frau, P. Real
  Lecture Notes in Computer Science 4194, 2006, pp. 1-22
• A symbolic-numeric approach for solving the eigenvalue problem for the one-dimensional Schrödinger equation
  I.N. Belyaeva, N.A. Chekanov, A.A. Gusev, V.A. Rostovtsev, S.I. Vinitsky
  Lecture Notes in Computer Science 4194, 2006, pp. 23-32
• Reducing computational costs in the basic perturbation lemma
  Ainhoa Berciano, María José Jiménez, Pedro Real
  Lecture Notes in Computer Science 4194, 2006, pp. 33-48
• Solving algorithmic problems on orders and lattices by relation algebra and RELVIEW
  Rudolf Berghammer
  Lecture Notes in Computer Science 4194, 2006, pp. 49-63
• Intervals, Syzygies, numerical Gröbner bases: A mixed study
  Marco Bodrato, Alberto Zanoni
  Lecture Notes in Computer Science 4194, 2006, pp. 64-76
• Application of computer algebra for construction of quasi-periodic solutions for restricted circular planar three body problem
  V.P. Borunov, Yu.A. Ryabov, O.V. Surkov
  Lecture Notes in Computer Science 4194, 2006, pp. 77-88
• Efficient preprocessing methods for quantifier elimination
  Christopher W. Brown, Christian Gross
  Lecture Notes in Computer Science 4194, 2006, pp. 89-100
• Symbolic and numerical calculation of transport integrals for some organic crystals
  A. Casian, R. Dusciac, V. Dusciac, V. Patsiuk
  Lecture Notes in Computer Science 4194, 2006, pp. 101-108
• On the provably tight approximation of optimal meshing for non-convex regions
  Dmytro Chibisov, Victor Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov
  Lecture Notes in Computer Science 4194, 2006, pp. 109-128
• Providing modern software environments to computer algebra systems
  Svetlana Cojocaru, Ludmila Malahova, Alexander Colesnicov
  Lecture Notes in Computer Science 4194, 2006, pp. 129-140
• The instability of the rhombus-like central configurations in Newton 9-body problem
  D. Diarova, N.I. Zemtsova
  Lecture Notes in Computer Science 4194, 2006, pp. 141-148
• Algorithmic invariants for Alexander modules
  Jesús Gago-Vargas, Isabel Hartillo-Hermoso, José María Ucha-Enríquez
  Lecture Notes in Computer Science 4194, 2006, pp. 149-154
• Sudokus and Gröbner bases: Not only a divertimento
  Jesús Gago-Vargas, Isabel Hartillo-Hermoso, Jorge Martín-Morales, José María Ucha-Enríquez
  Lecture Notes in Computer Science 4194, 2006, pp. 155-165
• Simplicial perturbation techniques and effective homology
  Rocio Gonzalez-Díaz, Belén Medrano, Javier Sánchez-Peláez, Pedro Real
  Lecture Notes in Computer Science 4194, 2006, pp. 166-177
• Numerical study of stability domains of Hamiltonian equation solutions
  E.A. Grebenicov, D. Kozak-Skoworodkin, D.M. Diarova
  Lecture Notes in Computer Science 4194, 2006, pp. 178-191
• Numeric-symbolic computations in the study of central configurations in the planar Newtonian four-body problem
  Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya
  Lecture Notes in Computer Science 4194, 2006, pp. 192-204
• A symbolic-numerical algorithm for solving the eigenvalue problem for a hydrogen atom in magnetic field
  Alexander Gusev, Vladimir Gerdt, Michail Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergue Vinitsky
  Lecture Notes in Computer Science 4194, 2006, pp. 205-218
• On decomposition of tame polynomials and rational functions
  Jaime Gutierrez, David Sevilla
  Lecture Notes in Computer Science 4194, 2006, pp. 219-226
• Newton polyhedra and an oscillation index of oscillatory integrals with convex phases
  Isroil A. Ikromov, Akhmadjon Soleev
  Lecture Notes in Computer Science 4194, 2006, pp. 227-239
• Cellular automata with symmetric local rules
  Vladimir V. Kornyak
  Lecture Notes in Computer Science 4194, 2006, pp. 240-250
• Parallel Laplace method with assured accuracy for solutions of differential equations by symbolic computations
  Natasha Malaschonok
  Lecture Notes in Computer Science 4194, 2006, pp. 251-260
• On connection between constructive involutive divisions and monomial orderings
  Alexander Semenov
  Lecture Notes in Computer Science 4194, 2006, pp. 261-278
• A symbolic-numeric approach to tube modeling in CAD systems
  Gerrit Sobottka, Andreas Weber
  Lecture Notes in Computer Science 4194, 2006, pp. 279-283
• Inequalities on upper bounds for real polynomial roots
  Doru Ştefănescu
  Lecture Notes in Computer Science 4194, 2006, pp. 284-294
• New domains for applied quantifier elimination
  Thomas Sturm
  Lecture Notes in Computer Science 4194, 2006, pp. 295-301