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