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 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012)

• A-hypergeometric functions: computational aspects
  Frits Beukers
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 1-2
• Complexity of deciding connectivity in real algebraic sets: recent results and future research directions
  Marie-Françoise Roy
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 3-5
• Asymptotic spectrum and matrix multiplication
  Volker Strassen
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 6-7
• Upper bounds on real roots and lower bounds for the permanent
  Pascal Koiran
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 8-8
• Elements of computer-algebraic analysis
  Viktor Levandovskyy
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 9-10
• Algebraic statistics
  Seth Sullivant
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 11-11
• On valuations of meromorphic solutions of arbitrary-order linear difference systems with polynomial coefficients
  Sergei A. Abramov, Denis E. Khmelnov
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 12-19
• Computing Puiseux series for algebraic surfaces
  Danko Adrovic, Jan Verschelde
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 20-27
• The M4RIE library for dense linear algebra over small fields with even characteristic
  Martin R. Albrecht
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 28-34
• A root isolation algorithm for sparse univariate polynomials
  Maria Emilia Alonso Garcia, André Galligo
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 35-42
• Computing closed form solutions of integrable connections
  Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha, Jacques-Arthur Weil
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 43-50
• Solving linear ordinary differential systems in hyperexponential extensions
  Moulay A. Barkatou, Clemens G. Raab
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 51-58
• Relaxed p-adic Hensel lifting for algebraic systems
  Jérémy Berthomieu, Romain Lebreton
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 59-66
• Solving polynomial systems over finite fields: improved analysis of the hybrid approach
  Luk Bettale, Jean-Charles Faugère, Ludovic Perret
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 67-74
• A polynomial time algorithm for computing the HNF of a module over the integers of a number field
  Jean-François Biasse, Claus Fieker
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 75-82
• Parallel sparse polynomial multiplication on modern hardware architectures
  Francesco Biscani
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 83-90
• Compositions and collisions at degree p^2
  Raoul Blankertz, Joachim von zur Gathen, Konstantin Ziegler
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 91-98
• Fast computation of common left multiples of linear ordinary differential operators
  Alin Bostan, Frédéric Chyzak, Bruno Salvy, Ziming Li
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 99-106
• Power series solutions of singular (q)-differential equations
  Alin Bostan, Bruno Salvy, Muhammad F.I. Chowdhury, Éric Schost, Romain Lebreton
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 107-114
• On the complexity of solving initial value problems
  Olivier Bournez, Daniel S. Graça, Amaury Pouly
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 115-121
• Order-degree curves for hypergeometric creative telescoping
  Shaoshi Chen, Manuel Kauers
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 122-129
• Telescopers for rational and algebraic functions via residues
  Shaoshi Chen, Manuel Kauers, Michael F. Singer
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 130-137
• Sparse polynomial interpolation and Berlekamp/Massey algorithms that correct outlier errors in input values
  Matthew T. Comer, Erich L. Kaltofen, Clément Pernet
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 138-145
• Fast computation of Smith forms of sparse matrices over local rings
  Mustafa Elsheikh, Mark Giesbrecht, Andy Novocin, B. David Saunders
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 146-153
• On the complexity of solving a bivariate polynomial system
  Pavel Emeliyanenko, Michael Sagraloff
  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC'2012 (Grenoble, France, July 22-25, 2012), 2012, pp. 154-161