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=8136

• On the dimension of solution spaces of full rank linear differential systems
  S.A. Abramov, M.A. Barkatou
  Lecture Notes in Computer Science 8136, 2013, pp. 1-9
• Polyhedral methods for space curves exploiting symmetry applied to the cyclic n-roots problem
  Danko Adrovic, Jan Verschelde
  Lecture Notes in Computer Science 8136, 2013, pp. 10-29
• Computing the limit points of the quasi-component of a regular chain in dimension one
  Parisa Alvandi, Changbo Chen, Marc Moreno Maza
  Lecture Notes in Computer Science 8136, 2013, pp. 30-45
• On consistency of finite difference approximations to the Navier-Stokes equations
  Pierluigi Amodio, Yuri Blinkov, Vladimir Gerdt, Roberto La Scala
  Lecture Notes in Computer Science 8136, 2013, pp. 46-60
• Faster sparse interpolation of straight-line programs
  Andrew Arnold, Mark Giesbrecht, Daniel S. Roche
  Lecture Notes in Computer Science 8136, 2013, pp. 61-74
• On possibility of additional solutions of the degenerate system near double degeneration at the special value of the parameter
  Alexander D. Bruno, Victor F. Edneral
  Lecture Notes in Computer Science 8136, 2013, pp. 75-87
• Efficient methods to compute Hopf bifurcations in chemical reaction networks using reaction coordinates
  Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm, Andreas Weber
  Lecture Notes in Computer Science 8136, 2013, pp. 88-99
• Highly scalable multiplication for distributed sparse multivariate polynomials on many-core systems
  Mickaël Gastineau, Jacques Laskar
  Lecture Notes in Computer Science 8136, 2013, pp. 100-115
• Simulation of quantum error correction with Mathematica
  Vladimir P. Gerdt, Alexander N. Prokopenya
  Lecture Notes in Computer Science 8136, 2013, pp. 116-129
• From the product example to PDE adjoints, algorithmic differentiation and its application
  Andreas Griewank
  Lecture Notes in Computer Science 8136, 2013, pp. 130-135
• Polynomial complexity of solving systems of few algebraic equations with small degrees
  Dima Grigoriev
  Lecture Notes in Computer Science 8136, 2013, pp. 136-139
• Computing divisors and common multiples of quasi-linear ordinary differential equations
  Dima Grigoriev, Fritz Schwarz
  Lecture Notes in Computer Science 8136, 2013, pp. 140-147
• Complexity in tropical algebra
  Dima Grigoriev
  Lecture Notes in Computer Science 8136, 2013, pp. 148-154
• Symbolic-numerical algorithm for generating cluster eigenfunctions: Identical particles with pair oscillator interactions
  Alexander Gusev, Sergue Vinitsky, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov, Andrzej Góźdź, Evgenii Klimov
  Lecture Notes in Computer Science 8136, 2013, pp. 155-168
• Symbolic-numerical investigation of gyrostat satellite dynamics
  Sergey A. Gutnik, Vasily A. Sarychev
  Lecture Notes in Computer Science 8136, 2013, pp. 169-178
• On stationary sets of Euler's equations on so (3,1) and their stability
  Valentin Irtegov, Tatyana Titorenko
  Lecture Notes in Computer Science 8136, 2013, pp. 179-193
• An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification
  Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai
  Lecture Notes in Computer Science 8136, 2013, pp. 194-208
• Categories as type classes in the scala algebra system
  Raphaël Jolly
  Lecture Notes in Computer Science 8136, 2013, pp. 209-218
• Enumeration of schur rings over the group A_5
  Mikhail Klin, Matan Ziv-Av
  Lecture Notes in Computer Science 8136, 2013, pp. 219-230
• Generalized Bruhat decomposition in commutative domains
  Gennadi Malaschonok
  Lecture Notes in Computer Science 8136, 2013, pp. 231-242
• Automatic parallel library generation for general-size modular FFT algorithms
  Lingchuan Meng, Jeremy Johnson
  Lecture Notes in Computer Science 8136, 2013, pp. 243-256
• Extended QRGCD algorithm
  Kosaku Nagasaka, Takaaki Masui
  Lecture Notes in Computer Science 8136, 2013, pp. 257-272
• Polynomial evaluation and interpolation and transformations of matrix structures
  Victor Y. Pan
  Lecture Notes in Computer Science 8136, 2013, pp. 273-287
• A note on the need for radical membership checking in mechanical theorem proving in geometry
  Eugenio Roanes-Lozano, Eugenio Roanes-Macías
  Lecture Notes in Computer Science 8136, 2013, pp. 288-300
• A symbolic approach to boundary problems for linear partial differential equations: Applications to the completely reducible case of the Caauchy problem with constant coefficients
  Markus Rosenkranz, Nalina Phisanbut
  Lecture Notes in Computer Science 8136, 2013, pp. 301-314