Login / Signup
Calculating Three Loop Ladder and V-Topologies for Massive Operator Matrix Elements by Computer Algebra.
Jakob Ablinger
Arnd Behring
Johannes Blümlein
Abilio De Freitas
A. von Manteuffel
Carsten Schneider
Published in:
CoRR (2015)
Keyphrases
</>
computer algebra
theorem prover
singular value decomposition
automated theorem provers
artificial intelligence
data analysis
singular values
computer algebra systems
neural network
bayesian networks
positive definite