Search results
Jump to navigation
Jump to search
- ** Julien Narboux * Julien Narboux2 KB (203 words) - 08:32, 28 July 2009
- * Around the formal proof thematic, Nicolas Magaud and Julien Narboux participates to the team-project [https://team.inria.fr/camus/ CAMUS], in c1 KB (170 words) - 11:40, 25 January 2021
- * Nicolas Magaud and Julien Narboux were heading the '''Master ILC''' since 2012. Jean-Michel Dischler was the * Julien Narboux heads the 2nd year of the '''Bachelor in Computer Science''' (BSc) since 207 KB (959 words) - 14:23, 3 March 2022
- * Julien Narboux participates in the '''GDR DEMIPS'''. * '''EJCP2019''': Nicolas Magaud and Julien Narboux organize the 2019 edition of the french summer school on programming (ECJP:13 KB (1,745 words) - 14:43, 3 October 2023
- ...the result of a Coq development started in 2006 with the thesis of Julien Narboux. It proposes the Coq formalisation of Tarski's geometry as described in the * [https://github.com/janicicpredrag/Larus LARUS] software developped by NARBOUX Julien and JANICIC Predrag, University of Belgrade, is an automatic theorem5 KB (801 words) - 19:21, 23 March 2022
- * The IGG team ([https://dpt-info.u-strasbg.fr/~narboux/ Julien Narboux]) is participating in the ANR [http://appam.icube.unistra.fr APPAM] about t * The IGG team (J.-F. Dufourd, N. Magaud, J. Narboux, P. Schreck) participates to the '''ANR Blanche GALAPAGOS''' headed by Yves6 KB (905 words) - 14:52, 1 September 2023
- ...s] (HDR) (up to 31/08/2017), [http://dpt-info.u-strasbg.fr/~narboux Julien Narboux] Taking over a work of J. Narboux and then G. Braun, P. Boutry devoted a large part of his thesis to the form7 KB (1,119 words) - 15:22, 7 April 2022
- '''Participants''' : Nicolas Magaud AP, Julien Narboux AP, Pascal Schreck PR1 ...ethod that offers proofs that are both short and readable. In 2004, Julien Narboux formalized a version of this method for affine geometry. In 2009, the forma12 KB (1,931 words) - 10:36, 5 August 2009
- ...tion in computational geometry (INRIA-Sophia, team of Yves Bertot). Julien Narboux formalized the axiomatic of Tarski's geometry, the methods of Gao and Chou' ...hlinger), or the work from LIX on the geometry of Tarski (thesis of Julien Narboux). The goal is to offer elaboration and program certification tools for geom18 KB (2,759 words) - 15:40, 4 August 2009
- ** The IGG team ('''[http://dpt-info.u-strasbg.fr/~narboux Julien Narboux]''') participates to the internal project of the ICube lab '''RobGA''' (For7 KB (946 words) - 17:19, 19 December 2023
- ...fr/~mathis/ Pascal Mathis], [http://dpt-info.u-strasbg.fr/~narboux/ Julien Narboux] Concerning automatic proofs, Julien Narboux made the first formalisation in Coq of an automatic demonstration in geomet19 KB (2,787 words) - 15:47, 3 November 2011
- ...Braun AP associated in 2009, Caroline Essert AP, Pascal Mathis AP, Julien Narboux AP10 KB (1,489 words) - 15:38, 18 August 2009
- ...mathis Pascal Mathis] (HDR), [http://dpt-info.u-strasbg.fr/~narboux Julien Narboux]8 KB (1,092 words) - 18:41, 6 April 2022
- ...mathis Pascal Mathis] (HDR), [http://dpt-info.u-strasbg.fr/~narboux Julien Narboux]8 KB (1,100 words) - 15:06, 6 January 2022
- * '''[http://dpt-info.u-strasbg.fr/~narboux Julien Narboux]''', UFR Math&CS from 9/2007 till 8/2024.15 KB (1,944 words) - 17:42, 22 April 2024