Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Proceedings of the first International Congress of Mathematical Software River Edge, NJ :
World Scientific,
©2002.
|
| Subjects: | |
| Online Access: | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210673 |
Table of Contents:
- The experimental mathematician: a computational guide to the mathematical unknown / J.M. Borwein
- Computer algebra and finite groups / G.-M. Greuel and G. Pfister
- Software integration and computer proofs / M. Joswig
- Software carry-save for fast multiple-precision algorithms / D. Defour and F. De Dinechin
- LinBox: a generic library for exact linear algebra / J.-G. Dumas [and others]
- Block-iterative algorithms for image reconstruction / M. Jiang and G. Wang
- The snap package for arithmetic with numeric polynomials / C.-P. Jeannerod and G. Labahn
- Algorithms of composite rational interpolation based on continued fractions / J.Q. Tan and S. Tang
- Fast and space-efficient algorithms for deciding shellability of simplicial complexes of large size using h-assignments / S. Moriyama, A. Nagai and H. Imai
- Computing GCLF using syzygy algorithm / M. Wang and C.P. Kwong
- Efficient cooperative solvers for nonlinear continuous constraint problems / Y. Shang, M.P.J. Fromherz and L.S. Crawford
- Pseudo-divison machine (I): a model of symbolic computation / Z.K. She, B.C. Xia and Z.M. Zheng
- XSSR: an experimental system for string rewriting
- decision problems, algorithms, and implementation / D. Hofbauer [and others]
- The differential structure of the Brieskorn lattice / M. Schulze
- An efficient modular algorithm for computing the global b-function / M. Noro
- A method for constructing holonomic systems for algebraic local cohomology classes with support on a zero dimensional variety / Y. Nakamura and S. Tajima
- D-modules for Macaulay 2 / A. Leykin
- Computer graphics in mathematical research; from Helsinki 1978 to Beijing 2002 / T.F. Banchoff
- Generating optimal curves via the C++ standard library / A. Linnér
- A mathematical webservice for recognizing the unknot / M.V. Andreeva, I.A. Dynnikov and K. Polthier
- Making the move: the next version of Cinderella / U. Kortenkamp and J. Richter-Gebert
- Prime decomposition of polynomial ideals over finite fields / K. Yokoyama
- Partial standard bases for families / A. Frühbis-Krüger
- An environment for symbolic and numeric computation / G. Dos Reis [and others]
- Computing elliptic curves using KASH / M. Kida
- Computing the endomorphism type of ordinary elliptic curves over finite fields with KANT/V4 / M. Henningsen
- On a distribution of the group of rational points of reductions of an elliptic curve / R. Takeuchi
- Algorithmic constructions of elliptic curves with complex multiplication / A. Enge
- Parallel implementation of polyhedral continuation methods for systems of polynomial equations / M. Kojima [and others]
- CMPSm: a continuation method for polynomial systems (MATLAB version) / S. Kim and M. Kojima
- Generating functions that count t-designs with given automorphism group: algorithms and structure / J.A. De Loera
- On the computation of Hilbert bases of cones / R. Hemmecke
- ENCAPSULATE! / D. Zeilberger.
- Computer algebra library for the construction of the minimal telescopers / S.A. Abramov, K.O. Geddes and H.Q. Le
- TOPCOM: triangulations of point configurations and oriented matroids / J. Rambau
- Parallel backtrack computing of association schemes using classroom PC's / I. Miyamoto
- On canonical representations of convex polyhedra / D. Avis, K. Fukuda and S. Picozzi
- Decomposing polynomial systems into strong regular sets / Y.-B. Li, J.-Z. Zhang and L. Yang
- Wu Wen-Tsün formulae for the blending of quadratic surfaces / N. Lei, T.-R. Wu and G.-C. Feng
- Epsilon: a library of software tools for polynomial elimination / D.M. Wang
- Minimal sets of critical pairs / M. Caboara, M. Kreuzer and L. Robbiano
- A study in the integration of computer algebra systems: memory management in a Maple-Aldor environment / S.M. Watt
- Local and remote user interface for ELIMINO through OMEI / Y.W. Wu [and others]
- Programming the IBM MathML expression editor for interactive mathematical applications / S.S. Dooley
- From mathematical servers to mathematical services / M. Dewar and D. Carlisle
- Towards a mathematical services description language / O. Caprotti and W. Schreiner
- An algorithm to compute the minimal telescopers for rational functions (differential-integral case) / K.O. Geddes and H.Q. Le
- An automated algebraic method for finding exact solutions to nonlinear evolution equations / Z.-B. Li, Y.-P. Liu and R.-X. Yao
- Parametric analysis of systems of algebraic inequalities / A.V. Banshchikov
- [symbol]
- an Aldor library for linear differential and difference equations (abstract) / M. Bronstein
- ALLTYPES: an algebraic language and TYPE system / F. Schwarz
- Secure internet accessible mathematical computation framework / D.D. Lin, Z.M. Song and P.S. Wang
- Solution space smoothing for VLSI module placement: a computational study / S.Q. Dong [and others]
- SIMATH
- recent developments in TMU / T. Matsui [and others]
- Structures of polynomial types in problems of the invariant analysis and synthesis of differential equations / A.V. Flegonov.