105 citations
- Laboratoire de Mathématiques Jean LerayFR6 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Laboratoire de Physique Subatomique et des Technologies AssociéesFR2 papers
- Center for Mathematical ModelingCL1 paper
- Centre de Mathématiques Appliquées de l'École polytechniqueFR1 paper
- Centre de Recherche en Mathématiques de la DécisionFR1 paper
- Computer Algorithms for MedicineAT1 paper
- Delhi Integrated Multi-Modal Transit SystemIN1 paper
- École Centrale de NantesFR1 paper
- École PolytechniqueFR1 paper
- Georgia Institute of TechnologyUS1 paper
- GREYCFR1 paper
Showing 2002Show all
2 papers · 1 filter
cs.SE2002★ 2 cited
COINS: a constraint-based interactive solving system
Samir Ouis, Narendra Jussien, Patrice Boizumault
This paper describes the COINS (COnstraint-based INteractive Solving) system: a conflict-based constraint solver. It helps understanding inconsistencies, simulates constraint addit…
math.DG2002★ 1 cited
Sur la L2-cohomologie des varietes a courbure negative
Nader Yeganefar
We give a topological interpretation of the space of L2-harmonic forms on finite-volume manifolds with sufficiently pinched negative curvature. We give examples showing that this i…