École Polytechnique - Accueil site de l'Ecole Polytechnique

Polytechnique.fr has 37 URLs listed in 38 Dmoz categories.

Hermann, Miki
National Center for Scientific Research (France).
http://www.lix.polytechnique.fr/~hermann/
Top/Computers/Computer_Science/Theoretical/Complexity_Theory/People

Weiwen Xu
Postdoc at LIX Ecole Polytechnique
http://www.lix.polytechnique.fr/~xu/
Top/Computers/Computer_Science/Theoretical/People/Students

Freefall
Java Puzzle in which logic is used to remove all the colored blocks from the board using a limited number of moves. Offered at several levels of play.
http://www.math.polytechnique.fr/cmat/auroux/java/freefall.html
Top/Games/Video_Games/Puzzle/Browser_Based/Falling_Tile_Puzzles

Ecole Polytechnique
Founded in 1794, this state supported institution is one of the most prestigious engineering schools in France. Campus life, education and research programs, and admission.
http://www.polytechnique.fr/
Top/Reference/Education/Colleges_and_Universities/Europe/France

Centre de Mathématiques Appliquées de l'Ecole Polytechnique (CMAP)
Research Themes: Integral methods and wave propagation, diphasic flows and combustion, probabilistic modeling, signal theory, charged particles transportation modeling and simulation, shape optimization, genetic algorithms, applied mathematics and proces
http://www.cmap.polytechnique.fr
Top/Science/Math/Academic_Departments/Europe/France

Morain, François
Ecole Polytechnique researcher. Contact information, articles, and research topics.
http://www.lix.polytechnique.fr/~morain/
Top/Science/Math/Applications/Communication_Theory/Cryptography/People

Enge, Andreas
Publications, contact information, research, and teachings.
http://www.lix.polytechnique.fr/Labo/Andreas.Enge/Willkommen_en.html
Top/Science/Math/Applications/Communication_Theory/Cryptography/People

EDGE-Paris
Paris node of the European Research Training Network "European Differential Geometry Endeavour". Lists members.
http://math.polytechnique.fr/cmat/gauduchon/edge.html
Top/Science/Math/Geometry/Differential_Geometry/Research_Groups

Miller, Dale
INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.
http://www.lix.polytechnique.fr/Labo/Dale.Miller/
Top/Science/Math/Logic_and_Foundations/People

Proof Theory as an Alternative to Model Theory
Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html
Top/Science/Math/Logic_and_Foundations/Proof_Theory