ISSAC 2006:
Genoa,
Italy
Barry M. Trager (Ed.):
Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings.
ACM 2006, ISBN 1-59593-276-3 BibTeX
Invited talks
Tutorials
Full papers
- Hirotachi Abo, Chris Peterson:
Implementation of Kumar's correspondence.
9-16
Electronic Edition (ACM DL) BibTeX
- Sergei A. Abramov:
On the summation of P-recursive sequences.
17-22
Electronic Edition (ACM DL) BibTeX
- Jonathan M. Borwein, Chris H. Hamilton:
Symbolic computation of multidimensional Fenchel conjugates.
23-30
Electronic Edition (ACM DL) BibTeX
- Alin Bostan, Frédéric Chyzak, Bruno Salvy, Thomas Cluzeau:
Low complexity algorithms for linear recurrences.
31-38
Electronic Edition (ACM DL) BibTeX
- Phelim Boyle, Alex Potapchik:
Application of high-precision computing for pricing arithmetic asian options.
39-46
Electronic Edition (ACM DL) BibTeX
- Howard Cheng, George Labahn:
On computing polynomial GCDs in alternate bases.
47-54
Electronic Edition (ACM DL) BibTeX
- Arthur D. Chtcherba, Deepak Kapur:
Conditions for determinantal formula for resultant of a polynomial system.
55-62
Electronic Edition (ACM DL) BibTeX
- Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard:
Solving sparse rational linear systems.
63-70
Electronic Edition (ACM DL) BibTeX
- Arno Eigenwillig, Vikram Sharma, Chee-Keng Yap:
Almost tight recursion tree bounds for the Descartes method.
71-78
Electronic Edition (ACM DL) BibTeX
- Etienne Farcot:
Symbolic numeric analysis of attractors in randomly generated piecewise affine models of gene networks.
79-86
Electronic Edition (ACM DL) BibTeX
- Arash Farzan, J. Ian Munro:
Succinct representation of finite abelian groups.
87-92
Electronic Edition (ACM DL) BibTeX
- Akpodigha Filatei, Xin Li, Marc Moreno Maza, Éric Schost:
Implementation techniques for fast polynomial arithmetic in a high-level programming environment.
93-100
Electronic Edition (ACM DL) BibTeX
- Xiao-Shan Gao, Chun-Ming Yuan:
Resolvent systems of difference polynomial ideals.
101-108
Electronic Edition (ACM DL) BibTeX
- Pierrick Gaudry, François Morain:
Fast algorithms for computing the eigenvalue in the Schoof-Elkies-Atkin algorithm.
109-115
Electronic Edition (ACM DL) BibTeX
- Mark Giesbrecht, George Labahn, Wen-shin Lee:
Symbolic-numeric sparse interpolation of multivariate polynomials.
116-123
Electronic Edition (ACM DL) BibTeX
- Li Guo, William Y. Sit:
Enumeration of Rota-Baxter words.
124-131
Electronic Edition (ACM DL) BibTeX
- Michael Harrison, Josef Schicho:
Rational parametrisation for degree 6 Del Pezzo surfaces using lie algebras.
132-137
Electronic Edition (ACM DL) BibTeX
- Joris van der Hoeven:
Effective real numbers in Mmxlib.
138-145
Electronic Edition (ACM DL) BibTeX
- Itnuit Janovitz-Freireich, Lajos Rónyai, Ágnes Szántó:
Approximate radical of ideals with clusters of roots.
146-153
Electronic Edition (ACM DL) BibTeX
- Jeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov:
High-performance implementations of the Descartes method.
154-161
Electronic Edition (ACM DL) BibTeX
- Erich Kaltofen, Pascal Koiran:
Finding small degree factors of multivariate supersparse (lacunary) polynomials over algebraic number fields.
162-168
Electronic Edition (ACM DL) BibTeX
- Erich Kaltofen, Zhengfeng Yang, Lihong Zhi:
Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials.
169-176
Electronic Edition (ACM DL) BibTeX
- Manuel Kauers, Carsten Schneider:
Application of unspecified sequences in symbolic summation.
177-183
Electronic Edition (ACM DL) BibTeX
- Sara Khodadad, Michael B. Monagan:
Fast rational function reconstruction.
184-190
Electronic Edition (ACM DL) BibTeX
- Santiago Laplagne:
An algorithm for the computation of the radical of an ideal.
191-195
Electronic Edition (ACM DL) BibTeX
- Daniel Lazard:
Solving Kaltofen's challenge on Zolotarev's approximation problem.
196-203
Electronic Edition (ACM DL) BibTeX
- Nicolas Le Roux, Moulay A. Barkatou:
Rank reduction of a class of pfaffian systems in two variables.
204-211
Electronic Edition (ACM DL) BibTeX
- Viktor Levandovskyy:
Intersection of ideals with non-commutative subalgebras.
212-219
Electronic Edition (ACM DL) BibTeX
- Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng:
A recursive method for determining the one-dimensional submodules of Laurent-Ore modules.
220-227
Electronic Edition (ACM DL) BibTeX
- Manfred Minimair:
Resultants of skewly composed polynomials.
228-233
Electronic Edition (ACM DL) BibTeX
- Izumi Miyamoto:
An improvement of GAP normalizer function for permutation groups.
234-238
Electronic Edition (ACM DL) BibTeX
- Michael B. Monagan, Roman Pearce:
Rational simplification modulo a polynomial ideal.
239-245
Electronic Edition (ACM DL) BibTeX
- Guillaume Moroz:
Complexity of the resolution of parametric systems of polynomial equations and inequations.
246-253
Electronic Edition (ACM DL) BibTeX
- Max Neunhöffer, Ákos Seress:
A data structure for a uniform approach to computations with finite groups.
254-261
Electronic Edition (ACM DL) BibTeX
- Masayuki Noro:
Modular dynamic evaluation.
262-268
Electronic Edition (ACM DL) BibTeX
- Wei Pan, Dongming Wang:
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents.
269-276
Electronic Edition (ACM DL) BibTeX
- Cyril Pascal, Éric Schost:
Change of order for bivariate triangular sets.
277-284
Electronic Edition (ACM DL) BibTeX
- Victoria Powers, Bruce Reznick:
A quantitative Pólya's Theorem with corner zeros.
285-289
Electronic Edition (ACM DL) BibTeX
- Guénaël Renault:
Computation of the splitting field of a dihedral polynomial.
290-297
Electronic Edition (ACM DL) BibTeX
- Eric Robinson, Gene Cooperman:
A parallel architecture for disk-based computing over the Baby Monster and other large finite simple groups.
298-305
Electronic Edition (ACM DL) BibTeX
- Rosario Rubio, J. Miguel Serradilla, M. Pilar Vélez:
A note on implicitization and normal parametrization of rational curves.
306-309
Electronic Edition (ACM DL) BibTeX
- Hiroshi Sekigawa, Kiyoshi Shirayanagi:
Locating real multiple zeros of a real interval polynomial.
310-317
Electronic Edition (ACM DL) BibTeX
- Alan P. Sexton, Volker Sorge:
Abstract matrices in symbolic computation.
318-325
Electronic Edition (ACM DL) BibTeX
- Akira Suzuki, Yosuke Sato:
A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases.
326-331
Electronic Edition (ACM DL) BibTeX
- William J. Turner:
A block Wiedemann rank algorithm.
332-339
Electronic Edition (ACM DL) BibTeX
- Christiaan van de Woestijne:
Surface parametrisation without diagonalisation.
340-344
Electronic Edition (ACM DL) BibTeX
- Wenyuan Wu, Greg Reid:
Application of numerical algebraic geometry and numerical linear algebra to PDE.
345-352
Electronic Edition (ACM DL) BibTeX
- Meng Zhou, Franz Winkler:
Gröbner bases in difference-differential modules.
353-360
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:26:22 2009
by Michael Ley (ley@uni-trier.de)
