Development of SyNRAC

Authors:
Hitoshi Yanami;Hirokazu Anai
Affiliations:
Information Technology Core Laboratories, Fujitsu Laboratories Ltd., Nakahara-ku, Kawasaki, Japan;Information Technology Core Laboratories, Fujitsu Laboratories Ltd., Nakahara-ku, Kawasaki, Japan
Venue:
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Year:
2006

Citing 8
Cited 0

The complexity of linear problems in fields

Journal of Symbolic Computation
Quantifier elimination for formulas constrained by quadratic equations

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Algebraic numbers: an example of dynamic evaluation

Journal of Symbolic Computation
Applying quantifier elimination to the Birkhoff interpolation problem

Journal of Symbolic Computation
Dynamic evaluation and real closure

Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
An efficient method for analyzing the topology of plane real algebraic curves

Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
Improved projection for cylindrical algebraic decomposition

Journal of Symbolic Computation
SyNRAC: a Maple-package for solving real algebraic constraints

ICCS'03 Proceedings of the 1st international conference on Computational science: PartI

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present newly implemented functions in SyNRAC, which is a Maple package for solving real algebraic constraints derived from various engineering problems. The current version of SyNRAC has added quantifier elimination (QE) by cylindrical algebraic decomposition (CAD), a general QE procedure. We also show a visualization tool for representing the possble region of an output quantifier-free formula for the two-dimensional case.