Download Results
17 research outcomes, page 1 of 2
  • software . 2020
    Open Source
    Authors:
    Unruh, Dominique;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | CerQuS (819317)

    <p>Proof assistant for qRHL</p>

    Add to ORCID
  • software . 2012
    Open Access English
    Authors:
    Tammet, Hannes;
  • software . 2020
    Open Source
    Authors:
    Caballero, José Manuel Rodríguez; Unruh, Dominique;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | CerQuS (819317)

    <p>Isabelle theory about bounded operators</p>

    Add to ORCID
  • software . 2014
    Open Access English
    Authors:
    Tammet, Hannes;
  • software . 2014
    Open Access English
    Authors:
    Tammet, Hannes;
  • software . 2013
    Open Access English
    Authors:
    Tammet, Hannes;
  • software . 2014
    Open Access English
    Authors:
    Tammet, Hannes;
  • software . 2020
    Open Source English
    Authors:
    Alexander Kmoch;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | GLOMODAT (795625)

    <p>We added Dask Python parallelization and updated codes regarding the parsing of the textures, coarse fragments, humus horizons and layer depths.</p> <p>For more information on the development of this dataset look for &quot;EstSoil-EH: a high-resolution eco-hydrologic...

    Add to ORCID
  • software . 2011
    Open Access English
    Authors:
    Tammet, Hannes;
  • software . 2020
    Open Source
    Authors:
    Unruh, Dominique;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | CerQuS (819317)

    <p>Postquantum verification of the Fujisaki-Okamoto transform variant by H&ouml;velmanns, Kiltz, Sch&auml;ge, Unruh</p>

    Add to ORCID
17 research outcomes, page 1 of 2