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: Journal=Theor.~Comput.~Sci. AND Volume=479
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Mahler measures, short walks and log-sine integrals
Jonathan M. Borwein
,
Armin Straub
Theoretical Computer Science
479
, 2013, pp. 4-21
Sparse approaches for the exact distribution of patterns in long state sequences generated by a markov source
Gregory Nuel
,
Jean-Guillaume Dumas
Theoretical Computer Science
479
, 2013, pp. 22-42
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
Hidenao Iwane
,
Hitoshi Yanami
,
Hirokazu Anai
,
Kazuhiro Yokoyama
Theoretical Computer Science
479
, 2013, pp. 43-69
Pseudospectra of exponential matrix polynomials
Robert M. Corless
Theoretical Computer Science
479
, 2013, pp. 70-80
Implicitization of curves and (hyper)surfaces using predicted support
Ioannis Z. Emiris
,
Tatjana Kalinka
,
Christos Konaxis
,
Thang Luu Ba
Theoretical Computer Science
479
, 2013, pp. 81-98
A regularization approach for estimating the type of a plane curve singularity
Mȃdȃlina Hodorog
,
Josef Schicho
Theoretical Computer Science
479
, 2013, pp. 99-119
Improved bounds for the cf algorithm
Elias P. Tsigaridas
Theoretical Computer Science
479
, 2013, pp. 120-126
Gpgcd: An iterative method for calculating approximate gcd of univariate polynomials
Akira Terui
Theoretical Computer Science
479
, 2013, pp. 127-149
Computing the nearest singular univariate polynomials with given root multiplicities
Zijia Li
,
Lihong Zhi
Theoretical Computer Science
479
, 2013, pp. 150-162
Verified error bounds for isolated singular solutions of polynomial systems: Case of breadth one
Nan Li
,
Lihong Zhi
Theoretical Computer Science
479
, 2013, pp. 163-173
Simple varieties for limited precision points
Claudia Fassino
,
Maria-Laura Torrente
Theoretical Computer Science
479
, 2013, pp. 174-186