C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proof of Useful Work Based on Matrix Computation.
Cojocaru Dragos
Published in:
SYNASC (2022)
Keyphrases
</>
linear algebra
square root
matrix inversion
database
databases
decision trees
hidden markov models
semi supervised
theorem prover
efficient computation
linear logic