Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
71	Coq + Epsilon ?∗ Pierre Cast´eran LaBRI, UMR 5800, Universit´e Bordeaux 1, 351, Cours de la Lib´eration, 33405 Talence Cedex, , www.labri.fr/∼casteran/ Add to Reading List Source URL: www.labri.fr Language: French - Date: 2007-10-29 06:58:06
72	Towards numerical integration in Coq Bas Spitters (jww Eelis van der Weegen) Integration Add to Reading List Source URL: www.unirioja.es Language: English - Date: 2011-02-08 06:48:59
73	Coq Framework for security policies and proof of concept application Anders Kaseorg, Jason Gross, and Peng Wang December 9, Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2016-01-29 11:49:59
74	A Tutorial on [Co-]Inductive Types in Coq Eduardo Giménez∗, Pierre Castéran† May 1998 — August 17, 2007 Abstract This document1 is an introduction to the definition and use of inductive Add to Reading List Source URL: www.labri.fr Language: English - Date: 2007-10-29 06:58:13
75	Two-Way Automata in Coq Christian Doczkal Gert Smolka To appear in Proc. of Interactive Theorem Proving (ITP 2016) Add to Reading List Source URL: www.ps.uni-saarland.de Language: English - Date: 2016-05-25 08:45:28
76	Microsoft Word - Catalogue Publique Du coq a l ane 2016.docm Add to Reading List Source URL: www.ducoqalane.fr Language: French - Date: 2016-02-05 02:47:36
77	Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani MPI-SWS Derek Dreyer Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2013-07-18 07:46:11
78	Coq a dit : fromage tranché ne peut cacher ses trous ∗ Jean-Christophe Léchenet1,2, Nikolai Kosmatov1 & Pascale Le Gall2 1 : CEA, LIST, Laboratoire de Sûreté des Logiciels Add to Reading List Source URL: www.stance-project.eu Language: French - Date: 2016-02-17 06:02:04
79	Formalizing Elementary Divisor Rings in Coq Cyril Cohen Anders M¨ ortberg Add to Reading List Source URL: perso.crans.org Language: English - Date: 2014-06-17 06:14:57
80	JAR manuscript No. (will be inserted by the editor) Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq Érik Martin-Dorel · Guillaume Melquiond Add to Reading List Source URL: www.lri.fr Language: English - Date: 2015-10-06 03:32:12 Computer algebra Computer arithmetic Algebra Numerical analysis Polynomials Interval arithmetic Automatic differentiation Floating point Polynomial Remainder Symbolic computation Interval

UPDATE