Login / Signup
A New Proof of the Prouhet-Tarry-Escott Problem.
Hieu D. Nguyen
Published in:
Integers (2016)
Keyphrases
</>
mathematical proofs
data sets
data structure
proof planning
real time
neural network
data mining
case study
multi agent
cooperative
support vector
inference rules
theorem prover
theorem proving