CAD Adjacency Computation Using Validated Numerics

Name: CAD Adjacency Computation Using Validated Numerics
Creator: Strzebonski, Adam
Keywords: Computer Science - Symbolic Computation, G.4, Computational Geometry (cs.CG), FOS: Computer and information sciences, 2. Zero hunger, I.1.2; G.4, Computer Science - Computational Geometry, 68W30, Symbolic Computation (cs.SC), 0101 mathematics

Strzebonski, Adam

Found an issue? Give us feedback

http://arxiv.org/pdf...arrow_drop_down

http://arxiv.org/pdf/1704.0685...

Article

Data sources: UnpayWall

arXiv.org e-Print Archive

Preprint . 2017

Data sources: arXiv.org e-Print Archive

https://doi.org/10.1145/308760...

Article . 2017 . Peer-reviewed

License: https://www.acm.org/publications/policies/copyright_policy#Background

Data sources: Crossref

https://dx.doi.org/10.48550/ar...

Article . 2017

License: arXiv Non-Exclusive Distribution

Data sources: Datacite

https://dx.doi.org/10.1145/308...

Article

Data sources: Microsoft Academic Graph

CAD Adjacency Computation Using Validated Numerics

descriptionPublicationkeyboard_double_arrow_right Article , Preprint 23 Jul 2017Embargo end date: 01 Jan 2017Publisher:ACMJournal:Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation

Authors: Strzebonski, Adam;

doi: 10.1145/3087604.3087641 , 10.48550/arxiv.1704.06856

arXiv: 1704.06856

CAD Adjacency Computation Using Validated Numerics

- Summary
- Subjects
- Metrics

Abstract

We present an algorithm for computation of cell adjacencies for well-based cylindrical algebraic decomposition. Cell adjacency information can be used to compute topological operations e.g. closure, boundary, connected components, and topological properties e.g. homology groups. Other applications include visualization and path planning. Our algorithm determines cell adjacency information using validated numerical methods similar to those used in CAD construction, thus computing CAD with adjacency information in time comparable to that of computing CAD without adjacency information. We report on implementation of the algorithm and present empirical data.

20 pages

Related Organizations

Wolfram Research (United States)
United States

Keywords

Computer Science - Symbolic Computation, G.4, Computational Geometry (cs.CG), FOS: Computer and information sciences, I.1.2; G.4, Computer Science - Computational Geometry, 68W30, Symbolic Computation (cs.SC), I.1.2

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	2
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average