General  Information
Important Dates
Conference Poster
Organizing Committee
Program and Schedule
Invited Talks
Contributed Talks
Software Exhibitions
Registered Participants
 Call  For
Research Papers
Software Exhibitions
Jenks Prize Nominations
 Local  Information
Conference Location
Speakers' Information
Gastronomic Guide
Additional Information
Social Events
Previous ISSACs
Other Events




Polynomial Algebra by Values
A. Amiraslani, R. M. Corless, L. Gonzalez-Vega, A. Shakoori
Distributed Computing in Algebraic Topology: first trials and errors, first programs
M. Andres, V. Pascual, A. Romero, J. Rubio
Equilibrium Points of Dynamical Systems and Polynomial Resultant
V. Lanchares Barrasa, A. I. Pascual, J. F. San Juan
A New Henselian Construction and its Application to Polynomial GCDs over Direct Product of Fields
F. Boulier, M. Moreno Maza, C. Oancea
Algorithmic Combinatorial Spencer Complex
E. Saenz de Cabezon
Debugging a High Level Language via a Unified Interpreter and Compiler Runtime Environment
J. Cai, M. Moreno Maza, S. Watt
An Implementation of Linear System Solving for Integer Matrices
Z. Chen, A. Storjohann
Output-sensitive Modular Algorithms for Polynomial Matrix Normal Forms
H. Cheng, G. Labahn
Symbolic-Numeric Approaches for the Surface-to-Surface Intersection Problem in Computer Aided Geometric Design
S. Corvez, F. Carreras, M. Fioravanti, L. Gonzalez-Vega, I. Necula, J. Puig-Pey, N. del Rio, C. Tanasescu, A. Seidl
An Algorithm to Factorize in a Quotient Ring
G. Dalzotto
Gröbner Fan and Universal Characteristic Sets of Prime Differential Ideals
O. Golubitsky
On Routing in Circulant Graphs of Degree 4
D. Gomez, J. Gutierrez, A. Ibeas, C. Martinez, R. Beivide
Aspect-Oriented Programming in the Design of Computer Algebra Libraries
M. Hitz
Simplifying Algebraic Extensions
M. van Hoeij, A. Novocin
Computing Epistasis of Generalized Royal Road functions using Walsh Transforms and the Hyperplane Averaging Theorem
M.T. Iglesias, V.S. Peñaranda, A. Verschoren
Examining a Heart on a String
L. Jankowski, A. Marlewski
Application of Spline Implicitization
B. Jüttler, J. Schicho, M. Shalaby
MBLAS: Modular Basic Linear Algebra Subprograms, Design and Speedup Techniques
Y. Kawame, H. Murao
Computer Algebra System Singular 2-2-0
V. Levandovskyy, H. Schönemann
Using Symmetry in a Polynomial System with the Dixon Resultant
R. H. Lewis
A Parallel Approach to Minimal Involutive Basis Algorithm
V. A. Mityunin, A. S. Semenov
Computing the Transition Dipolynomials of Certain Reversible Cellular Automata
A. Martin del Rey
New Methods on Bimodules
M. Garcia Roman, S. Garcia Roman
Creating an Electronic Book for Algorithms in Real Algebraic Geometry: a first experiment
M.-F. Roy, E. Briand, F. Carreras, L. Gonzalez-Vega, N. Gonzalez-Campos, I. Necula, H. Perdry, N. del Rio, C. Tanasescu, F. Rouillier, A. Seidl
Over-constrained Weierstrass Iteration and the Nearest Consistent System
O. Ruatta, M. Sciabica, A. Szanto
Numerical Stability of Surface Implicitization
J. Schicho, I. Szilágyi
The Accelerated Euclidean Algorithm
S. M. Sedjelmaci
Newton's Method with Deflation for Isolated Singularities
J. Verschelde, A. Zhao
An Implementation of Lupin's Plot Web Service
T. Watanabe, I. Kadota, Y. Morizane, M. Kono, L. Kai, H. Kai, M.-T. Noda
Factoring Systems of Linear Differential and Difference Equations with Finite-dimensional Solution Spaces
M. Wu
  issac2004 @