Login / Signup

(Working Group Noaï Fitchas) Algorithmic Aspects of Suslin's Proof of Serre's Conjecture.

Leandro CanigliaGuillermo CortiñasSilvia DanónJoos HeintzTeresa KrickPablo Solernó
Published in: Comput. Complex. (1993)
Keyphrases
  • working group
  • algorithmic aspects
  • working conference
  • theorem prover
  • data mining
  • theorem proving
  • decision making