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
[1]
Hilfe
Suche: Author="Paule, Peter"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Metaheuristic optimization
Michael Affenzeller
,
Andreas Beham
,
Monika Kofler
,
Gabriel Kronberger
,
Stefan A. Wagner
,
Stephan Winkler
Hagenberg-Research, 2009, pp. 103-155
Pervasive computing
Alois Ferscha
Hagenberg-Research, 2009, pp. 379-431
Interactive displays and next-generation interfaces
Michael Haller
,
Peter Brandl
,
Christoph Richter
,
Jakob Leitner
,
Thomas Seifried
,
Adam Gokcezade
,
Daniel Leithinger
Hagenberg-Research, 2009, pp. 433-472
Automated reasoning
Tudor Jebelean
,
Bruno Buchberger
,
Temur Kutsia
,
Nikolaj Popov
,
Wolfgang Schreiner
,
Wolfgang Windsteiger
Hagenberg-Research, 2009, pp. 63-101
Data-driven and knowledge-based modeling
Erich Peter Klement
,
Edwin Lughofer
,
Johannes Himmelbauer
,
Bernhard Moser
Hagenberg-Research, 2009, pp. 237-279
Algorithms in symbolic computation
Peter Paule
,
Bruno Buchberger
,
Lena Kartashova
,
Manuel Kauers
,
Carsten Schneider
,
Franz Winkler
Hagenberg-Research, 2009, pp. 5-62
Parallel, distributed, and grid computing
Wolfgang Schreiner
,
Károly Bósa
,
Andreas Langegger
,
Thomas Leitner
,
Bernhard Moser
,
Szilárd Páll
,
Volkmar Wieser
,
Wolfram Wöß
Hagenberg-Research, 2009, pp. 333-378
Information and semantics in databases and on the Web
Roland Wagner
,
Josef Küng
,
Birgit Pröll
,
Christina Buttinger
,
Christina Feilmayr
,
Bernhard Freudenthaler
,
Michael Guttenbrunner
,
Christian Hawel
,
Melanie Himsl
,
Daniel Jabornig
,
Werner Leithner
,
Stefan Parzer
,
Reinhard Stumptner
,
Stefan Wagner
,
Wolfram Wöß
Hagenberg-Research, 2009, pp. 281-331
Software engineering - Processes and tools
Gerhard Weiss
,
Gustav Pomberger
,
Wolfgang Beer
,
Georg Buchgeher
,
Bernhard Dorninger
,
Josef Pichler
,
Herbert Prähofer
,
Rudolf Ramler
,
Fritz Stallinger
,
Rainer Weinreich
Hagenberg-Research, 2009, pp. 157-235
A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities
Peter Paule
,
Markus Schorn
Journal Symbolic Computation
20
(5-6), 1995, pp. 673-698
Symbolic summation - some recent developments
Peter Paule
,
Volker Strehl
Computer Algebra in Science and Engineering (Bielefeld, Germany, August 28-31,1994), 1995, pp. 138-162
Greatest factorial factorization and symbolic summation
Peter Paule
Journal Symbolic Computation
20
(3), 1995, pp. 235-268
Some questions concerning computer-generated proofs of a binomial double-sum identity
George E. Andrews
,
Peter Paule
Journal Symbolic Computation
16
(2), 1993, pp. 147-153
Improvement of the degree setting in Gosper's algorithm
Petr Lisonȇk
,
Peter Paule
,
Volker Strehl
Journal Symbolic Computation
16
(3), 1993, pp. 243-258
A note on Bailey's lemma
Peter Paule
Journal of Combinatorial Theory Series A
44
, 1987, pp. 164-167