Formalization and execution of Linear Algebra: from theorems to algorithms

  1. Aransay Azofra, Jesús María
  2. Divasón Mallagaray, José
Libro:
Revised Selected Papers of the Logic-Based Program Synthesis and Transformation (LOPSTR 2013)

Editorial: Springer

ISBN: 978-3-319-17821-9

Año de publicación: 2014

Páginas: 1-18

Tipo: Capítulo de Libro

GOOGLE SCHOLAR