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: Booktitle=Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A Gröbner free alternative to solving and a geometric analogue to Cook's thesis
Marc Giusti
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 1-2
Symbolic and algebraic methods in computational origami
Ida Tesuo
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 3-4
Automatic synthesis of high performance mathematical programs
Markus Püschel
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 5-6
Algorithms for regular solutions of higher-order linear differential systems
Moulay A. Barkatou
,
Thomas Cluzeau
,
Carole El Bacha
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 7-14
Fraction-free computation of simultaneous Padé approximants
Bernhard Beckermann
,
George Labahn
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 15-22
Chebyshev expansions for solutions of linear differential equations
Alexandre Benoit
,
Bruno Salvy
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 23-30
Computation of the
(n-1)
-st Koszul Homology of monomialideals and related algorithms
Anna M. Bigatti
,
Eduardo Sáenz-de-Cabezón
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 31-38
Faster real feasibility via circuit discriminants
Frédéric Bihan
,
J. Maurice Rojas
,
Casey E. Stella
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 39-46
Fast algorithms for differential equations in positive characteristic
Alin Bostan
,
Éric Schost
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 47-54
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm
Brice Boyer
,
Jean-Guillaume Dumas
,
Clément Pernet
,
Wei Zhou
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 55-62
Fast simplifications for Tarski formulas
Christopher W. Brown
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 63-70
On delineability of varieties in CAD-based quantifier elimination with two equational constraints
Scott McCallum
,
Christopher W. Brown
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 71-78
Lower bounds for zero-dimensional projections
W. Dale Brownawell
,
Chee K. Yap
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 79-86
Liouvillian solutions of irreducible linear difference equations
Yongjae Cha
,
Mark van Hoeij
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 87-94
Computing cylindrical algebraic decomposition via triangular decomposition
Changbo Chen
,
Marc Moreno Maza
,
Bican Xia
,
Lu Yang
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 95-102
Root isolation for bivariate polynomial systems with local generic position method
Jin-San Cheng
,
Xiao-Shan Gao
,
Jia Li
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 103-110
A non-holonomic systems approach to special function identities
Frédéric Chyzak
,
Manuel Kauers
,
Bruno Salvy
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 111-118
Size of coefficients of lexicographical Groöbner bases: The zero-dimensional, radical and bivariate case
Xavier Dahan
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 119-126
Fast arithmetics in Artin-Schreier towers over finite fields
Luca De Feo
,
Éric Schost
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 127-134
On finding multiplicities of characteristic polynomial factors of black-box matrices
Jean-Guillaume Dumas
,
Clément Pernet
,
B. David Saunders
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 135-142
Multihomogeneous resultant formulae for systems with scaled support
Ioannis Z. Emiris
,
Angelos A. Mantzaflaris
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 143-150
Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases
Jean-Charles Faugère
,
Sajjad Rahmany
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 151-158
Analyzing group based matrix multiplication algorithms
Jon Gonzalez-Sanchez
,
Laureano Gonzalez-Vega
,
Alejandro Piñera-Nicolas
,
Irene Polo-Blanco
,
Jorge Caravantes
,
Ignacio F. Rua
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 159-166
A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system
Stef Graillat
,
Philippe Trébuchet
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 167-174
Submersive rational difference systems and their accessibility
Miroslav Halás
,
Ülle Kotta
,
Ziming Li
,
Huaifu Wang
,
Chunming Yuan
Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, ISSAC'2009 (Seoul, Korea, July 28-31, 2009)
, 2009, pp. 175-182
Seiten 1
2
3
>