Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Thomas Lickteig

dblp:81/2067 · DBLP profile ↗
← Back
16ranked-venue papers
10as first author
0since 2021 · last 2005
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 16 · 10 first-authorDatabases, data management, data science and information retrieval · 2 · 2 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
3 papers
Computational complexity · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational complexity › complexity classes
probabilistic complexity classes
0.011995
On real Turing machines that toss coins · STOC 1995
Computational complexity › computational models
real computation
0.011995
On real Turing machines that toss coins · STOC 1995
Computational complexity
algebraic complexity
0.021989
A Lower Bound on the Complexity of Division in Finite Extension Fields and Inversion in Quadratic Alternative Algebras · SIAM J. Comput. 1989
The Computational Complexity of Division in Quadratic Extension Fields · SIAM J. Comput. 1987
Computational complexity › circuit complexity › boolean circuits
inversion complexity
0.011989
A Lower Bound on the Complexity of Division in Finite Extension Fields and Inversion in Quadratic Alternative Algebras · SIAM J. Comput. 1989

Methods — techniques the papers use, named apart from their topics

real turing machines · 0.0probabilistic complexity · 0.0ostrowski complexity · 0.0lower bound criterion · 0.0multiplication complexity · 0.0algebraic complexity · 0.0
YearPublicationVenuePosition
2005 Festschrift in honor of Arnold Scho"nhage
Thomas Lickteig
J. Complex.1
2001 Sylvester-Habicht Sequences and Fast Cauchy Index Computation
Thomas Lickteig, Marie-Françoise Roy
J. Symb. Comput.1
2000 Preface
Felipe Cucker, Thomas Lickteig
J. Complex.2
1997 Semi-algebraic Complexity--Additive Complexity of Matrix Computational Tasks
Thomas Lickteig, Klaus Meer
J. Complex.1
1996 Semi-algebraic Complexity of Quotients and Sign Determination of Remainders
Thomas Lickteig, Marie-Françoise Roy
J. Complex.1
1995 On real Turing machines that toss coins
abstract
In this paper we consider real counterparts of classical probabilistic complexity classes in the framework of real Turing machines as introduced by Blum, Shub, and Smale [2].We give an extension of the well-known "BPP ~P/poly" result from discrete complexity theory to a very general setting in the real number model.This result holds for real inputs, real outputs, and random elements drawn from an arbitrary probability distribution over lR~.Then we turn to the study of Boolean parts, that is, classes of languages of zero-one vectors accepted by real machines.In particular we show that the classes BPP, PP, PH, and PSPACE are not enlarged by allowing the use of real constants and arithmetic at unit cost provided we restrict branching to equality tests.
Felipe Cucker, Marek Karpinski, Pascal Koiran, Thomas Lickteig, Kai Werther
STOC4
1995 How can a Complex Square Root be Computed in an Optimal Way
Thomas Lickteig, Kai Werther
Comput. Complex.1
1995 A Note on Testing the Resultant
Thomas Lickteig, Klaus Meer
J. Complex.1
1993 On Randomized Semi-algebraic Test Complexity
Peter Bürgisser, Marek Karpinski, Thomas Lickteig
J. Complex.3
1992 Test complexity of generic polynomials
Peter Bürgisser, Thomas Lickteig, Michael Shub
J. Complex.2
1991 Some Computational Problems in Linear Algebra as Hard as Matrix Multiplication
Peter Bürgisser, Marek Karpinski, Thomas Lickteig
Comput. Complex.3
1989 A Lower Bound on the Complexity of Division in Finite Extension Fields and Inversion in Quadratic Alternative Algebras
abstract
Let k be a field. The author continues the work of Lickteig [SIAM J. Comput., 16 (1987), pp. 278–311 ] and extends it in two directions: (1) A lower bound on the Ostrowski complexity of division in a finite extension field $A \supset k:L_{{\text{DIV}}} \geqq 3[A:k] + \log _2 [B:k] - 2$, where $B \subset A$ is some simple extension of k of maximal degree. The proof combines the technique of adjoining intermediate results to the ground field [T. Lickteig, op, cit.] and lower bound criteria for approximative complexity recently obtained by Griesser [Theoret. Comput. Sci., 46 (1986), pp. 329–338]. (2) An optimal lower bound for the complexity of inversion in a quadratic alternative algebra A of dimension greater than or equal to $2,A \ne k \times k:L_{{\text{INV}}} = 2\dim A - {\text{index of the norm}}$.
Thomas Lickteig
SIAM J. Comput.1
1989 On the Order of Approximation in Approximative Triadic Decompositions of Tensors
Thomas Lehmkuhl, Thomas Lickteig
Theor. Comput. Sci.2
1987 The Computational Complexity of Division in Quadratic Extension Fields
abstract
We show that, for any quadratic field extension $k \subset K$, the division in K requires exactly six essential multiplications and divisions over k. In particular, complex division in real arithmetic requires six multiplications and divisions. If additions and subtractions are counted as well, exactly nine operations are required if $k \subset K$ is a radical extension; otherwise ten operations are required.
Thomas Lickteig
SIAM J. Comput.1
1986 Gaussian Elimination is Optimal for Solving Linear Equations in Dimension Two
Thomas Lickteig
Inf. Process. Lett.1
1984 A Note on Border Rank
Thomas Lickteig
Inf. Process. Lett.1