| Directory: | Computers / Computer_Science / Theoretical / Complexity_Theory / People |
| Title: | Hermann, Miki |
| Description: | National Center for Scientific Research (France). |
| Location: | http://www.lix.polytechnique.fr/~hermann/ |
| |
|
| | |
| Directory: | Computers / Computer_Science / Theoretical / People / Students |
| Title: | Weiwen Xu |
| Description: | Postdoc at LIX Ecole Polytechnique |
| Location: | http://www.lix.polytechnique.fr/~xu/ |
| |
|
| | |
| Directory: | Games / Video_Games / Puzzle / Browser_Based / Falling_Tile_Puzzles |
| Title: | Freefall |
| Description: | 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. |
| Location: | http://www.math.polytechnique.fr/cmat/auroux/java/freefall.html |
| |
|
| | |
| Directory: | Reference / Education / Colleges_and_Universities / Europe / France |
| Title: | Ecole Polytechnique |
| Description: | 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. |
| Location: | http://www.polytechnique.fr/ |
| |
|
| | |
| Directory: | Science / Math / Academic_Departments / Europe / France |
| Title: | Centre de Mathématiques Appliquées de l'Ecole Polytechnique (CMAP) |
| Description: | 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 process control, scientific visualization, financial mathematics. |
| Location: | http://www.cmap.polytechnique.fr |
| |
|
| | |
| Directory: | Science / Math / Applications / Communication_Theory / Cryptography / People |
| Title: | Morain, François |
| Description: | Ecole Polytechnique researcher. Contact information, articles, and research topics. |
| Location: | http://www.lix.polytechnique.fr/~morain/ |
| |
|
| | |
| Directory: | Science / Math / Geometry / Differential_Geometry / Research_Groups |
| Title: | EDGE-Paris |
| Description: | Paris node of the European Research Training Network "European Differential Geometry Endeavour". Lists members. |
| Location: | http://math.polytechnique.fr/cmat/gauduchon/edge.html |
| |
|
| | |
| Directory: | Science / Math / Logic_and_Foundations / People |
| Title: | Miller, Dale |
| Description: | INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages. |
| Location: | http://www.lix.polytechnique.fr/Labo/Dale.Miller/ |
| |
|
| | |
| Directory: | Science / Math / Logic_and_Foundations / Proof_Theory |
| Title: | Proof Theory as an Alternative to Model Theory |
| Description: | Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory. |
| Location: | http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ProofTheoryAsAlternative.html |
| |
|
| | |
| Directory: | Science / Math / Number_Theory / People / M |
| Title: | Morain, Francois |
| Description: | École Polytechnique. Computational number theory, cryptography. Papers, ECPP software. |
| Location: | http://www.lix.polytechnique.fr/Labo/Francois.Morain/english-index.html |
| |
|
| | |
