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: Author="Geddes, K.O."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Telescoping in the context of symbolic summation in Maple
S.A. Abramov
,
J.J. Carette
,
K.O. Geddes
,
H.Q. Le
Journal Symbolic Computation
38
(4), 2004, pp. 1303-1326
Application of genetic algorithms to the algebraic simplification of tensor polynomials
M. Kavian
,
R.G. McLenaghan
,
K.O. Geddes
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC'97 (Maui, Hawaii, July 21-23, 1997)
, 1997, pp. 93-100
MapleTensor: Progress report on a new system for performing indicial and component tensor calculations using symbolic computation
Masoud Kavian
,
R.G. McLenaghanand
,
K.O. Geddes
Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996)
, 1996, pp. 204-211
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
Heuristic methods for operations with algebraic numbers
K.O. Geddes
,
G.H. Gonnet
,
T.J. Smedley
Lecture Notes in Computer Science
358
, 1989, pp. 475-480
A new algorithm for computing symbolic limits using hierarchical series
K.O. Geddes
,
G.H. Gonnet
Lecture Notes in Computer Science
358
, 1989, pp. 490-495
A Tutorial Introduction to Maple
B.W. Char
,
G.J. Fee
,
K.O. Geddes
,
G.H. Gonnet
,
M.B. Monagan
Journal Symbolic Computation
2
(2), 1986, pp. 179-200
Computer Algebra in the Undergraduate Mathematics Classroom
B.W. Char
,
K.O. Geddes
,
G.H. Gonnet
,
B.J. Marshman
,
P.J. Ponzo
Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation
, 1986, July, pp. 135-140
On Implementing Buchberger's Algorithm for Grobner Bases
S.R. Czapor
,
K.O. Geddes
Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation
, 1986, July, pp. 233-238
Numerical Integration in a Symbolic Context
K.O. Geddes
Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation
, 1986, July, pp. 185-191
GCDHEU: Heuristic polynomial GCD algorithm based on integer GCD computation
B.W. Char
,
K.O. Geddes
,
G.H. Gonnet
Lecture Notes in Computer Science
174
, 1984, pp. 285-296
A comparison of algorithms for the symbolic computation of Padé approximants
S.R. Czapor
,
K.O. Geddes
Lecture Notes in Computer Science
174
, 1984, pp. 248-259