Login / Signup
A Simple Proof of Rolle's Theorem for Finite Fields.
Cristina M. Ballantine
Joel L. Roberts
Published in:
Am. Math. Mon. (2002)
Keyphrases
</>
data mining
artificial intelligence
multi agent systems
logic programming
finite number
provably correct
complete axiomatization
interactive theorem proving