Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction.
Hirokazu AnaiKazuhiro YokoyamaPublished in: Algorithmic Algebra and Logic (2005)
Keyphrases
- iterative reconstruction
- discrete tomography
- high resolution
- symbolic representation
- efficient computation
- high level
- sensitivity analysis
- symbolic data
- linear algebra
- reconstruction process
- decomposition methods
- reconstruction method
- digital holography
- tomographic reconstruction
- shape recovery
- genetic algorithm
- video sequences
- three dimensional
- image processing