Loading...
Please wait, while we are loading the content...
Similar Documents
A practical implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (2009).
| Content Provider | CiteSeerX |
|---|---|
| Author | Iwane, H. Yanami, H. Anai, H. Yokoyama, K. Iwane, Hidenao Yanami, Hitoshi Anai, Hirokazu Yokoyama, Kazuhiro |
| Abstract | Recently quantifier elimination (QE) has been of great interest in many fields of science and engineering. In this paper an effective symbolic-numeric cylindrical algebraic decomposition (SNCAD) algorithm and its variant specially designed for QE are proposed based on the authors ’ previous work and our implementation of those is reported. Based on analysing experimental performances, we are improving our design/synthesis of the SNCAD for its practical realization with existing efficient computational techniques and several newly introduced ones. The practicality of the SNCAD is now examined by experimentation on real computer, which also reveals the quality of the implementation. 1. |
| File Format | |
| Publisher Date | 2009-01-01 |
| Access Restriction | Open |
| Subject Keyword | Symbolic-numeric Cylindrical Algebraic Decomposition Quantifier Elimination Practical Implementation Effective Symbolic-numeric Cylindrical Algebraic Decomposition Efficient Computational Technique Experimental Performance Great Interest Author Previous Work Practical Realization Real Computer Design Synthesis Many Field |
| Content Type | Text |
| Resource Type | Article |
