Sign in
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