`Travelled to:`

1 × Spain

`Collaborated with:`

J.Divasón

`Talks about:`

algorithm (1) theorem (1) algebra (1) linear (1) formal (1) execut (1)

## Person: Jesús Aransay

### DBLP: Aransay:Jes=uacute=s

### Contributed to:

### Wrote 1 papers:

- LOPSTR-2013-AransayD #algebra #algorithm #execution #formal method #linear #theorem
- Formalization and Execution of Linear Algebra: From Theorems to Algorithms (JA, JD), pp. 1–18.