On the Computation of Comprehensive Boolean Gröbner Bases-Reference-Cited by-同舟云学术

On the Computation of Comprehensive Boolean Gröbner Bases

Published:2009 Issue: Volume: Page:130-141
ISSN:0302-9743
Container-title:Computer Algebra in Scientific Computing
language:
Short-container-title:

Author:

Inoue Shutaro

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04103-7_13

Reference16 articles.

1. Kapur, D.: An Approach for Solving Systems of Parametric Polynomial Equations. In: Saraswat, Van Hentenryck (eds.) Principles and Practices of Constraint Programming, pp. 217–244. MIT Press, Cambridge (1995)

2. Manubens, M., Montes, A.: Improving DISPGB algorithm using the discriminant ideal. J. Symb. Comp. 41, 1245–1263 (2006)

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

4. Noro, M., et al.: A Computer Algebra System Risa/Asir (2009), http://www.math.kobe-u.ac.jp/Asir/asir.html

5. Sakai, K., Sato, Y.: Boolean Gröbner bases. ICOT Technical Momorandum 488 (1988), http://www.icot.or.jp/ARCHIVE/Museum/TRTM/tm-list-E.html

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Mathematical Hierarchy of Sudoku Puzzles and Its Computation by Boolean Gröbner Bases;Artificial Intelligence and Symbolic Computation;2014

2. An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems;Mathematical Software – ICMS 2014;2014

3. On the Implementation of Boolean Gröbner Bases;Computer Mathematics;2014

4. Boolean Gröbner bases;Journal of Symbolic Computation;2011-05

5. Implementation of Boolean Gröbner bases in Risa/Asir;ACM Communications in Computer Algebra;2010-06-24