Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 39 Treffer
- formal proof 36 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 23 Treffer
- [math.math-fa]mathematics [math]/functional analysis [math.fa] 20 Treffer
- measure theory 20 Treffer
-
45 weitere Werte:
- lebesgue integration 16 Treffer
- theorie de la mesure 16 Treffer
- assistant de preuve 13 Treffer
- graphe 13 Treffer
- integrale de lebesgue 13 Treffer
- methodes formelles 13 Treffer
- [info.info-dc]computer science [cs]/distributed 12 Treffer
- and cluster computing [cs.dc] 12 Treffer
- parallel 12 Treffer
- espace euclidien 11 Treffer
- essaims de robots mobiles 11 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- compilation 7 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 6 Treffer
- theoreme de tonelli 6 Treffer
- tonelli theorem 6 Treffer
- [info]computer science [cs] 5 Treffer
- analyse fonctionnelle 5 Treffer
- asychronous 5 Treffer
- methode des elements finis 5 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- reecriture 4 Treffer
- rewriting 4 Treffer
- theorie des types 4 Treffer
- type theory 4 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 3 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 3 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 3 Treffer
- [math.math-at]mathematics [math]/algebraic topology [math.at] 3 Treffer
- analyse statique 3 Treffer
- automation 3 Treffer
- automatisation 3 Treffer
- calcul 3 Treffer
- categorie 3 Treffer
- category 3 Treffer
- computation 3 Treffer
- constructive mathematics 3 Treffer
- control theory 3 Treffer
- formalization of mathematics 3 Treffer
- homologie 3 Treffer
- homology 3 Treffer
- inverted pendulum 3 Treffer
- polyhedra 3 Treffer
- quantifier elimination 3 Treffer
Publikation
- algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02871295 ; algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications, sep 2020, lyon, france 5 Treffer
- https://inria.hal.science/hal-03564379 ; [research report] rr-9457, institut national de recherche en informatique et en automatique (inria). 2023, pp.17 3 Treffer
Sprache
Geographischer Bezug
59 Treffer
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-03516749 ; [Research Report] RR-9456, Inria Saclay - Île de France; Inria de Paris. 2022, 2022Online reportZugriff:
-
In: https://hal.inria.fr/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2022, pp.16, 2022Online reportZugriff:
-
In: https://inria.hal.science/hal-03194113 ; [Research Report] RR-9401, Inria, France. 2021, pp.38, 2021Online reportZugriff:
-
In: 16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.science/hal-01581807 ; 16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France ; http://afadl2017.imag.fr/, 2017Online KonferenzZugriff:
-
In: https://theses.hal.science/tel-02333396 ; Logic in Computer Science [cs.LO]. Université Côte d'Azur, 2019. English. ⟨NNT : 2019AZUR4058⟩, 2019Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01286086 ; Computational Geometry [cs.CG]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM045⟩, 2015Online HochschulschriftZugriff:
-
In: https://pastel.hal.science/pastel-00780446 ; Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩, 2012Online HochschulschriftZugriff:
-
In: https://pastel.hal.science/pastel-00605836 ; Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩, 2011Online HochschulschriftZugriff:
-
2011Online unknownZugriff:
-
2006Online unknownZugriff:
-
In: https://inria.hal.science/hal-03824148 ; 2022, 2022Online reportZugriff:
-
In: ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-02871295 ; ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France, 2020Online KonferenzZugriff: