Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 20 Treffer
- packed classes 7 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 6 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 6 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 5 Treffer
-
45 weitere Werte:
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 5 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 5 Treffer
- [math.math-fa]mathematics [math]/functional analysis [math.fa] 4 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 4 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 4 Treffer
- acm: g.: mathematics of computing/g.1: numerical analysis/g.1.6: optimization 4 Treffer
- cholesky decomposition 4 Treffer
- dependent type theory 4 Treffer
- dependent types 4 Treffer
- finite element method 4 Treffer
- floating-point 4 Treffer
- formal proof 4 Treffer
- formalization of mathematics 4 Treffer
- functional analysis 4 Treffer
- multivariate polynomials 4 Treffer
- subtyping 4 Treffer
- coq formal proof 3 Treffer
- data refinement 3 Treffer
- elpi 3 Treffer
- lambda calculus 3 Treffer
- metaprogramming 3 Treffer
- metric space 3 Treffer
- monads 3 Treffer
- real numbers 3 Treffer
- reflexive tactic 3 Treffer
- space 3 Treffer
- λprolog 3 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 2 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 2 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 2 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 2 Treffer
- 3d geometry 2 Treffer
- algebra 2 Treffer
- automation 2 Treffer
- higher inductive types 2 Treffer
- proof assistant 2 Treffer
- quantifier elimination 2 Treffer
- reflection 2 Treffer
- robot manipulator 2 Treffer
- sdp solvers 2 Treffer
- type checker 2 Treffer
- type isomorphism 2 Treffer
- type theory 2 Treffer
- union types 2 Treffer
- views 2 Treffer
Verlag
Sprache
38 Treffer
-
In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020Online KonferenzZugriff:
-
In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://hal.inria.fr/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020Online KonferenzZugriff:
-
In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://hal.inria.fr/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020Online KonferenzZugriff:
-
In: Type Theory Based Tools ; https://hal.science/hal-01671994 ; Type Theory Based Tools, Jan 2017, Paris, France, 2017Online KonferenzZugriff:
-
In: Type Theory Based Tools ; https://hal.science/hal-01671994 ; Type Theory Based Tools, Jan 2017, Paris, France, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://hal.inria.fr/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: Automated Reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020Online KonferenzZugriff:
-
In: Automated Reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020Online KonferenzZugriff:
-
In: IJCAR 2020 - International Joint Conference on Automated Reasoning ; https://inria.hal.science/hal-02463336 ; IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19, 2020Online KonferenzZugriff:
-
In: IJCAR 2020 - International Joint Conference on Automated Reasoning ; https://inria.hal.science/hal-02463336 ; IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19, 2020Online KonferenzZugriff:
-
In: IJCAR 2020 - International Joint Conference on Automated Reasoning ; https://inria.hal.science/hal-02463336 ; IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19, 2020Online KonferenzZugriff:
-
In: IJCAR 2020 - International Joint Conference on Automated Reasoning ; https://hal.inria.fr/hal-02463336 ; IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19, 2020Online KonferenzZugriff:
-
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computationsIn: CPP 2017 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017) ; https://hal.science/hal-01510979 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.90 - 99, ⟨10.1145/3018610.3018622⟩, 2017Online KonferenzZugriff:
-
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computationsIn: CPP 2017 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017) ; https://hal.science/hal-01510979 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.90 - 99, ⟨10.1145/3018610.3018622⟩, 2017Online KonferenzZugriff:
-
In: Conference on Certified Programs and Proofs 2017 ; https://inria.hal.science/hal-01414753 ; Conference on Certified Programs and Proofs 2017, Jan 2017, Paris, France, 2017Online KonferenzZugriff:
-
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computationsIn: CPP 2017 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017) ; https://hal.science/hal-01510979 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.90 - 99, ⟨10.1145/3018610.3018622⟩, 2017Online KonferenzZugriff:
-
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computationsIn: CPP 2017 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017) ; https://hal.archives-ouvertes.fr/hal-01510979 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.90 - 99, ⟨10.1145/3018610.3018622⟩, 2017Online KonferenzZugriff: