Eidgenössisches Departement des Innern EDI Bundesamt für Sozialversicherungen BSV Hintergrunddokument FR / IT

Source URL: www.newsd.admin.ch

Grivaux, Julien The Hochschild-Kostant-Rosenberg isomorphism for quantized analytic cycles. (English) Zbl
Int. Math. Res. Not. 2014, No. 4, Summary: In this article, we provide a detailed a

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

• Abstract algebra
• Algebra
• Mathematics
• Algebraic topology
• Guggenheim Fellows
• Sheaf
• Homological algebra
• Vector bundle
• Fiz
• Morphism
• Bertram Kostant
• Algebraic geometry

Vague B : campagne d’évaluation 2015 – 2016 Unité de recherche Liste des publications

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

CONCOURS CASTOR INFORMATIQUE Arriverez-vous à résoudre tous les défis ? Du 11 novembre au 7 décembre 2018 Du CM1 à la Terminaleparticipants attendus !

Source URL: castor-informatique.fr

Shadow State Encoding for Efficient Monitoring of Block-Level Properties Kostyantyn Vorobyov Julien Signoles

Source URL: julien.signoles.free.fr

Journée de Rentrée de l’ IMJ-PRG Lundi 24 Septembre 2018

Source URL: www.imj-prg.fr

Citations From References: 0 From Reviews: 0 Previous Up

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

• Mathematics
• Homological algebra
• Guggenheim Fellows
• Hochschild homology
• Bertram Kostant
• Cohomology
• Homology
• Cyclic homology
• Gerhard Hochschild

LEIBNIZ HOMOLOGY OF LIE ALGEBRAS AS FUNCTOR HOMOLOGY ERIC HOFFBECK AND CHRISTINE VESPA Abstract. We prove that Leibniz homology of Lie algebras can be described as functor homology in the category of linear functors from

Source URL: irma.math.unistra.fr

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Category theory
• Algebras
• Algebraic topology
• Operad theory
• Hochschild homology
• Functor
• Enriched category
• Monoidal category

Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Mathematical logic
• Logic in computer science
• Mathematics
• Constraint programming
• Automated theorem proving
• Satisfiability modulo theories
• Formal verification
• Type theory
• First-order logic
• Vampire

IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, ??? A New Range-Reduction Algorithm N. Brisebarre, D. Defour, P. Kornerup, J.-M Muller and N. Revol

Source URL: perso.ens-lyon.fr

• Mathematics
• Algebra
• Abstract algebra
• Finite fields
• Field theory
• Angle
• Sine
• Factorial
• XTR
• Valuation
• Non-analytic smooth function
• Proof that is irrational