Skip to Main content Skip to Navigation


...
hal-03348046v1  Reports
Thomas MariThao DangGregor Gössler. Explaining Safety Violations in Real-Time Systems
[Research Report] RR-9420, Inria - Research Centre Grenoble – Rhône-Alpes; Verimag, Université Grenoble Alpes. 2021
...
hal-03341862v1  Reports
Vincent FournetAurelie CalabreseSéverine DoursFrédéric MatontiEric Castet et al.  How to Estimate Fovea Position When The Fovea Cannot Be Identified Visually Anymore?
[Research Report] RR-9419, Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur. 2021, pp.1-45
...
hal-03337014v1  Reports
Paul-Louis GeorgeFrédéric AlauzetAdrien Loseille. Le glossaire du maillage
[Rapport de recherche] RR-9421, INRIA. 2021
...
hal-03340548v1  Reports
Ruslan SadykovFrançois Vanderbeck. BaPCod - a generic branch-and-price code
[Technical Report] Inria Bordeaux Sud-Ouest. 2021
...
hal-03337115v1  Reports
Pierre BouvierHubert Garavel. The VLSAT-2 Benchmark Suite
[Technical Report] RT-0514, INRIA Grenoble Rhône-Alpes. 2021, pp.1-8
...
hal-03268844v2  Reports
Sylvain ChevillardMartine Olivi. Bilan carbone d'une équipe de recherche à l'Inria
[Rapport Technique] Inria Sophia Antipolis - Méditerranée. 2021
...
hal-03326775v1  Reports
Jean-Christophe Filliâtre. Compte-rendu de fin de projet ANR-15-CE25-0008 "VOCaL
[Rapport de recherche] LMF - Laboratoire Méthodes Formelles. 2021
...
inria-00543933v2  Reports
Denis Roegel. A reconstruction of the tables of Pitiscus' Thesaurus Mathematicus (1613)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
hal-00654458v2  Reports
Denis Roegel. A reconstruction of Viète's Canon Mathematicus (1579)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
inria-00543932v2  Reports
Denis Roegel. A reconstruction of the tables of Rheticus' Opus Palatinum (1596)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
inria-00543931v2  Reports
Denis Roegel. A reconstruction of the tables of Rheticus' Canon doctrinæ triangulorum (1551)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
hal-03330603v1  Reports
Denis Roegel. A reconstruction of Lansberge's trigonometric tables (1591)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
hal-03330599v1  Reports
Denis Roegel. A reconstruction of Fincke's trigonometric tables (1583)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
hal-03330597v1  Reports
Denis Roegel. A reconstruction of Maurolico's tables of sines, tangents and secants (1558)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
hal-03330596v1  Reports
Denis Roegel. A reconstruction of Reinhold's trigonometric tables (1554)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
hal-03330592v1  Reports
Denis Roegel. A reconstruction of Rheticus's table of sines (1542)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
hal-03330591v1  Reports
Denis Roegel. A reconstruction of Regiomontanus's great tables of sines (1541)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
hal-03330583v1  Reports
Denis Roegel. A reconstruction of Fine's table of sines (1530)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
hal-03330581v1  Reports
Denis Roegel. A reconstruction of Peuerbach's table for his ``Quadratum geometricum'' (1516)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021
...
hal-03330575v1  Reports
Denis Roegel. A reconstruction of Regiomontanus's table of tangents (1490)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2021