Matches in SemOpenAlex for { <https://semopenalex.org/work/W3091862287> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3091862287 abstract "Advisors: David Monniaux, Michael Perin Convex polyhedra appear in various areas in mathematics and computer science, including static analysis by abstract interpretation. The usual approaches for computing over convex polyhedra, as implemented in mainstream libraries, are based on computations in extended precision integer or rational numbers. This hampers efficiency; we would often prefer to compute everything in floating-point. The goal of the internship is to investigate computations (...)" @default.
- W3091862287 created "2020-10-15" @default.
- W3091862287 creator A5024554880 @default.
- W3091862287 creator A5060810982 @default.
- W3091862287 date "2021-03-15" @default.
- W3091862287 modified "2023-09-23" @default.
- W3091862287 title "Convex polyhedra in floating point" @default.
- W3091862287 hasPublicationYear "2021" @default.
- W3091862287 type Work @default.
- W3091862287 sameAs 3091862287 @default.
- W3091862287 citedByCount "0" @default.
- W3091862287 crossrefType "journal-article" @default.
- W3091862287 hasAuthorship W3091862287A5024554880 @default.
- W3091862287 hasAuthorship W3091862287A5060810982 @default.
- W3091862287 hasConcept C110943637 @default.
- W3091862287 hasConcept C112680207 @default.
- W3091862287 hasConcept C11413529 @default.
- W3091862287 hasConcept C114614502 @default.
- W3091862287 hasConcept C123558587 @default.
- W3091862287 hasConcept C126255220 @default.
- W3091862287 hasConcept C147700949 @default.
- W3091862287 hasConcept C157972887 @default.
- W3091862287 hasConcept C199360897 @default.
- W3091862287 hasConcept C2524010 @default.
- W3091862287 hasConcept C28719098 @default.
- W3091862287 hasConcept C33923547 @default.
- W3091862287 hasConcept C41008148 @default.
- W3091862287 hasConcept C45374587 @default.
- W3091862287 hasConcept C49870271 @default.
- W3091862287 hasConcept C527412718 @default.
- W3091862287 hasConcept C54829058 @default.
- W3091862287 hasConcept C56086750 @default.
- W3091862287 hasConcept C97137487 @default.
- W3091862287 hasConceptScore W3091862287C110943637 @default.
- W3091862287 hasConceptScore W3091862287C112680207 @default.
- W3091862287 hasConceptScore W3091862287C11413529 @default.
- W3091862287 hasConceptScore W3091862287C114614502 @default.
- W3091862287 hasConceptScore W3091862287C123558587 @default.
- W3091862287 hasConceptScore W3091862287C126255220 @default.
- W3091862287 hasConceptScore W3091862287C147700949 @default.
- W3091862287 hasConceptScore W3091862287C157972887 @default.
- W3091862287 hasConceptScore W3091862287C199360897 @default.
- W3091862287 hasConceptScore W3091862287C2524010 @default.
- W3091862287 hasConceptScore W3091862287C28719098 @default.
- W3091862287 hasConceptScore W3091862287C33923547 @default.
- W3091862287 hasConceptScore W3091862287C41008148 @default.
- W3091862287 hasConceptScore W3091862287C45374587 @default.
- W3091862287 hasConceptScore W3091862287C49870271 @default.
- W3091862287 hasConceptScore W3091862287C527412718 @default.
- W3091862287 hasConceptScore W3091862287C54829058 @default.
- W3091862287 hasConceptScore W3091862287C56086750 @default.
- W3091862287 hasConceptScore W3091862287C97137487 @default.
- W3091862287 hasLocation W30918622871 @default.
- W3091862287 hasOpenAccess W3091862287 @default.
- W3091862287 hasPrimaryLocation W30918622871 @default.
- W3091862287 hasRelatedWork W126657920 @default.
- W3091862287 hasRelatedWork W1532010043 @default.
- W3091862287 hasRelatedWork W1605999766 @default.
- W3091862287 hasRelatedWork W1676191813 @default.
- W3091862287 hasRelatedWork W2004572455 @default.
- W3091862287 hasRelatedWork W2119651720 @default.
- W3091862287 hasRelatedWork W2165517980 @default.
- W3091862287 hasRelatedWork W2171508144 @default.
- W3091862287 hasRelatedWork W2175796176 @default.
- W3091862287 hasRelatedWork W22931953 @default.
- W3091862287 hasRelatedWork W2307340323 @default.
- W3091862287 hasRelatedWork W2399692028 @default.
- W3091862287 hasRelatedWork W2744495688 @default.
- W3091862287 hasRelatedWork W3042623940 @default.
- W3091862287 hasRelatedWork W3199794724 @default.
- W3091862287 hasRelatedWork W395829677 @default.
- W3091862287 hasRelatedWork W1607229372 @default.
- W3091862287 hasRelatedWork W2144564022 @default.
- W3091862287 hasRelatedWork W2739633266 @default.
- W3091862287 hasRelatedWork W3091857200 @default.
- W3091862287 isParatext "false" @default.
- W3091862287 isRetracted "false" @default.
- W3091862287 magId "3091862287" @default.
- W3091862287 workType "article" @default.