4 citations · 4 across the 7 of their papers we have counts for
Showing 2017 · cs.SCShow all
2 papers · 2 filters
cs.SC2017
CAD Adjacency Computation Using Validated Numerics
Adam Strzebonski
We present an algorithm for computation of cell adjacencies for well-based cylindrical algebraic decomposition. Cell adjacency information can be used to compute topological operat…
cs.SC2017
Algorithm for computing semi-Fourier sequences of expressions involving exponentiations and integrations
Hoon Hong, Adam Strzebonski
We provide an algorithm for computing semi-Fourier sequences for expressions constructed from arithmetic operations, exponentiations and integrations. The semi-Fourier sequence is…