Sort by
Refine Your Search
-
: Analysis, Numerical Analysis, and Scientific Computing (ACSIOM), Didactics and Epistemology of Mathematics (DEMA), Probability and Statistics (EPS), and Geometry, Topology, and Algebra (GTA). - main mission
-
analysis, scientific computing, algebraic topology and non-linear analysis. The activities may include: The development of new polytopal numerical methods The conception of discrete complexes (de Rham and
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 29 days ago
-negation, forcing, ...) has made a lot of progresses in the recent years. Further connections with algebra and geometry (category theory, homotopy theory, topos theory, sheaf theory, ...) have also emerged
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | 6 days ago
, 2 (1), pp.41-62. ⟨inria-00628904⟩ Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi. Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi. FSCD 2020 - 5th International Conference on Formal
-
) understanding of the mathematical foundations and principles of Machine Learning, Linear Algebra (vectorial and matricial operations, optimization), with a particular focus on Neural Networks, 3) problem solving
-
candidate will work with the PI of the project (André Belotto da Silva) and with the Singularity Theory group at the IMJ-PRG. Research activities in the fields of Singularity Theory, Algebraic Geometry, and
-
) forms, Iwasawa theory, algebraic cycles, Shimura varieties, p-adic Hodge theory.. Website for additional job details https://emploi.cnrs.fr/Offres/CDD/UAR822-SOPRIB-008/Default.aspx Work Location(s