Suchergebnisse - "Symbolic–numeric computation"

Exact symbolic–numeric computation of planar algebraic curves von 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 …”
Volltext

SNC: A Cloud Service Platform for Symbolic-Numeric Computation Using Just-In-Time Compilation von 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 …”
Volltext

Symbolic–numeric computation of orthogonal polynomials and Gaussian quadratures with respect to the cardinal B-spline von 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 …”
Volltext

Q-S (lag or anticipated) synchronization backstepping scheme in a class of continuous-time hyperchaotic systems--a symbolic-numeric computation approach von 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, …”
Weitere Angaben

What we can learn from Bohemian Matrices?: An adventure in symbolic-numeric computation von 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 …”
Volltext

Symbolic-Numeric Computation of the Eigenvalues and Eigenfunctions of the Leaky Modes in a Regular Homogeneous Open Waveguide von 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 …”
Volltext

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods von 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 …”
Volltext

Algebraic Curve Interpolation for Intervals via Symbolic-Numeric Computation von 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 …”
Volltext

Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation von 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, …”
Volltext

Q-S (complete or anticipated) synchronization backstepping scheme in a class of discrete-time chaotic (hyperchaotic) systems: a symbolic-numeric computation approach von 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 …”
Weitere Angaben

An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination von 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 …”
Volltext

Certified Hermite matrices from approximate roots von 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 …”
Volltext

New homotopy analysis transform method for solving multidimensional fractional diffusion equations von 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 …”
Volltext

An approach to first principles electronic structure calculation by symbolic-numeric computation von 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 …”
Volltext

Transient dynamic analysis of cracked structures with multiple contact pairs using generalized HSNC von 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 …”
Volltext

Subdivision methods for solving polynomial equations von 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 …”
Volltext

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

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

Symbolic-Numeric Computation of Posterior Mean and Variance for a Class of Discrete-Time Nonlinear Stochastic Systems von 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 …”
Volltext

The Bézout matrix for Hermite interpolants von 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, …”
Volltext

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

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