Formalization and execution of Linear Algebra: from theorems to algorithms

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

Argitaletxea: Springer

ISBN: 978-3-319-17821-9

Argitalpen urtea: 2014

Orrialdeak: 1-18

Mota: Liburuko kapitulua

GOOGLE SCHOLAR