Formalization and execution of Linear Algebra: from theorems to algorithms

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

Editorial: Springer

ISBN: 978-3-319-17821-9

Any de publicació: 2014

Pàgines: 1-18

Tipus: Capítol de llibre

GOOGLE SCHOLAR