Výsledky vyhľadávania - "Symbolic-numeric computation"

An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination Autor Iwane, Hidenao, Yanami, Hitoshi, Anai, Hirokazu, Yokoyama, Kazuhiro

“…With many applications in engineering and scientific fields, quantifier elimination (QE) has received increasing attention. Cylindrical algebraic decomposition…”
Získať plný text

Certified Hermite matrices from approximate roots Autor Ayyildiz Akoglu, Tulay, Szanto, Agnes

“…Let I=〈f1,…,fm〉⊂Q[x1,…,xn] be a zero dimensional radical ideal defined by polynomials given with exact rational coefficients. Assume that we are given…”
Získať plný text

New homotopy analysis transform method for solving multidimensional fractional diffusion equations Autor Maitama, Shehu, Zhao, Weidong

“…In this paper, we introduce a new semi-analytical method called the homotopy analysis Shehu transform method (HASTM) for solving multidimensional fractional…”
Získať plný text

Transient dynamic analysis of cracked structures with multiple contact pairs using generalized HSNC Autor Tien, Meng-Hsuan, D’Souza, Kiran

“…The development of efficient computational methods for cracked structures is critical in the fields of civil, mechanical, and aerospace engineering since the…”
Získať plný text

Subdivision methods for solving polynomial equations Autor Mourrain, B., Pavone, J.P.

“…This paper presents a new algorithm for solving a system of polynomials, in a domain of R n . It can be seen as an improvement of the Interval Projected…”
Získať plný text

Application of Dixon resultant to satellite trajectory control by pole placement Autor Paláncz, B.

“…Control system design process based on pole placement frequently requires to solve underdetermined multivariate polynomial systems. Since only the real…”
Získať plný text

The Bézout matrix for Hermite interpolants Autor Aruliah, D.A., Corless, R.M., Diaz-Toca, G.M., Gonzalez-Vega, L., Shakoori, A.

“…The aim of this paper is to introduce the construction of the Bézout matrix of two univariate polynomials given by values in the Hermite interpolation basis,…”
Získať plný text

Computing Approximate Greatest Common Right Divisors of Differential Polynomials Autor Giesbrecht, Mark, Haraldson, Joseph, Kaltofen, Erich

“…Differential (Ore) type polynomials with “approximate” polynomial coefficients are introduced. These provide an effective notion of approximate differential…”
Získať plný text

SNC: A Cloud Service Platform for Symbolic-Numeric Computation Using Just-In-Time Compilation Autor Zhang, Peng, Liu, Yueming, Qiu, Meikang

“…Cloud services have been widely employed in IT industry and scientific research. By using Cloud services users can move computing tasks and data away from…”
Získať plný text

Q-S synchronization in 3D Hénon-like map and generalized Hénon map via a scalar controller Autor Yan, Zhenya

“…In this Letter, a generalized, systematic and automatic backstepping scheme is developed to investigate the Q-S synchronization of two identical 3D…”
Získať plný text

Stable normal forms for polynomial system solving Autor Mourrain, Bernard, Trébuchet, Philippe

“…The paper describes and analyzes a method for computing border bases of a zero-dimensional ideal I . The criterion used in the computation involves specific…”
Získať plný text

Exact and efficient evaluation of the InCircle predicate for parametric ellipses and smooth convex objects Autor Emiris, Ioannis Z., Tzoumas, George M.

“…We study the Voronoi diagram, under the Euclidean metric, of a set of ellipses, given in parametric representation. The article concentrates on the InCircle…”
Získať plný text

Numeric-Symbolic Solution for Satellite Trajectory Control by Pole Placement Autor Palancz, Beta

“…Control design of satellites based on pole placement method results in determined or underdetermined multivariable polynomial systems. Since only the real…”
Získať plný text

On Design and Implementation of a Generic Number Type for Real Algebraic Number Computations Based on Expression Dags Autor Mörig, Marc, Rössling, Ivo, Schirra, Stefan

“…We report on the design and implementation of a number type called Real_algebraic. This number type allows us to compute the sign of arithmetic expressions…”
Získať plný text

A Hybrid Polynomial System Solving Method for Mixed Trigonometric Polynomial Systems Autor Yu, Bo, Dong, Bo

“…Mixed trigonometric polynomial systems arise in many fields of science and engineering. Commonly, this class of systems is transformed into polynomial systems…”
Získať plný text

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design Autor Iwane, Hidenao, Yanami, Hitoshi, Anai, Hirokazu

“…Some important classes of optimization problems originating from the optimal design of semiconductor memories such as SRAM, aiming at boosting the yield rate,…”
Získať plný text

Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination: A MATLAB toolbox for parametric control system design Autor Hyodo, Noriko, Hong, Myunghoon, Yanami, Hitoshi, Hara, Shinji, Anai, Hirokazu

Získať plný text

Approximate Radical for Clusters: A Global Approach Using Gaussian Elimination or SVD Autor Janovitz-Freireich, Itnuit, Rónyai, Lajos, Szántó, Ágnes

Získať plný text

Numerical factorization of multivariate complex polynomials Autor Sommese, Andrew J., Verschelde, Jan, Wampler, Charles W.

“…One can consider the problem of factoring multivariate complex polynomials as a special case of the decomposition of a pure dimensional solution set of a…”
Získať plný text

Generalized synchronization of disk dynamo model using backstepping control Autor Yin Li, Siqing Deng, Wei Yan

“…Firstly, based on symbolic computation system Maple, Lyapunov stability theory and a backstepping design with one controller, a new systematic, automatic and…”
Získať plný text