๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems

โœ Scribed by Bican Xia; Lu Yang


Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
298 KB
Volume
34
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

โœฆ Synopsis


We propose an algorithm for isolating the real solutions of semi-algebraic systems, which has been implemented as a Maple-program realzero. The performance of realzero in solving some examples from various applications is presented and the timings are reported.


๐Ÿ“œ SIMILAR VOLUMES


An Adaptive Waveletโ€“Vaguelette Algorithm
โœ Jochen Frรถhlich; Kai Schneider ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 494 KB

PDEs. A recent attempt has been made by Jawerth and Sweldens [29] to which the reader is referred for more The paper first describes a fast algorithm for the discrete orthonormal wavelet transform and its inverse without using the scaling comparative information. The currently existing algofunction

An algorithm for the solution of a third
โœ G. S. Schajer; C. D. Mote Jr. ๐Ÿ“‚ Article ๐Ÿ“… 1980 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 302 KB

## Abstract A simple, rapidly convergent procedure is described for solving a thirdโ€order symmetric eigenvalue problem Au = ฮป Bu typically arising in vibration analysis. The eigenvalue problem is represented in terms of its variational dual, the Rayleigh quotient, and the eigenosolution is obtained

Asymptotic Expansions and a New Numerica
โœ Hiroaki Mukaidani; Tetsu Shimomura; Koichi Mizukami ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 187 KB

In this paper we study a continuous-time multiparameter algebraic Riccati equation (MARE) with an indefinite sign quadratic term. The existence of a unique and bounded solution of the MARE is newly established. We show that the Kleinman algorithm can be used to solve the sign indefinite MARE. The pr