|
FRONT MATTER
| i |
THE EXPERIMENTAL MATHEMATICIAN: A COMPUTATIONAL GUIDE TO THE MATHEMATICAL UNKNOWN
JONATHAN MICHAEL BORWEIN | 1 |
COMPUTER ALGEBRA AND FINITE GROUPS
GERT-MARTIN GREUEL and GERHARD PFISTER | 4 |
SOFTWARE INTEGRATION AND COMPUTER PROOFS
MICHAEL JOSWIG | 15 |
SOFTWARE CARRY-SAVE FOR FAST MULTIPLE-PRECISION ALGORITHMS
DAVID DEFOUR and FLORENT DE DINECHIN | 29 |
LINBOX: A GENERIC LIBRARY FOR EXACT LINEAR ALGEBRA
J.-G. DUMAS, T. GAUTIER, M. GIESBRECHT, P. GIORGI, B. HOVINEN, E. KALTOFEN, B. D. SAUNDERS, W. J. TURNER and G. VILLARD | 40 |
BLOCK-ITERATIVE ALGORITHMS FOR IMAGE RECONSTRUCTION
MING JIANG and GE WANG | 51 |
THE SNAP PACKAGE FOR ARITHMETIC WITH NUMERIC POLYNOMIALS
C.-P. JEANNEROD and G. LABAHN | 61 |
ALGORITHMS OF COMPOSITE RATIONAL INTERPOLATION BASED ON CONTINUED FRACTIONS
JIEQING TAN and SHUO TANG | 72 |
FAST AND SPACE-EFFICIENT ALGORITHMS FOR DECIDING SHELLABILITY OF SIMPLICIAL COMPLEXES OF LARGE SIZE USING h-ASSIGNMENTS
SONOKO MORIYAMA, AYUMU NAGAI and HIROSHI IMAI | 82 |
COMPUTING GCLF USING SYZYGY ALGORITHM
MINGSHENG WANG and C. P. KWONG | 93 |
EFFICIENT COOPERATIVE SOLVERS FOR NONLINEAR CONTINUOUS CONSTRAINT PROBLEMS
YI SHANG, MARKUS P. J. FROMHERZ and LARA S. CRAWFORD | 104 |
PSEUDO-DIVISION MACHINE (I): A MODEL OF SYMBOLIC COMPUTATION
ZHIKUN SHE, BICAN XIA and ZHIMING ZHENG | 115 |
XSSR: AN EXPERIMENTAL SYSTEM FOR STRING REWRITING – DECISION PROBLEMS, ALGORITHMS, AND IMPLEMENTATION
DIETER HOFBAUER, FRIEDRICH OTTO, CHRISTOPH KÖGL and KLAUS E. MADLENER | 126 |
THE DIFFERENTIAL STRUCTURE OF THE BRIESKORN LATTICE
MATHIAS SCHULZE | 136 |
AN EFFICIENT MODULAR ALGORITHM FOR COMPUTING THE GLOBAL B-FUNCTION
MASAYUKI NORO | 147 |
A METHOD FOR CONSTRUCTING HOLONOMIC SYSTEMS FOR ALGEBRAIC LOCAL COHOMOLOGY CLASSES WITH SUPPORT ON A ZERO DIMENSIONAL VARIETY
YAYOI NAKAMURA and SHINICHI TAJIMA | 158 |
D-MODULES FOR MACAULAY 2
ANTON LEYKIN | 169 |
COMPUTER GRAPHICS IN MATHEMATICAL RESEARCH, FROM ICM 1978 TO ICM 2002: A PERSONAL REFLECTION
THOMAS F. BANCHOFF | 180 |
GENERATING OPTIMAL CURVES VIA THE C++ STANDARD LIBRARY
ANDERS LINNÉR | 190 |
A MATHEMATICAL WEBSERVICE FOR RECOGNIZING THE UNKNOT
M. V. ANDREEVA, I. A. DYNNIKOV and K. POLTHIER | 201 |
MAKING THE MOVE: THE NEXT VERSION OF CINDERELLA
ULRICH KORTENKAMP and JÜRGEN RICHTER-GEBERT | 208 |
PRIME DECOMPOSITION OF POLYNOMIAL IDEALS OVER FINITE FIELDS
KAZUHIRO YOKOYAMA | 217 |
PARTIAL STANDARD BASES FOR FAMILIES
ANNE FRÜHBIS-KRÜGER | 228 |
AN ENVIRONMENT FOR SYMBOLIC AND NUMERIC COMPUTATION
G. DOS REIS, B. MOURRAIN, PH. TRÉBUCHET and F. ROUILLIER | 239 |
COMPUTING ELLIPTIC CURVES USING KASH
MASANARI KIDA | 250 |
COMPUTING THE ENDOMORPHISM TYPE OF ORDINARY ELLIPTIC CURVES OVER FINITE FIELDS WITH KANT V4
M. HENNINGSEN | 261 |
ON DISTRIBUTION OF THE GROUP OF RATIONAL POINTS OF REDUCTIONS OF AN ELLIPTIC CURVE
RYOUHEI TAKEUCHI | 271 |
ALGORITHMIC CONSTRUCTIONS OF ELLIPTIC CURVES WITH COMPLEX MULTIPLICATION
ANDREAS ENGE | 281 |
PARALLEL IMPLEMENTATION OF POLYHEDRAL CONTINUATION METHODS FOR SYSTEMS OF POLYNOMIAL EQUATIONS
MASAKAZU KOJIMA, YANG DAI, KATSUKI FUJISAWA, SUNYOUNG KIM and AKIKO TAKEDA | 283 |
CMPSM: A CONTINUATION METHOD FOR POLYNOMIAL SYSTEMS (MATLAB VERSION)
SUNYOUNG KIM and MASAKAZU KOJIMA | 285 |
GENERATING FUNCTIONS THAT COUNT T-DESIGNS WITH GIVEN AUTOMORPHISM GROUP: ALGORITHMS AND STRUCTURE
JESÚS A. DE LOERA | 296 |
ON THE COMPUTATION OF HILBERT BASES OF CONES
RAYMOND HEMMECKE | 307 |
ENCAPSULATE!
DORON ZEILBERGER | 318 |
COMPUTER ALGEBRA LIBRARY FOR THE CONSTRUCTION OF THE MINIMAL TELESCOPERS
S. A. ABRAMOV, K. O. GEDDES and H. Q. LE | 319 |
TOPCOM: TRIANGULATIONS OF POINT CONFIGURATIONS AND ORIENTED MATROIDS
JÖRG RAMBAU | 330 |
PARALLEL BACKTRACK COMPUTING OF ASSOCIATION SCHEMES USING CLASSROOM PC'S
IZUMI MIYAMOTO | 341 |
ON CANONICAL REPRESENTATIONS OF CONVEX POLYHEDRA
DAVID AVIS, KOMEI FUKUDA and STEFANO PICOZZI | 350 |
DECOMPOSING POLYNOMIAL SYSTEMS INTO STRONG REGULAR SETS
YONG-BIN LI, JING-ZHONG ZHANG and LU YANG | 361 |
WU WEN-TSÜN FORMULAE FOR THE BLENDING OF QUADRATIC SURFACES
NA LEI, TIE-RU WU and GUO-CHEN FENG | 372 |
EPSILON: A LIBRARY OF SOFTWARE TOOLS FOR POLYNOMIAL ELIMINATION
DONGMING WANG | 379 |
MINIMAL SETS OF CRITICAL PAIRS
MASSIMO CABOARA, MARTIN KREUZER and LORENZO ROBBIANO | 390 |
A STUDY IN THE INTEGRATION OF COMPUTER ALGEBRA SYSTEMS: MEMORY MANAGEMENT IN A MAPLE–ALDOR ENVIRONMENT
STEPHEN M. WATT | 405 |
LOCAL AND REMOTE USER INTERFACE FOR ELIMINO THROUGH OMEI
YONGWEI WU, WEIDONG LIAO, DONGDAI LIN and PAUL S. WANG | 411 |
PROGRAMMING THE IBM MATHML EXPRESSION EDITOR FOR INTERACTIVE MATHEMATICAL APPLICATIONS
SAMUEL S. DOOLEY | 421 |
FROM MATHEMATICAL SERVERS TO MATHEMATICAL SERVICES
MIKE DEWAR and DAVID CARLISLE | 432 |
TOWARDS A MATHEMATICAL SERVICES DESCRIPTION LANGUAGE
OLGA CAPROTTI and WOLFGANG SCHREINER | 442 |
AN ALGORITHM TO COMPUTE THE MINIMAL TELESCOPERS FOR RATIONAL FUNCTIONS (DIFFERENTIAL – INTEGRAL CASE)
K. O. GEDDES and H. Q. LE | 453 |
AN AUTOMATED ALGEBRAIC METHOD FOR FINDING EXACT SOLUTIONS TO NONLINEAR EVOLUTION EQUATIONS
ZHI-BIN LI, YIN-PING LIU and RUO-XIA YAO | 464 |
PARAMETRIC ANALYSIS OF SYSTEMS OF ALGEBRAIC INEQUALITIES
ANDREY V. BANSHCHIKOV | 475 |
Σit – AN ALDOR LIBRARY FOR LINEAR DIFFERENTIAL AND DIFFERENCE EQUATIONS (ABSTRACT)
MANUEL BRONSTEIN | 485 |
ALLTYPES: AN ALGEBRAIC LANGUAGE AND TYPE SYSTEM
FRITZ SCHWARZ | 486 |
SECURE INTERNET ACCESSIBLE MATHEMATICAL COMPUTATION FRAMEWORK
DONGDAI LIN, ZHIMIN SONG and PAUL S. WANG | 501 |
SOLUTION SPACE SMOOTHING FOR VLSI MODULE PLACEMENT: A COMPUTATIONAL STUDY
SHEQIN DONG, XIANLONG HONG, SONG CHEN and SHUO ZHOU | 503 |
SIMATH — RECENT DEVELOPMENTS IN TMU
T. MATSUI, D. KOBAYASHI, M. ABE and K. NAKAMULA | 505 |
STRUCTURES OF THE POLYNOMIAL TYPES IN PROBLEMS OF THE INVARIANT ANALYSIS AND SYNTHESIS OF DIFFERENTIAL EQUATIONS
A. V. FLEGONTOV | 507 |
BACK MATTER
| 509 |
| Back |
