• DocumentCode
    964996
  • Title

    Some applications of Grobner bases

  • Author

    Roanes-Lozano, E. ; Roanes-Macias, E.

  • Author_Institution
    Dept. of Algebra, Univ. Complutense de Madrid, Spain
  • Volume
    6
  • Issue
    3
  • fYear
    2004
  • Firstpage
    56
  • Lastpage
    60
  • Abstract
    Previously (see ibid., vol.6, no.2, 2004), we discussed the geometry of linear and algebraic systems. We also defined ideals and bases so that we could introduce the concept of Grobner bases for algebraic system solving. In this article, we give more details about Grobner bases and describe their main application (algebraic system solving) along with some surprising derived ones: inclusion of varieties, automatic theorem-proving in geometry, expert systems, and railway interlocking systems.
  • Keywords
    algebra; polynomials; symbol manipulation; theorem proving; Grobner bases applications; algebraic system solving; automatic theorem-proving; expert systems; linear systems; polynomials; railway interlocking systems; system geometry; Algebra; Dictionaries; Polynomials;
  • fLanguage
    English
  • Journal_Title
    Computing in Science & Engineering
  • Publisher
    ieee
  • ISSN
    1521-9615
  • Type

    jour

  • DOI
    10.1109/MCISE.2004.1289309
  • Filename
    1289309
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=964996