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="Strzebo{\'n}ski, Adam"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Univariate real root isolation in multiple extension fields
Adam Strzeboński
,
Elias P. Tsigaridas
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012)
, 2012, pp. 343-350
Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
Adam Strzeboński
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012)
, 2012, pp. 335-342
Real root isolation for exp-log-arctan functions
Adam Strzeboński
Journal Symbolic Computation
47
(3), 2012, pp. 282-314
Univariate real root isolation in an extension field
Adam Strzeboński
,
Elias P. Tsigaridas
Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, ISSAC'2011 (San Jose, CA, USA, June 8-11, 2011)
, 2011, pp. 321-328
Cylindrical decomposition for systems transcendental in the first variable
Adam Strzeboński
Journal Symbolic Computation
46
(11), 2011, pp. 1284-1290
Black-box/white-box simplification and applications to quantifier elimination
Christopher W. Brown
,
Adam Strzeboński
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC'2010 (Technische Universität München, Munich, Germany, July 25-28, 2010)
, 2010, pp. 69-76
Computation with semialgebraic sets represented by cylindrical algebraic formulas
Adam Strzeboński
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC'2010 (Technische Universität München, Munich, Germany, July 25-28, 2010)
, 2010, pp. 61-68
Real root isolation for tame elementary functions
Adam Strzeboński
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 341-350
Real root isolation for exp-log functions
Adam Strzeboński
Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation, ISSAC'2008 (Hagenberg, Austria, July 20-23, 2008)
, 2008, pp. 303-313
Advances on the continued fractions method using better estimations of positive root bounds
Alkiviadis A. Akritas
,
Adam W. Strzeboński
,
Panagiotis S. Vigklas
Lecture Notes in Computer Science
4770
, 2007, pp. 24-30
Solving equations and inequalities in Mathematica
Adam W. Strzeboński
Proceedings of the Algorithmic Algebra and Logic Conference in Honor of the 60th Birthday of Volker Weispfenning, A3L'2005 (Passau, Germany, April 3-6, 2005)
, 2005, pp. 243-247
Computing in the field of complex algebraic numbers
Adam Wojciech Strzeboński
Journal Symbolic Computation
24
(6), 1997, pp. 647-656