Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 81 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 38 Treffer
- formal proof 27 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 23 Treffer
- [math.math-fa]mathematics [math]/functional analysis [math.fa] 23 Treffer
-
45 weitere Werte:
- [info.info-se]computer science [cs]/software engineering [cs.se] 22 Treffer
- measure theory 22 Treffer
- theorie de la mesure 21 Treffer
- integrale de lebesgue 18 Treffer
- lebesgue integration 18 Treffer
- preuve formelle 17 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 16 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 12 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 11 Treffer
- proof assistants 11 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 10 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 10 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 10 Treffer
- formal proofs 10 Treffer
- interactive theorem proving 10 Treffer
- parametricity 10 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 9 Treffer
- deductive verification 9 Treffer
- formalization 9 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 8 Treffer
- [info.info-es]computer science [cs]/embedded systems 8 Treffer
- coq proof assistant 8 Treffer
- proof assistant 8 Treffer
- security 8 Treffer
- watermarking 8 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 7 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 7 Treffer
- formal methods 7 Treffer
- graph theory 7 Treffer
- probabilistic algorithms 7 Treffer
- program verification 7 Treffer
- [info.info-dc]computer science [cs]/distributed 6 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 6 Treffer
- and cluster computing [cs.dc] 6 Treffer
- certification 6 Treffer
- floating-point arithmetic 6 Treffer
- formal verification 6 Treffer
- gathering 6 Treffer
- impossibility results 6 Treffer
- mobile autonomous robots 6 Treffer
- parallel 6 Treffer
- proof certification 6 Treffer
- ssreflect 6 Treffer
- theoreme de tonelli 6 Treffer
- tonelli theorem 6 Treffer
Publikation
- https://hal.science/hal-04225130 ; inria sophia antipolis - mediterranee, universite cote d'azur; national institute of advanced industrial science and technology (aist), japan; onera / dtis, universite de toulouse, france. 2023, pp.1-12 4 Treffer
- https://inria.hal.science/hal-04550762 ; rr-9547, inria. 2024, pp.13 4 Treffer
- https://hal.science/hal-00834633 ; [research report] 1560, lri - cnrs, university paris-sud. 2013 3 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
258 Treffer
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04511667 ; 2024, 2024Online reportZugriff:
-
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-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-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-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-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://hal.science/hal-04214008 ; 2024, 2024Online reportZugriff:
-
In: https://ut3-toulouseinp.hal.science/hal-03782650 ; 2023, 2023Online reportZugriff:
-
In: https://ut3-toulouseinp.hal.science/hal-03782650 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04225130 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, 2023Online reportZugriff:
-
In: https://hal.science/hal-04225130 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, 2023Online reportZugriff:
-
In: https://hal.science/hal-04225130 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, 2023Online reportZugriff:
-
In: https://hal.science/hal-04225130 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, 2023Online reportZugriff:
-
In: https://ut3-toulouseinp.hal.science/hal-03782650 ; 2023, 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://inria.hal.science/hal-03516749 ; [Research Report] RR-9456, Inria Saclay - Île de France; Inria de Paris. 2022, 2022Online reportZugriff: