Parallel postulates and decidability of intersection of lines: a mechanized study within Tarski’s system of geometry Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version:

Source URL: hal.inria.fr

Herbrand’s theorem and non-Euclidean geometry Michael Beeson, Pierre Boutry, Julien Narboux To cite this version: Michael Beeson, Pierre Boutry, Julien Narboux. Herbrand’s theorem and non-Euclidean geometry. Bulletin

Source URL: hal.inria.fr

Using small scale automation to improve both accessibility and readability of formal proofs in geometry Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun To cite this version: Pierre Boutry, Julien Narboux, Pa

Source URL: hal.inria.fr

A reflexive tactic for automated generation of proofs of incidence to an affine variety Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version: Pierre Boutry, Julien Narboux, Pascal Schreck. A reflexive tacti

Source URL: hal.inria.fr

A short note about case distinctions in Tarski’s geometry Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun To cite this version: Pierre Boutry, Julien Narboux, Pascal Schreck, Gabriel Braun. A short note ab

Source URL: hal.inria.fr

Bonnes pratiques de migration vers le cloud Julien SIMON, Principal Technical Evangelist, AWS @julsimon Laurent PULCE, CIO, Veolia Global Enterprises Pierre KERRINCK, Cloud Transformation Manager, Veolia

Source URL: pages.awscloud.com

• Computing
• Veolia
• Cloud infrastructure
• Business
• Web hosting
• Veolia Water
• Cloud computing
• Amazon Web Services

Aplicação de Monte Carlo no Estudo do Efeito Hidrofóbico no Enovelamento de Proteínas Adriano de Faria, Pierre Marie Julien Tisseur,1, Luis Paulo Barbour Scott1 1 Centro de Matemática, Computação e Cognição (CM

Source URL: gradmat.ufabc.edu.br

On the Optimal Placement of Mix Zones Julien Freudiger, Reza Shokri, and Jean-Pierre Hubaux LCA1, EPFL, Switzerland Abstract. In mobile wireless networks, third parties can track the location

Source URL: www.shokri.org

Configurations of flags and representations of surface groups in complex hyperbolic geometry Julien March´e Institut de Math´ematiques de Jussieu Universit´e Pierre et Marie Curie 4, place Jussieu

Source URL: webusers.imj-prg.fr

On Some Incompatible Properties of Voting Schemes Benoˆıt Chevallier-Mames1 , Pierre-Alain Fouque2 , David Pointcheval2 , Julien Stern3 , and Jacques Traor´e4 1 DCSSI –

Source URL: www.lsv.ens-cachan.fr