Fast Matrix Operations in Computer Algebra.

Zak Tonks Gregory Sankaran James H. Davenport

Published in: SYNASC (2017)

Keyphrases

computer algebra
theorem prover
computer algebra systems
matrix multiplication

real time
singular value decomposition
automated theorem provers
data sets

learning algorithm
multiscale
knowledge representation

first order logic
missing values
linear algebra