2 search results for "tag:"date: 2005-07""

Showing 1 - 2
  1. coq-fermat4

    No documentation

    Diophantus' 20th Problem and Fermat's Last Theorem for n = 4
    keyword: Diophantus keyword: Fermat keyword: arithmetic keyword: infinite descent category: Mathematics/Arithmetic and Number Theory/Number theory date: 2005-07
    David Delahaye Micaela Mayero
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-kildall

    No documentation

    Application of the Generic kildall's Data Flow Analysis Algorithm to a Type and Shape Static Analyses of Bytecode
    keyword: Kildall keyword: data flow analysis keyword: bytecode verification category: Computer Science/Semantics and Compilation/Semantics date: 2005-07
    Solange Coupet-Grimal <Solange.Coupet@cmi.univ-mrs.fr> William Delobel <delobel@cmi.univ-mrs.fr>
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019