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

• Evaluation of plasma fluid equations collision integrals using REDUCE
  R. Liska, D. Drska
  Lecture Notes in Computer Science 378, 1989, pp. 178
• A zero structure theorem for polynomial-equations-solving and its applications
  W. Wu
  Lecture Notes in Computer Science 378, 1989, pp. 44
• Computer algebra in physical research of Joint Institute for Nuclear Research
  R.N. Federova, V.P. Gerdt, N.N. Govorun, V.P. Shirikov
  Lecture Notes in Computer Science 378, 1989, pp. 1-10
• Complexity of quantifier elimination in the theory of ordinary differential equations
  D.Yu. Grigoriev
  Lecture Notes in Computer Science 378, 1989, pp. 11-25
• Groups and polynomials
  G.C. Smith
  Lecture Notes in Computer Science 378, 1989, pp. 26-33
• Symbolic computation in relativity theory
  M.A.H. MacCallum
  Lecture Notes in Computer Science 378, 1989, pp. 34-43
• Some algorithms of rational function algebra
  S.A. Abramov
  Lecture Notes in Computer Science 378, 1989, pp. 45-47
• The computer algebra system SIMATH
  R. Böffgen, M.A. Reichert
  Lecture Notes in Computer Science 378, 1989, pp. 48-49
• Converting SAC-2 code to LISP
  L. Langemyr
  Lecture Notes in Computer Science 378, 1989, pp. 50-51
• Computer algebra system for continued fractions manipulation
  V. Tomov, M. Nisheva, T. Tonev
  Lecture Notes in Computer Science 378, 1989, pp. 52-53
• Computing a lattice basis from a system of generating vectors
  J. Buchmann, M. Pohst
  Lecture Notes in Computer Science 378, 1989, pp. 54-63
• Expression optimization using high-level knowledge
  M.P.W. Mutrie, B.W. Char, R.H. Bartels
  Lecture Notes in Computer Science 378, 1989, pp. 64-70
• CATFACT: Computer algebraic tools for applications of catastrophe theory
  R.G. Cowell, F.J. Wright
  Lecture Notes in Computer Science 378, 1989, pp. 71-80
• Computer algebra application for investigating integrability of nonlinear evolution systems
  V.P. Gerdt, A.B. Shabat, S.I. Svinolupov, A.Yu. Zharkov
  Lecture Notes in Computer Science 378, 1989, pp. 81-92
• Computer classification of integrable seventh order MKdV-like equations
  V.P. Gerdt, A.Yu. Zharkov
  Lecture Notes in Computer Science 378, 1989, pp. 93-94
• Symbolic computation and the finite element method
  J.P. Fitch, R.G. Hall
  Lecture Notes in Computer Science 378, 1989, pp. 95-96
• Application of Lie group and computer algebra to nonlinear mechanics
  D.M. Klimov, V.M. Rudenko, V.F. Zhuravlev
  Lecture Notes in Computer Science 378, 1989, pp. 97-106
• Hierarchical symbolic computations in the analysis of large-scale dynamical systems
  J. Paczyński
  Lecture Notes in Computer Science 378, 1989, pp. 107-115
• SCHOONSCHIP for computing of gravitino interaction cross sections in n=2 supergravity
  N.I. Gurin
  Lecture Notes in Computer Science 378, 1989, pp. 116-117
• Creation of efficient symbolic-numeric interface
  N.N. Vasiliev
  Lecture Notes in Computer Science 378, 1989, pp. 118-119
• Automatic generation of FORTRAN-coded Jacobians and Hessians
  P. van den Heuvel, J.A. van Hulzen, V.V. Goldman
  Lecture Notes in Computer Science 378, 1989, pp. 120-131
• Laplace transformations in REDUCE 3
  C. Kazasov
  Lecture Notes in Computer Science 378, 1989, pp. 132-133
• REDUCE 3.2 on iAPX 86/286-based personal computers
  T. Yamamoto, Y. Aoki
  Lecture Notes in Computer Science 378, 1989, pp. 134-135
• Some extensions and applications of REDUCE system
  M. Spiridonova
  Lecture Notes in Computer Science 378, 1989, pp. 136-137
• Infinite structures in SCRATCHPAD II
  W.H. Burge, S.M. Watt
  Lecture Notes in Computer Science 378, 1989, pp. 138-148