Proof of a conjectural supercongruence.

Xiang-Zi Meng Zhi-Wei Sun

Published in: Finite Fields Their Appl. (2015)

Keyphrases

theorem proving
theorem prover
databases
bayesian networks
machine learning
information retrieval
search engine
feature selection
database systems
feature extraction
cooperative
information technology
proof planning
geometry theorem proving