258 citations
- Laboratoire Angevin de Recherche en MathématiquesFR198 papers
- Centre National de la Recherche ScientifiqueFR127 papers
- Institut des Sciences et Technologies Moléculaires d'AngersFR31 papers
- Sorbonne UniversitéFR17 papers
- Wrocław University of Science and TechnologyPL17 papers
- Institut de Mathématiques de ToulouseFR13 papers
- Institute for Theoretical and Experimental PhysicsRU12 papers
- Université Paris-SaclayFR12 papers
- Université Toulouse III - Paul SabatierFR12 papers
- Horia Hulubei National Institute for R and D in Physics and Nuclear EngineeringRO10 papers
- Institut d'électronique de microélectronique et de nanotechnologieFR10 papers
- Université Nantes Angers Le MansFR10 papers
4 papers · 1 filter
The cohomology ring of free loop spaces
Luc Menichi
Let X be a simply connected space and k a commutative ring. Goodwillie, Burghelea and Fiedorowiscz proved that the Hochschild cohomology of the singular chains on the pointed loop…
Description of GADEL
I. Stephan, F. Saubion, P. Nicolas
This article describes the first implementation of the GADEL system : a Genetic Algorithm for Default Logic. The goal of GADEL is to compute extensions in Reiter's default logic. I…
On symplectic classification of effective 3-forms and Monge-Ampere equations
B. Banos
We complete the list of normal forms for effective 3-forms with constant coefficients with respect to the natural action of symplectomorphisms in \mathbb{R}^6. We show that the 3-f…
Genetic Algorithms for Extension Search in Default Logic
P. Nicolas, F. Saubion, I. Stephan
A default theory can be characterized by its sets of plausible conclusions, called its extensions. But, due to the theoretical complexity of Default Logic (Sigma_2p-complete), the…