Zobrazeno 1 - 10
of 752
pro vyhledávání: '"P. Magaud"'
Autor:
Magaud, Nicolas
Publikováno v:
EPTCS 398, 2024, pp. 4-10
Proof assistants like Coq are increasingly popular to help mathematicians carry out proofs of the results they conjecture. However, formal proofs remain highly technical and are especially difficult to reuse. In this paper, we present a framework to
Externí odkaz:
http://arxiv.org/abs/2401.11897
There are several ways to formally represent families of data, such as lambda terms, in a type theory such as the dependent type theory of Coq. Mathematical representations are very compact ones and usually rely on the use of dependent types, but the
Externí odkaz:
http://arxiv.org/abs/2212.10453
Autor:
Magaud, Nicolas
Publikováno v:
EPTCS 352, 2021, pp. 107-115
We study how to formalize in the Coq proof assistant the smallest projective space PG(3,2). We then describe formally the spreads and packings of PG(3,2), as well as some of their properties. The formalization is rather straightforward, however as th
Externí odkaz:
http://arxiv.org/abs/2201.00541
Publikováno v:
EPTCS 352, 2021, pp. 77-90
Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing has been done in higher dimensions. In this paper, we present a few exa
Externí odkaz:
http://arxiv.org/abs/2201.00539
Autor:
Magaud, Nicolas
Publikováno v:
EPTCS 336, 2021, pp. 40-47
Recently, we developed an automated theorem prover for projective incidence geometry. This prover, based on a combinatorial approach using matroids, proceeds by saturation using the matroid rules. It is designed as an independent tool, implemented in
Externí odkaz:
http://arxiv.org/abs/2107.05493
Autor:
Mazaleyrat, Estelle, Vlaic, Sergio, Artaud, Alexandre, Magaud, Laurence, Vincent, Thomas, Gómez-Herrero, Ana Cristina, Lisi, Simone, Singh, Priyank, Bendiab, Nedjma, Guisset, Valérie, David, Philippe, Pons, Stéphane, Roditchev, Dimitri, Chapelier, Claude, Coraux, Johann
Graphene holds promises for exploring exotic superconductivity with Dirac-like fermions. Making graphene a superconductor at large scales is however a long-lasting challenge. A possible solution relies on epitaxially-grown graphene, using a supercond
Externí odkaz:
http://arxiv.org/abs/2009.13176
Autor:
Sant, Roberto, Lisi, Simone, Nguyen, Van Dung, Mazaleyrat, Estelle, Herrero, Ana Cristina Gómez, Geaymond, Olivier, Guisset, Valérie, David, Philippe, Marty, Alain, Jamet, Matthieu, Chapelier, Claude, Magaud, Laurence, Dappe, Yannick J., Bianchi, Marco, Hofmann, Philip, Renaud, Gilles, Coraux, Johann
Publikováno v:
The Journal of Physical Chemistry C, 2020
Intercalation of alkali atoms within the lamellar transition metal dichalcogenides is a possible route toward a new generation of batteries. It is also a way to induce structural phase transitions authorizing the realization of optical and electrical
Externí odkaz:
http://arxiv.org/abs/2006.05765
Autor:
Förster, Georg Daniel, Artaud, Alexandre, Mazaleyrat, Estelle, Förster, Georg, Tonnoir, Charlène, Gilles, Bruno, David, Philippe, Guisset, Valérie, Magaud, Laurence, Calvo, Florent, Chapelier, Claude, Coraux, Johann
Publikováno v:
2D Materials, IOP Publishing, 2020, 7 (2), pp.025016
A broad variety of defects has been observed in two-dimensional materials. Many of these defects can be created by top-down methods such as electron irradiation or chemical etching, while a few of them are created along bottom-up processes, in partic
Externí odkaz:
http://arxiv.org/abs/2002.04478
Autor:
Cabanas, Hélène, Harnois, Thomas, Magaud, Christophe, Cousin, Laëtitia, Constantin, Bruno, Bourmeyster, Nicolas, Déliot, Nadine
Publikováno v:
Oncotarget, Impact journals, 2018
Background: Chronic myeloid leukemia (CML) results from hematopoietic stem cell transformation by the bcr-abl chimeric oncogene, encoding a 210 kDa protein with constitutive tyrosine kinase activity. In spite of the efficiency of tyrosine kinase inhi
Externí odkaz:
http://arxiv.org/abs/1912.07927
Autor:
Tohme, Tohme, Gao, Yanfeng, Magaud, Pascale, Baldas, Lucien, Lafforgue, Christine, Colin, Stéphane
Publikováno v:
FPS 2018: European Conference on Fluid-Particle Separation, Oct 2018, Lyon, France
Up to date, inertial migration of particles in microflows has demonstrated a great potential for a wide range of applications. In particular, this phenomenon is used to achieve particle separation or sorting in a suspension. Recent works reported tha
Externí odkaz:
http://arxiv.org/abs/1907.11516