skip to main content
demonstration

Software for computing the Gröbner cover of a parametric ideal

Published:23 January 2012Publication History
First page image

References

  1. J. Draisma. On the Casas-Alberó conjecture. (2006) www.linkpdf.com/.../on-the-casas-alveroconjecture-1-the-problem-eduardo-casas-alvero-.pdfGoogle ScholarGoogle Scholar
  2. M. Kalkbrenner, (1997). On the stability of Gröbner bases under specializations. Jour. Symb. Comp., 24:1, (1997), 51--58. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. D. Kapur, Y. Sun, and D.K. Wang. A new algorithm for computing comprehensive Gröbner systems. Proceedings of ISSAC'2010, ACM Press, (2010) 29--36. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. R. Losada, T. Recio, J.L. Valcarce, On the automatic discovery of Steiner-Lehmus generalizations. Proceedings of ADG 2010, (J. Richter-Gebert, P. Schreck, editors), München, (2010) 171--174.Google ScholarGoogle Scholar
  5. M. Manubens, A. Montes, Minimal Canonical Comprehensive Gröbner Systems, Jour. Symb. Comp., 44:5, (2009), 463--478. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. A. Montes. New Algorithm for Discussing Gröbner Bases with Parameters. Jour. Symb. Comp. 33:1-2 (2002), 183--208. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. A. Montes, T. Recio, (2007). Automatic discovery of geometry theorems using minimal canonical comprehensive Groebner systems. Proceedings of ADG 2006, L.N.A.I., Springer, 4869, (2007), 113--138. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. http://www-ma2.upc.edu/?montes/ download a beta version of the software grobcov.lib. (2011).Google ScholarGoogle Scholar
  9. A. Montes, M. Wibmer. Gröbner Bases for Polynomial Systems with Parameters. Jour. Symb. Comp., 45, (2010), 1391--1425. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. K. Nabeshima. A speed-up of the algorithm for computing comprehensive Gröbner systems. Proceedings of ISSAC'2007, ACM Press, (2007), 299--306. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. http://www.mathematik.uni-bielefeld.de/?sillke/PUZZLES/steiner-lehmusGoogle ScholarGoogle Scholar
  12. A. Suzuki and Y. Sato. A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases. Proceedings of ISSAC'2006, ACM Press, (2006), 326--331. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. D. Wang, Elimination practice: software tools and applications, Imperial College Press, London, (2004), p. 144--159. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. V. Weispfenning. Comprehensive Gröbner bases. Jour. Symb. Comp. 14, (1992), 1--29. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. V. Weispfenning. Canonical comprehensive Gröbner bases. Jour. Symb. Comp. 36, (2003), 669--683. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. M. Wibmer, Gröbner bases for families of affine or projective schemes. Jour. Symb. Comp., 42:8 (2007), 803--834. Google ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

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

Sign in

Full Access

  • Published in

    cover image ACM Communications in Computer Algebra
    ACM Communications in Computer Algebra  Volume 45, Issue 3/4
    September/December 2011
    87 pages
    ISSN:1932-2240
    DOI:10.1145/2110170
    Issue’s Table of Contents

    Copyright © 2012 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 23 January 2012

    Check for updates

    Qualifiers

    • demonstration
  • Article Metrics

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

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader