Exploració per tema "Comprehensive Gröbner system"

Ara es mostren els items 1-2 de 2

    • Computing the canonical representation of constructible sets 

      Brunat Blay, Josep Maria; Montes Lozano, Antonio (2016-03-08)
      Article
      Accés obert
      Constructible sets are needed in many algorithms of Computer Algebra, particularly in the GröbnerCover and other algorithms for parametric polynomial systems. In this paper we review the canonical form ofconstructible sets ...

    • Generalizing the Steiner-Lehmus theorem using the Gröbner cover 

      Montes Lozano, Antonio; Recio Muñiz, Tomás (2014-10-01)
      Article
      Accés restringit per política de l'editorial
      In this note we present an application of a new tool (the Gröbner cover method, to discuss parametric polynomial systems of equations) in the realm of automatic discovery of theorems in elementary geometry. Namely, we ...