Login / Signup
A combinatorial proof of the Kronecker-Weber Theorem in positive characteristic.
Julio Cesar Salas-Torres
Martha Rzedowski-Calderón
Gabriel Villa-Salvador
Published in:
Finite Fields Their Appl. (2014)
Keyphrases
</>
interactive theorem proving
positive and negative
linear logic
neural network
theorem proving
positively correlated
real time
theorem prover
human perception