Exploració per tema "Automatic deduction"

Ara es mostren els items 1-2 de 2

    • A Co-semidecision procedure for behavioral equivalence 

      Palasí Lallana, Vicent Ramon (1996-01)
      Report de recerca
      Accés obert
      We shall demonstrate that proving the behavioral equivalence of two algebraic specifications is equivalent to proving a set of theorems in a given initial algebra. Thus, it is possible to prove automatically this behavioral ...

    • 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 ...