Lecturas del Grupo de Lógica Computacional (del 18 al 24 de mayo)
Esta entrada es una recopilación de lecturas compartidas esta semana (del 18 al 24 de mayo) en la lista de correo del grupo de lógica computacional
La recopilación está ordenada por la fecha de su publicación en Twitter. Al final de cada artículo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.
- Formalizing Strand Spaces in Coq: Proving “Proving security protocols correct” correct A. Kent & J. McCarty #Coq
- Do creative-telescoping algorithms provide complete proofs? A formal study of Apéry’s theorem F. Chyzak et als. #Coq
- Formal proofs for nonlinear optimization X. Allamigeon et als. #Coq
- Exact combinational circuit synthesis in Haskell P. Tarau #Haskell
- Generating learning algorithms: Hidden Markov models as a case study D. Szymczak #Haskell
- A generic view of primality (with Haskell type classes) Paul Tarau #Haskell
- Model checking and deduction N. Shankar #PVS