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 [3]	Hilfe

Suche: Series=LNCS AND Volume=378

• Application of a structured LISP system to computer algebra
  J. Smit, S.H. Gerez, R. Mulder
  Lecture Notes in Computer Science 378, 1989, pp. 149-160
• Number-theoretic transforms of prescribed length
  R. Creutzburg, M. Tasche
  Lecture Notes in Computer Science 378, 1989, pp. 161-162
• A hybrid algebraic-numeric system ANS and its preliminary implementation
  M. Suzuki, T. Sasaki, M. Sato, Y. Fukui
  Lecture Notes in Computer Science 378, 1989, pp. 163-171
• The calculation of QCD triangular Feynman graphs in the external gluonic field using REDUCE-2 system
  L.S. Dulyan
  Lecture Notes in Computer Science 378, 1989, pp. 172-173
• Computer algebra application for determining local symmetries of differential equations
  R.N. Fedorova, V.V. Kornyak
  Lecture Notes in Computer Science 378, 1989, pp. 174-175
• Trace calculations for gauge theories on a personal computer
  J. Ranft, H. Perlt
  Lecture Notes in Computer Science 378, 1989, pp. 176-177
• Computerised system of analytic transformations for analysing of differential equations
  V.L. Katkov, M.D. Popov
  Lecture Notes in Computer Science 378, 1989, pp. 179-185
• Integral equation with hidden Eigenparameter solver: REDUCE and FORTRAN in tandem
  E. Shablygin
  Lecture Notes in Computer Science 378, 1989, pp. 186-191
• Combinatorial aspects of simplification of algebraic expressions
  A.Ya. Rodionov, A.Yu. Taranov
  Lecture Notes in Computer Science 378, 1989, pp. 192-201
• Dynamic program improvement
  P.D. Pearce, J.P. Fitch
  Lecture Notes in Computer Science 378, 1989, pp. 202-203
• Computer algebra and numerical convergence
  K.-U. Jahn
  Lecture Notes in Computer Science 378, 1989, pp. 204-205
• Computer algebra and computation of Puiseux expansions of algebraic functions
  V.P. Gerdt, N.A. Kostov, Z.T. Kostova
  Lecture Notes in Computer Science 378, 1989, pp. 206-207
• Boundary value problems for the Laplacian in Euclidean space solved by symbolic computation
  F. Brackx, H. Serras
  Lecture Notes in Computer Science 378, 1989, pp. 208-215
• The methods for symbolic evaluation of determinants and their realization in the planner-analytic system
  V.A. Eltekov, V.B. Shikalov
  Lecture Notes in Computer Science 378, 1989, pp. 216-222
• Transformation of computation formulae in systems of recurrence relations
  E.V. Zima
  Lecture Notes in Computer Science 378, 1989, pp. 223-224
• DIMREG - The package for calculations in the dimensional regularization with 4-dimensional \gamma^5-matrix in quantum field theory
  V.A. Ilyin, A.P. Kryukov
  Lecture Notes in Computer Science 378, 1989, pp. 225-232
• CTS - Algebraic debugging system for REDUCE programs
  A.P. Kryukov, A.Ya. Rodionov
  Lecture Notes in Computer Science 378, 1989, pp. 233-243
• Applications of computer algebra in solid modelling
  A. Bowyer, J.H. Davenport, P.S. Milne, J.A. Padget, A.F. Wallis
  Lecture Notes in Computer Science 378, 1989, pp. 244-245
• Implementation of a geometry theorem proving package in SCRATCHPAD II
  K. Kusche, B. Kutzler, H. Mayr
  Lecture Notes in Computer Science 378, 1989, pp. 246-257
• Collision of convex objects
  B. Roider, S. Stifter
  Lecture Notes in Computer Science 378, 1989, pp. 258-259
• Solving algebraic equations via Buchberger's algorithm
  S.R. Czapor
  Lecture Notes in Computer Science 378, 1989, pp. 260-269
• Primary ideal decomposition
  H. Kredel
  Lecture Notes in Computer Science 378, 1989, pp. 270-281
• Solving systems of algebraic equations by using Gröbner bases
  M. Kalkbrener
  Lecture Notes in Computer Science 378, 1989, pp. 282-292
• Properties of Gröbner bases under specializations
  P. Gianni
  Lecture Notes in Computer Science 378, 1989, pp. 293-297
• The computation of polynomial greatest common divisors over an algebraic number field
  L. Langemyr, S. McCallum
  Lecture Notes in Computer Science 378, 1989, pp. 298-299