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="Berger, B."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A conversion algorithm based on the technique of singularization
B. Schratzberger
Theoretical Computer Science
391
(1-2), 2008, pp. 138-149
Paircoil2: Improved prediction of coiled coils from sequence
A.V. McDonnell
,
T. Jiang
,
A.E. Keating
,
B. Berger
Bioinformatics
22
(3), 2006, pp. 356-358
A unified presentation of some Urn models
M. Drmota
,
D. Gardy
,
B. Gittenberger
Algorithmica
29
(1-2), 2001, pp. 120-147
Local rule mechanism for selecting icosahedral shell geometry
B. Berger
,
J. King
,
R. Schwartz
,
P.W. Shor
Discrete Applied Mathematics
104
(1-3), 2000, pp. 97-111
Efficient
NC
algorithms for set cover with applications to learning and geometry
B. Berger
,
J. Rompel
,
P.W. Shor
Proceedings of the 30th Annual IEEE Symposium on Foundations of Computer Science, FOCS'89 (Research Triangle Park, NC, October 30 - November 1, 1989)
, 1989, pp. 54-59
Simulating
(\log^c n)
-wise independence in
NC
B. Berger
,
J. Rompel
Proceedings of the 30th Annual IEEE Symposium on Foundations of Computer Science, FOCS'89 (Research Triangle Park, NC, October 30 - November 1, 1989)
, 1989, pp. 2-7
Basic Features and Development of the Critical Pair Completion Procedure
B. Buchberger
Rewriting Techniques and Applications. Lecture Notes in Computer Science
202
, 1986, pp. 1-45
The
L
-machine: An attempt at parallel hardware for symbolic computation
B. Buchberger
Lecture Notes in Computer Science
229
, 1986, pp. 333-347
Symbolic Computation and Chemistry
A.T. Balban
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 68-79
Algebraic and Symbolic Computation in Digital Signal Processing, Coding and Cryptography
T. Beth
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 93-101
Algorithmic Methods in Automatic Programming
A.W. Biermann
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 124-135
Gröbner bases: An algorithmic method in polynomial ideal theory
B. Buchberger
Multidimensional systems theory, 1985, pp. 184-232
The parallel L-machine for symbolic computation
B. Buchberger
Lecture Notes in Computer Science
204
, 1985, pp. 541-542
Computer Algebra - Past and Future
B.F. Caviness
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 1-18
Constructions - A Higher Order Proof System for Mechanizing Mathematics
T. Coquand
,
G. Huet
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 151-184
Computer Algebra as a Research Tool in Physics
J.M. Drouffe
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 58-67
Proof Theory and the Synthesis of Programs - Potentials and Limitations
G. Kreisel
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 136-150
A New Arithmetic for Scientific Computation with Exact Evaluation of Expressions
U. Kulisch
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 114-123
Computer Algebra and Practical Analysis
N.J. Lehmann
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 102-113
Scientific Computation - The Integration of Symbolic, Numeric and Graphic Computation
R. Mader
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 185
Computational geometry - Selected algorithms and paradigms
T. Ottmann
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 80-92
Current Developments in Lisp
J. Padget
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 45-57
Macsyma - Capabilities and Applications to Problems in Engineering and the Sciences
R. Pavelle
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 19-32
A Preview of the Next IBM-PC Version of muMath
D.R. Stoutemyer
Proceedings of Eurocal 85, Vol.~1. Lecture Notes in Computer Science
203
, 1985, pp. 33-44
Some properties of Gröbner-bases for polynomial ideals
B. Buchberger
SIGSAM Bulletin
10
(4), 1976, pp. 19-24