Cargando…
Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorith...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
River Edge, NJ :
World Scientific,
©2002.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.