Login / Signup
Computer algebra calculations in supersymmetric electrodynamics.
Ilya Shirokov
Published in:
CoRR (2022)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
automated theorem provers
bayesian networks
first order logic
conditional probabilities