Search Results - "Symbolic numeric computation"

Exact symbolic–numeric computation of planar algebraic curves by Berberich, Eric, Emeliyanenko, Pavel, Kobel, Alexander, Sagraloff, Michael

“…We present a certified and complete algorithm to compute arrangements of real planar algebraic curves. It computes the decomposition of the plane induced by a…”
Get full text

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

“… In this, we propose a Cloud service platform for symbolic-numeric computation– SNC. SNC allows the Cloud users to describe tasks…”
Get full text

Symbolic–numeric computation of orthogonal polynomials and Gaussian quadratures with respect to the cardinal B-spline by Milovanović, Gradimir V.

“…The first 60 coefficients in the three-term recurrence relation for monic polynomials orthogonal with respect to cardinal B -splines φ m as the weight…”
Get full text

Q-S (lag or anticipated) synchronization backstepping scheme in a class of continuous-time hyperchaotic systems--a symbolic-numeric computation approach by Yan, Zhenya

“…First, a Q-S (lag or anticipated) synchronization of continuous-time dynamical systems is defined. Second, based on a backstepping design with one controller,…”
Get more information

What we can learn from Bohemian Matrices?: An adventure in symbolic-numeric computation by Corless, Rob

“…This Maple Workbook explores a new topic in linear algebra, which is called "Bohemian Matrices". The topic is accessible to people who have had even just one…”
Get full text

Symbolic-Numeric Computation of the Eigenvalues and Eigenfunctions of the Leaky Modes in a Regular Homogeneous Open Waveguide by Divakov, Dmitriy, Tiutiunnik, Anastasiia, Sevastianov, Anton

“…In this paper the algorithm of finding eigenvalues and eigenfunctions for the leaky modes in a three-layer planar dielectric waveguide is considered. The…”
Get full text

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods by LIN, Wang, WU, Min, YANG, Zhengfeng, ZENG, Zhenbing

“…We present a symbolic-numeric hybrid method, based on sum-of-squares (SOS) relaxation and rational vector recovery, to compute inequality invariants and…”
Get full text

Algebraic Curve Interpolation for Intervals via Symbolic-Numeric Computation by Dehbi, Lydia, Yang, Zhengfeng, Chao, Peng, Xu, Yaochen, Zeng, Zhenbing

“…Algebraic curve interpolation is described by specifying the location of N points in the plane and constructing an algebraic curve of a function f that should…”
Get full text

Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation by Deng, Hui, Wu, Jinzhao

“…To achieve behavior and structure optimization for a type of software program whose data exchange processes are represented by nonlinear polynomial systems,…”
Get full text

Q-S (complete or anticipated) synchronization backstepping scheme in a class of discrete-time chaotic (hyperchaotic) systems: a symbolic-numeric computation approach by Yan, Zhenya

“…First, a type of Q-S (complete or anticipated) synchronization is defined in discrete-time dynamical systems. Second, based on backstepping design with a…”
Get more information

An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination by 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…”
Get full text

Certified Hermite matrices from approximate roots by 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…”
Get full text

New homotopy analysis transform method for solving multidimensional fractional diffusion equations by 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…”
Get full text

An approach to first principles electronic structure calculation by symbolic-numeric computation by Kikuchi, Akihito

“…There is a wide variety of electronic structure calculation cooperating with symbolic computation. The main purpose of the latter is to play an auxiliary role…”
Get full text

Transient dynamic analysis of cracked structures with multiple contact pairs using generalized HSNC by 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…”
Get full text

Subdivision methods for solving polynomial equations by 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…”
Get full text

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

“…Control system design process based on pole placement frequently requires to solve underdetermined multivariate polynomial systems. Since only the real…”
Get full text

Symbolic-Numeric Computation of Posterior Mean and Variance for a Class of Discrete-Time Nonlinear Stochastic Systems by Iori, Tomoyuki, Ohtsuka, Toshiyuki

“…This paper proposes a symbolic-numeric Bayesian filtering method for a certain class of discrete-time nonlinear stochastic systems. The prior distribution and…”
Get full text

The Bézout matrix for Hermite interpolants by 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,…”
Get full text

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

“…Differential (Ore) type polynomials with “approximate” polynomial coefficients are introduced. These provide an effective notion of approximate differential…”
Get full text