Mostrando 1 - 2 Resultados de 2 Para Buscar 'Haslbeck, Max W.', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL
  2. 2
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
Herramientas de búsqueda: RSS