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=Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992)

• Using computer algebra to select numerical algorithms
  Michael C. Dewar
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 1-8
• A new symbolic-numeric approach to stability analysis of difference schemes
  V.G. Ganzha, E.V. Vorozhtsov, J.A. van Hulzen
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 9-15
• Fast computation of numerical partial fraction decompositions and contour integrals of rational functions
  Peter Kirrinnis
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 16-26
• Code generation in ALPAL using symbolic techniques
  Grant O., Jr. Cook
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 27-35
• Hybrid symbolic-numeric integration in MAPLE
  K.O. Geddes, G.J. Fee
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 36-41
• Linear ordinary differential equations: Breaking through the order 2 barrier
  Manuel Bronstein
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 42-48
• Reduction and completion algorithms for partial differential equations
  Fritz Schwarz
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 49-56
• Liouvillian solutions of third order linear differential equations: New bounds and necessary conditions
  Michael F. Singer, Felix Ulmer
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 57-62
• Algorithmic determination of commutation relations for Lie symmetry algebras of PDEs
  G.J. Reid, I.G. Lisle, A. Boulton, A.D. Wittkopf
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 63-68
• NODES: Non linear ordinary differential equations solver
  M. Codutti
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 69-79
• A combined symbolic/numeric approach for the integration of stiff nonlinear systems of ODE's
  Mark F. Russo
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 80-88
• The explicit computation of integration algorithms and first integrals for ordinary differential equations with polynomial coefficients using trees
  P.E. Crouch, R.L. Grossman
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 89-94
• Solving linear integral equations in Maple
  Honglin Ye, Robert M. Corless
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 95-102
• The computation of 1-loop contributions in Y.M. theories with class III nonrelativistic gauges and Reduce
  A. Burnel, H. Caprasse
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 103-107
• The elementary constant problem
  Daniel Richardson
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 108-116
• Existence of short proofs for nondivisibility of sparse polynomials under the extended Riemann hypothesis
  Dima Yu. Grigoriev, Marek Karpinski, Andrew M. Odlyzko
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 117-122
• Primality testing revisited
  J.H. Davenport
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 123-129
• Asymptotic expansions of functional inverses
  Bruno Salvy, John Shackell
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 130-137
• Computation of the Jordan canonical form of a square matrix (using the Axiom programming language)
  Isabelle Gil
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 138-145
• Homogeneous decomposition of polynomials
  Jürgen Weiß
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 146-151
• A practical implementation of two rational function decomposition algorithms
  Jaime Gutierrez, Tomas Recio
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 152-157
• Multipolynomial resultants and linear algebra
  Dinesh Manocha, John F. Canny
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 158-167
• Parallel univariate p-adic lifting on shared-memory multiprocessors
  Paul S. Wang
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 168-176
• Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination
  Hoon Hong
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 177-188
• An efficient algorithm for infallible polynomial complex root isolation
  George E. Collins, Werner Krandick
  Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992), 1992, pp. 189-194