Login / Signup
(Working Group Noaï Fitchas) Algorithmic Aspects of Suslin's Proof of Serre's Conjecture.
Leandro Caniglia
Guillermo Cortiñas
Silvia Danón
Joos Heintz
Teresa Krick
Pablo Solernó
Published in:
Comput. Complex. (1993)
Keyphrases
</>
working group
algorithmic aspects
working conference
theorem prover
data mining
theorem proving
decision making