Login / Signup
Yet Another Proof of the Aperiodicity of Robinson Tiles.
Thomas Fernique
Published in:
CoRR (2017)
Keyphrases
</>
theorem prover
theorem proving
mathematical proofs
feature extraction
multiscale
reinforcement learning
information technology
relational databases
automated theorem proving
formal proof