Dirichlet's proof of the three-square theorem: An algorithmic perspective.

Paul Pollack Peter Schorn

Published in: Math. Comput. (2019)

Keyphrases

interactive theorem proving
boundary conditions
viewpoint
mixture model
algorithmic information theory
database
theorem prover
theorem proving
linear logic
data mining
artificial intelligence
similarity measure
multiscale