Skip to main content
SpringerLink
Log in

On Parametric Border Bases

  • Conference paper
  • First Online:
Mathematical Aspects of Computer and Information Sciences (MACIS 2019)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11989))

  • 402 Accesses

Abstract

We study several properties of border bases of parametric polynomial ideals and introduce a notion of a minimal parametric border basis. It is especially important for improving the quantifier elimination algorithm based on the computation of comprehensive Gröbner systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Fukasaku, R., Iwane, H., Sato, Y.: Real quantifier elimination by computation of comprehensive Gröbner systems. In: Proceedings of ISSAC 2015, pp. 173–180 (2015)

    Google Scholar 

  2. Fukasaku, R., Iwane, H., Sato, Y.: On the implementation of CGS real QE. In: Greuel, G.-M., Koch, T., Paule, P., Sommese, A. (eds.) ICMS 2016. LNCS, vol. 9725, pp. 165–172. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42432-3_21

    Chapter  Google Scholar 

  3. Fukasaku, R., Sato, Y.: On real roots counting for non-radical parametric ideals. In: Blömer, J., Kotsireas, I.S., Kutsia, T., Simos, D.E. (eds.) MACIS 2017. LNCS, vol. 10693, pp. 258–263. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-72453-9_18

    Chapter  Google Scholar 

  4. Fukasaku, R., Iwane, H., Sato, Y.: On multivariate hermitian quadratic forms. Math. Comput. Sci. 13(1–2), 79–93 (2019)

    Article  MathSciNet  Google Scholar 

  5. Kreuzer, M., Robbiano, L.: Computational Commutative Algebra 2. Springer, Heidelberg (2005). https://doi.org/10.1007/3-540-28296-3. Section 6.4 Border Bases

    Book  MATH  Google Scholar 

  6. Montes, A.: The Gröbner Cover. ACM, vol. 27. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03904-2

    Book  MATH  Google Scholar 

  7. Sato, Y., Fukasaku, R., Sekigawa, H.: On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal. In: Proceedings of ISSAC 2018, pp. 359–365 (2018)

    Google Scholar 

  8. Suzuki, A., Sato, Y.: An alternative approach to comprehensive Gröbner bases. J. Symb. Comput. 36(3–4), 649–667 (2003)

    Article  Google Scholar 

  9. Weispfenning, V.: A new approach to quantifier elimination for real algebra. In: Caviness, B.F., Johnson, J.R. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. TEXTSMONOGR, pp. 376–392. Springer, Vienna (1998). https://doi.org/10.1007/978-3-7091-9459-1_20

    Chapter  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tokyo University of Science, Tokyo, Japan

    Yosuke Sato & Hiroshi Sekigawa

  2. Kyushu University, Fukuoka, Japan

    Ryoya Fukasaku

  3. Tokushima University, Tokushima, Japan

    Katsusuke Nabeshima

Authors
  1. Yosuke Sato
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hiroshi Sekigawa
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ryoya Fukasaku
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Katsusuke Nabeshima
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yosuke Sato .

Editor information

Editors and Affiliations

  1. AIT Austrian Institute of Technology, Vienna, Austria

    Daniel Slamanig

  2. IMJ-PRG, Sorbonne University, Paris, France

    Elias Tsigaridas

  3. Institute of Information Technologies, Gebze Technical University, Gebze, Turkey

    Zafeirakis Zafeirakopoulos

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Sato, Y., Sekigawa, H., Fukasaku, R., Nabeshima, K. (2020). On Parametric Border Bases. In: Slamanig, D., Tsigaridas, E., Zafeirakopoulos, Z. (eds) Mathematical Aspects of Computer and Information Sciences. MACIS 2019. Lecture Notes in Computer Science(), vol 11989. Springer, Cham. https://doi.org/10.1007/978-3-030-43120-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-43120-4_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-43119-8

  • Online ISBN: 978-3-030-43120-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation