- C. Chen, O. Golubitsky, F. Lemaire, M. Moreno Maza, and W. Pan. Comprehensive Triangular Decomposition, volume 4770 of LNCS, pages 73--101. Springer Verlag, 2007. Google ScholarDigital Library
- C. Chen, F. Lemaire, L. Liyun, M. Moreno Maza, W. Pan, and Y. Xie. The constructiblesettools and parametricsystem-stools modules of the regularchains library in maple. In Proc. of the International Conference on Computational Science and Applications. IEEE Computer Society Press, 2008. Google ScholarDigital Library
- C. Chen, L. Li, M. Moreno Maza, W. Pan, and Y. Xie. On the representation of constructible sets. In Proc. of Milestones in Computer Algebra, pages 103--108, 2008.Google Scholar
- C. Chen, M. Moreno Maza, W. Pan, and Y. Xie. On the verification of polynomial system solvers. Frontiers of Computer Science in China, 2(1):55--66, 2008.Google ScholarCross Ref
- D. Eisenbud. Commutative Algebra with a View Toward Algebraic Geometry. Springer-Verlag, New York-Berlin-Heidelberg, 1995.Google Scholar
- I. A. Kogan and M. Moreno Maza. Computation of canonical forms for ternary cubics. In Teo Mora, editor, Proc. ISSAC 2002, pages 151--160. ACM Press, July 2002. Google ScholarDigital Library
- F. Lemaire, M. Moreno Maza, and Y. Xie. The RegularChains library. In Ilias S. Kotsireas, editor, Maple Conference 2005, pages 355--368, 2005.Google Scholar
- A. Montes. A new algorithm for discussing Gröbner bases with parameters. J. Symb. Comput., 33(2):183--208, 2002. Google ScholarDigital Library
- A. Suzuki and Y. Sato. A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases. In ISSAC, pages 326--331, 2006. Google ScholarDigital Library
- D. M. Wang. Elimination Methods. Springer, New York, 2000.Google Scholar
- W. T. Wu. Basic principles of mechanical theorem proving in elementary geometries. J. Sys. Sci. and Math. Scis, 4:207--235, 1984.Google Scholar
Index Terms
- The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
Recommendations
The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple
ICCSA '08: Proceedings of the 2008 International Conference on Computational Sciences and Its ApplicationsWe present two new modules of the RegularChains library in Maple: ConstructibleSetTools which is the first distributed package dedicated to the maniputation of (parametric or not) constructible sets and ParametricSystemTools which is the first ...
The RegularChains library in MAPLE
Performing calculations modulo a set of relations is a basic technique in algebra. For instance, computing the inverse of an integer modulo a prime integer or computing the inverse of the complex number 3 + 2<i>t</i> modulo the relation ℓ<sup>2</sup> + ...
A maple program for proving hypergeometric identities
In [Z1](see also [Z2],[WZ],[S],[Ci]) I gave an algorithm for proving any terminating definite hypergeometric identity, and more generally, for finding the linear recurrence satisfied by any definite hypergeometric sum[EQUATION]
Comments