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
[2]
Hilfe
Suche: Author="Johnson, Jeremy"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A term rewriting system for the calculus of moving surfaces
Mark Boady
,
Pavel Grinfeld
,
Jeremy Johnson
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ISSAC'2013 (Boston, Massachusetts, USA, June 26-29, 2013)
, 2013, pp. 69-76
Automatic parallel library generation for general-size modular FFT algorithms
Lingchuan Meng
,
Jeremy Johnson
Lecture Notes in Computer Science
8136
, 2013, pp. 243-256
Generating symmetric DFTs and equivariant FFT algorithms
Jeremy Johnson
,
Xu Xu
Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation, ISSAC'2007 (Waterloo, Ontario, Canada, July 29 - August 01, 2007)
, 2007, pp. 195-202
Distribution of a class of divide and conquer recurrences arising from the computation of the Walsh-Hadamard transform
Pawel Hitczenko
,
Jeremy R. Johnson
,
Hung-Jen Huang
Theoretical Computer Science
352
(1-3), 2006, pp. 8-30
High-performance implementations of the Descartes method
Jeremy R. Johnson
,
Werner Krandick
,
Kevin Lynch
,
David G. Richardson
,
Anatole D. Ruslanov
Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation, ISSAC'2006 (Università degli Studi di Genova, Genova, Italy, July 9-12, 2006)
, 2006, pp. 154-161
Distribution of WHT recurrences
Paweƚ Hitczenko
,
Jeremy R. Johnson
,
Hung-Jen Huang
Trends in Mathematics
, 2004, pp. 161-162
Automatic derivation and implementation of fast convolution algorithms
Jeremy R. Johnson
,
Anthony F. Breitzman
Journal Symbolic Computation
37
(2), 2004, pp. 261-293
Automatic derivation and implementation of fast convolution algorithms
Jeremy R. Johnson
,
Anthony F. Breitzman
Journal Symbolic Computation
37
(2), 2004, pp. 261-293
Architecture-aware classical Taylor shift by 1
Jeremy R. Johnson
,
Werner Krandick
,
Anatole D. Ruslanov
Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC'2005 (Beijing, China, July 24-27, 2005)
, 2004, pp. 200-207
Interval arithmetic in cylindrical algebraic decomposition
George E. Collins
,
Jeremy R. Johnson
,
Werner Krandick
Journal Symbolic Computation
34
(2), 2002, pp. 145-157
Cylindrical algebraic decomposition I: The basic algorithm
Dennis S. Arnon
,
George E. Collins
,
Scott McCallum
Texts and Monographs in Symbolic Computation
, 1998, pp. 136-151
Cylindrical algebraic decomposition II: An adjacency algorithm for the plane
Dennis S. Arnon
,
George E. Collins
,
Scott McCallum
Texts and Monographs in Symbolic Computation
, 1998, pp. 152-165
A new algorithm to find a point in every cell defined by a family of polynomials
Saugata Basu
,
Richard Pollack
,
Marie-Françoise Roy
Texts and Monographs in Symbolic Computation
, 1998, pp. 341-350
Partial cylindrical algebraic decomposition for quantifier elimination
George E. Collins
,
Hoon Hong
Texts and Monographs in Symbolic Computation
, 1998, pp. 174-200
Quantifier elimination by cylindrical algebraic decomposition - Twenty years of progress
George E. Collins
Texts and Monographs in Symbolic Computation
, 1998, pp. 8-23
Quantifier elimination for real closed fields by cylindrical algebraic decomposition
George E. Collins
Texts and Monographs in Symbolic Computation
, 1998, pp. 85-121
Super-exponential complexity of Presburger arithmetic
Michael J. Fischer
,
Michael O. Rabin
Texts and Monographs in Symbolic Computation
, 1998, pp. 122-135
Sturm-Habicht sequences, determinants and real roots of univariate polynomials
L. González-Vega
,
T. Recio
,
H. Lombardi
,
M.-F. Roy
Texts and Monographs in Symbolic Computation
, 1998, pp. 300-316
A combinatorial algorithm solving some quantifier elimination problems
Laureano González-Vega
Texts and Monographs in Symbolic Computation
, 1998, pp. 365-375
Characterizations of the Macaulay matrix and their algorithmic impact
Georg Hagel
Texts and Monographs in Symbolic Computation
, 1998, pp. 317-326
Computation of variant resultants
Hoon Hong
,
J. Rafael Sendra
Texts and Monographs in Symbolic Computation
, 1998, pp. 327-340
An improvement of the projection operator in cylindrical algebraic decomposition
Hoon Hong
Texts and Monographs in Symbolic Computation
, 1998, pp. 166-173
Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination
Hoon Hong
Texts and Monographs in Symbolic Computation
, 1998, pp. 201-219
Algorithms for polynomial real root isolation
J.R. Johnson
Texts and Monographs in Symbolic Computation
, 1998, pp. 269-299
Software components using symbolic computation for problem solving environments
Y.N. Lakshman
,
Bruce Char
,
Jeremy Johnson
Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC'98 (University of Rostock, Germany, August 13-15, 1998)
, 1998, pp. 46-53
Seiten 1
2
>