Fr

Results: 387169



#Item
211Geometry / Algebraic geometry / Algebra / Complex manifolds / Riemannian geometry / Fano variety / Gino Fano / Olivier Debarre / Hermitian manifold / Manifold / Khler manifold

On the geometry of certain Fano threefolds Olivier DEBARRE Institut de Recherche Math´ ematique Avanc´ ee (IRMA)

Add to Reading List

Source URL: www.math.ens.fr

Language: English - Date: 2007-05-07 12:44:04
212

workers-brochure-2016-fr.pdf

Add to Reading List

Source URL: www.daoust.be

- Date: 2015-12-18 04:28:35
    213Algebra / Monoidal categories / Category theory / Mathematics / Homology / Symmetric monoidal category / Monoid

    What is stable homology? The results A general method

    Add to Reading List

    Source URL: irma.math.unistra.fr

    Language: English - Date: 2014-09-15 04:38:28
    214120-cell / Reachability / FO / Tiny Encryption Algorithm / Mathematics / Discrete mathematics / Mathematical logic

    Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡

    Add to Reading List

    Source URL: cubicle.lri.fr

    Language: English - Date: 2013-07-31 06:27:46
    215Mathematical analysis / Mathematics / Geometry / Differential geometry / Foliation / Submersion / Holonomy / Diffeomorphism / Lie groupoid / Lie algebroid / Tangent vector / Prestack

    Longitudinal smoothness of the holonomy groupoid

    Add to Reading List

    Source URL: math.univ-bpclermont.fr

    Language: English - Date: 2018-03-05 11:11:23
    216Zbl / Askold Khovanskii / Fiz / Mathematics

    Bourbaki seminar. VolumeExposés 1059–1073. With an author index fromtoSéminaire Bourbaki. VolumeExposés 1059–1073. Avec  table par noms d’auteurs de à 2012/1

    Add to Reading List

    Source URL: jgrivaux.perso.math.cnrs.fr

    Language: English - Date: 2018-03-18 09:09:22
    217

    Fr i day ,Nov ember9 Busdepar

    Add to Reading List

    Source URL: gotechnica.org

    Language: English - Date: 2018-10-24 21:42:12
      218Software engineering / Software testing / Computing / Theoretical computer science / Formal methods / Systems engineering / Logic in computer science / Formal verification / Mutation testing / Code coverage / KeY / Specification

      Verification Coverage for Combining Test and Proof Viet Hoang Le1 , Lo¨ıc Correnson2 , Julien Signoles2 , and Virginie Wiels3 1 2

      Add to Reading List

      Source URL: julien.signoles.free.fr

      Language: English - Date: 2018-06-20 05:46:32
      219

      PDF Document

      Add to Reading List

      Source URL: recherche.math.univ-bpclermont.fr

      Language: French - Date: 2018-07-05 05:23:32
        220Abstract algebra / Algebra / Mathematics / Algebraic geometry / Homological algebra / Differential geometry / Cohomology theories / Projective variety / Hilbert scheme / Perverse sheaf / Manifold / tale cohomology

        Grivaux, Julien Topological properties of Hilbert schemes of almost-complex fourfolds. I. (English) Zbl  Manuscr. Math. 136, No. 1-2, Given a smooth irreducible complex projective surface X,

        Add to Reading List

        Source URL: jgrivaux.perso.math.cnrs.fr

        Language: English - Date: 2018-03-18 08:56:16
        UPDATE