Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965400239> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2965400239 endingPage "29" @default.
- W2965400239 startingPage "1" @default.
- W2965400239 abstract "Algorithms for solid modeling, i.e., Computer-Aided Design (CAD) and computer graphics, are often specified on real numbers and then implemented with finite-precision arithmetic, such as floating-point. The result is that these implementations do not soundly compute the results that are expected from their specifications. We present a new library, StoneWorks, that provides sound and robust solid modeling primitives. We implement StoneWorks in MarshallB, a pure functional programming language for exact real arithmetic in which types denote topological spaces and functions denote continuous maps, ensuring that all programs are sound and robust. We developed MarshallB as an extension of the Marshall language. We also define a new shape representation, compact representation ( K-rep ), that enables constructions such as Minkowski sum and analyses such as Hausdorff distance that are not possible with traditional representations. K-rep is a nondeterminism monad for describing all the points in a shape. With our library, language, and representation together, we show that short StoneWorks programs can specify and execute sound and robust solid modeling algorithms and tasks." @default.
- W2965400239 created "2019-08-13" @default.
- W2965400239 creator A5014265862 @default.
- W2965400239 creator A5015042386 @default.
- W2965400239 creator A5091194125 @default.
- W2965400239 date "2019-07-26" @default.
- W2965400239 modified "2023-09-24" @default.
- W2965400239 title "Sound and robust solid modeling via exact real arithmetic and continuity" @default.
- W2965400239 cites W2000306582 @default.
- W2965400239 cites W2000621909 @default.
- W2965400239 cites W2018364992 @default.
- W2965400239 cites W2030844359 @default.
- W2965400239 cites W2043552663 @default.
- W2965400239 cites W2050209250 @default.
- W2965400239 cites W2071184322 @default.
- W2965400239 cites W2078425594 @default.
- W2965400239 cites W2080666584 @default.
- W2965400239 cites W2107560387 @default.
- W2965400239 cites W2120694921 @default.
- W2965400239 cites W2128612513 @default.
- W2965400239 cites W2752311799 @default.
- W2965400239 cites W2886686348 @default.
- W2965400239 cites W2964225009 @default.
- W2965400239 cites W4249516290 @default.
- W2965400239 cites W2039430744 @default.
- W2965400239 cites W2116087936 @default.
- W2965400239 doi "https://doi.org/10.1145/3341703" @default.
- W2965400239 hasPublicationYear "2019" @default.
- W2965400239 type Work @default.
- W2965400239 sameAs 2965400239 @default.
- W2965400239 citedByCount "4" @default.
- W2965400239 countsByYear W29654002392019 @default.
- W2965400239 countsByYear W29654002392020 @default.
- W2965400239 countsByYear W29654002392021 @default.
- W2965400239 crossrefType "journal-article" @default.
- W2965400239 hasAuthorship W2965400239A5014265862 @default.
- W2965400239 hasAuthorship W2965400239A5015042386 @default.
- W2965400239 hasAuthorship W2965400239A5091194125 @default.
- W2965400239 hasBestOaLocation W29654002391 @default.
- W2965400239 hasConcept C11413529 @default.
- W2965400239 hasConcept C118615104 @default.
- W2965400239 hasConcept C156772000 @default.
- W2965400239 hasConcept C17744445 @default.
- W2965400239 hasConcept C199360897 @default.
- W2965400239 hasConcept C199539241 @default.
- W2965400239 hasConcept C2776359362 @default.
- W2965400239 hasConcept C33923547 @default.
- W2965400239 hasConcept C33959348 @default.
- W2965400239 hasConcept C41008148 @default.
- W2965400239 hasConcept C80444323 @default.
- W2965400239 hasConcept C83581934 @default.
- W2965400239 hasConcept C94020503 @default.
- W2965400239 hasConcept C94375191 @default.
- W2965400239 hasConcept C94625758 @default.
- W2965400239 hasConceptScore W2965400239C11413529 @default.
- W2965400239 hasConceptScore W2965400239C118615104 @default.
- W2965400239 hasConceptScore W2965400239C156772000 @default.
- W2965400239 hasConceptScore W2965400239C17744445 @default.
- W2965400239 hasConceptScore W2965400239C199360897 @default.
- W2965400239 hasConceptScore W2965400239C199539241 @default.
- W2965400239 hasConceptScore W2965400239C2776359362 @default.
- W2965400239 hasConceptScore W2965400239C33923547 @default.
- W2965400239 hasConceptScore W2965400239C33959348 @default.
- W2965400239 hasConceptScore W2965400239C41008148 @default.
- W2965400239 hasConceptScore W2965400239C80444323 @default.
- W2965400239 hasConceptScore W2965400239C83581934 @default.
- W2965400239 hasConceptScore W2965400239C94020503 @default.
- W2965400239 hasConceptScore W2965400239C94375191 @default.
- W2965400239 hasConceptScore W2965400239C94625758 @default.
- W2965400239 hasFunder F4320338298 @default.
- W2965400239 hasIssue "ICFP" @default.
- W2965400239 hasLocation W29654002391 @default.
- W2965400239 hasOpenAccess W2965400239 @default.
- W2965400239 hasPrimaryLocation W29654002391 @default.
- W2965400239 hasRelatedWork W1538548262 @default.
- W2965400239 hasRelatedWork W1666017954 @default.
- W2965400239 hasRelatedWork W1992679983 @default.
- W2965400239 hasRelatedWork W2023341209 @default.
- W2965400239 hasRelatedWork W2041091076 @default.
- W2965400239 hasRelatedWork W2059545274 @default.
- W2965400239 hasRelatedWork W2621982369 @default.
- W2965400239 hasRelatedWork W2756417681 @default.
- W2965400239 hasRelatedWork W3021992199 @default.
- W2965400239 hasRelatedWork W4312801767 @default.
- W2965400239 hasVolume "3" @default.
- W2965400239 isParatext "false" @default.
- W2965400239 isRetracted "false" @default.
- W2965400239 magId "2965400239" @default.
- W2965400239 workType "article" @default.