Search Results - Fukala, Viktor

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Live Verification in an Interactive Proof Assistant

    Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Realizing Artin-Schreier Covers with Minimal \(a\)-numbers in Positive Characteristic

    Realizing Artin-Schreier Covers with Minimal \(a\)-numbers in Positive Characteristic by Abney-McPeek, Fiona, Berg, Hugo, Booher, Jeremy, Choi, Sun Mee, Fukala, Viktor, Marinov, Miroslav, Müller, Theo, Narkiewicz, Paweł, Pries, Rachel, Xu, Nancy, Yuan, Andrew

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: