Prover Efficient Public Verification of Dense or Sparse/Structured Matrix-Vector Multiplication.

Jean-Guillaume Dumas Vincent Zucca

Published in: ACISP (2) (2017)

Keyphrases

sparse matrix
real world
theorem proving
floating point
motion field estimation
model checking
theorem prover
coefficient matrix
sparse matrices