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