Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 6 Treffer
- [info.info-dc]computer science [cs]/distributed 6 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 6 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 6 Treffer
- [info.info-es]computer science [cs]/embedded systems 6 Treffer
-
20 weitere Werte:
- [info.info-iu]computer science [cs]/ubiquitous computing 6 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 6 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 6 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 6 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 6 Treffer
- and cluster computing [cs.dc] 6 Treffer
- parallel 6 Treffer
- acm: d.: software/d.1: programming techniques/d.1.3: concurrent programming 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.3: coding tools and techniques 5 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 5 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- acm: g.: mathematics of computing/g.1: numerical analysis/g.1.6: optimization 4 Treffer
- cholesky decomposition 4 Treffer
- floating-point 4 Treffer
- multivariate polynomials 4 Treffer
- coq formal proof 3 Treffer
- data refinement 3 Treffer
- reflexive tactic 3 Treffer
- sdp solvers 2 Treffer
- witness verification 2 Treffer
Sprache
10 Treffer
-
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:
-
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:
-
In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016KonferenzZugriff:
-
In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016KonferenzZugriff:
-
In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016KonferenzZugriff:
-
In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016KonferenzZugriff:
-
In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016KonferenzZugriff:
-
In: Distributed Computing (DISC) ; https://hal.sorbonne-universite.fr/hal-01349061 ; Distributed Computing (DISC), Sep 2016, Paris, France ; http://www.disc-conference.org/wp/disc2016/, 2016KonferenzZugriff: