LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
181	ProofCert: Broad Spectrum Proof Certificates Dale Miller ´ INRIA-Saclay & LIX, Ecole Polytechnique Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2012-01-17 01:38:04
182	Robustness Analysis of Finite Precision Implementations Eric Goubault and Sylvie Putot CEA Saclay Nano-INNOV, CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 174, 91191 Gif sur Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2013-10-17 03:22:47
183	Modular equations for hyperelliptic curves ´ Schost P. Gaudry and E. LIX – GAGE ´ Ecole polytechnique Add to Reading List Source URL: www.csd.uwo.ca - Date: 2002-07-15 19:20:07
184	Easy numbers for the Elliptic Curve Primality Proving Algorithm F. Morain yz Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2009-04-28 09:51:09
185	Isogenies in cryptography F. Morain Laboratoire d’Informatique de l’École polytechnique University of Waterloo, June 17, 2009 Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2009-06-18 18:43:10
186	April 6, 2010 — final version for proceedings of CiE’10 What is the Problem with Proof Nets for Classical Logic ? Lutz Straßburger ´ Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2010-06-19 08:38:24
187	Modular Focused Proof Systems for Intuitionistic Modal Logics Kaustuv Chaudhuri, Sonia Marin∗ , and Lutz Straßburger Inria & LIX/École polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2016-05-01 08:20:30
188	Evaluation properties of symmetric polynomials ´ Pierrick Gaudry, LIX, Ecole polytechniquePalaiseau, France Add to Reading List Source URL: www.csd.uwo.ca - Date: 2005-02-22 07:50:28
189	HybridFluctuat: a static analyzer of numerical programs within a continuous environment Olivier Bouissou1 , Eric Goubault1 , Sylvie Putot1 , Karim Tekkal2 , and Franck Vedrine1 1 Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2009-11-24 06:44:26
190	Plekos 7,2005,41–46 – http://www.plekos.uni-muenchen.de/2005/rlibanios.pdf 41 Libanios. Discours. Tome IV. Discours LIX. Texte ´etabli et traduit par Pierre-Louis Malosse. Collection des Universit´es de France pub Add to Reading List Source URL: www.plekos.uni-muenchen.de - Date: 2005-04-20 05:33:47

UPDATE