59 citations · 211 across the 7 of their papers we have counts for
1 paper · 2 filters
Santiago Badia, Alberto F. Martín, Eric Neiva +1
In this work we formally derive and prove the correctness of the algorithms and data structures in a parallel, distributed-memory, generic finite element framework that supports h-…