AuthorInternational Symposium on Symbolic and Algebraic Computation (2001 : London, Ont.)
TitleISSAC 2001 : July 22-25, 2001, University of Western Ontario, London, Ontario, Canada : proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation / Bernard Mourrain, editor
Imprint New York : ACM, c2001
Descript xii, 352 p. : ill. ; 29 cm

CONTENT

Solutions of linear functional systems -- Minimal decomposition of indefinite hypergeometric sums -- Barnes function -- Generic ideals and Moreno-Socias conjecture -- Maple's evaluation process as constraint contextual rewriting -- PARDI! -- Families of estimable terms -- Scalable parallel coset enumeration using bulk definition -- Computer-assisted classification of coupled integrable equations -- Semi-numerical determination of irreducible branches of a reduced space curve -- Symbolic-interval coperation in constraint programming -- Unirational fields of transcendence degree one and functional decomposition -- Hybrid system -- Towards approximations which preserve integrals -- Linear space algorithm -- Remarks on Grobner basis for ideals under composition -- New complexity bounds for cylindrical decompositions of sub-Pfaffian sets -- Multivariate Weierstrass iterative rootfinder -- Discrete comprehensive Grobner bases -- Black box methods -- Irreducible trinomials over finite fields -- IAMC architecture and prototyping -- Computational properties of chains of recurrences


SUBJECT

  1. Algebra -- Data processing -- Congresses
  2. Mathematics -- Data processing -- Congresses

LOCATIONCALL#STATUS
Central Library (4th Floor)510.285 I61I 2001 CHECK SHELVES