Formalization and execution of Linear Algebra: from theorems to algorithms

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

Verlag: Springer

ISBN: 978-3-319-17821-9

Datum der Publikation: 2014

Seiten: 1-18

Art: Buch-Kapitel

GOOGLE SCHOLAR