abstract

The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple

Authors:

Wei Pan,

Yuzhen XieAuthors Info & Claims

ACM Communications in Computer Algebra, Volume 42, Issue 3

Pages 182 - 184

https://doi.org/10.1145/1504347.1504378

Published: 06 February 2009 Publication History

Get Access

References

[1]

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.

Digital Library

Google Scholar

[2]

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.

Digital Library

Google Scholar

[3]

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

[4]

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.

Crossref

Google Scholar

[5]

D. Eisenbud. Commutative Algebra with a View Toward Algebraic Geometry. Springer-Verlag, New York-Berlin-Heidelberg, 1995.

Google Scholar

[6]

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.

Digital Library

Google Scholar

[7]

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

[8]

A. Montes. A new algorithm for discussing Gröbner bases with parameters. J. Symb. Comput., 33(2):183--208, 2002.

Digital Library

Google Scholar

[9]

A. Suzuki and Y. Sato. A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases. In ISSAC, pages 326--331, 2006.

Digital Library

Google Scholar

[10]

D. M. Wang. Elimination Methods. Springer, New York, 2000.

Google Scholar

[11]

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
1. Computing methodologies
  1. Symbolic and algebraic manipulation
    1. Computer algebra systems
2. Mathematics of computing
  1. Mathematical analysis
    1. Numerical analysis
  2. Mathematical software

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 Applications

We 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 &ell;<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

Information & Contributors

Information

Published In

cover image ACM Communications in Computer Algebra

ACM Communications in Computer Algebra Volume 42, Issue 3

September 2008

80 pages

ISSN:1932-2232

EISSN:1932-2240

DOI:10.1145/1504347

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 February 2009

Published in SIGSAM-CCA Volume 42, Issue 3

Check for updates

Qualifiers

Abstract

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
43
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

References

Index Terms

Recommendations