Search Results - Symbolic–numeric algorithm

A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton–Picard Method by Bréhard, Florent

“…A symbolic-numeric validation algorithm is developed to compute rigorous and tight uniform error bounds for polynomial approximate solutions to linear ordinary differential equations…”
Get full text

Symbolic-numeric algorithm for parameter estimation in discrete-time models with exp by Berman, Yosef, Forrest, Joshua, Grote, Matthew, Ovchinnikov, Alexey, Rueda, Sonia L.

“… In this paper, we propose a symbolic-numeric approach for parameter estimation in discrete-time models that involve univariate non-algebraic (locally…”
Get full text

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…”
Get full text

A new method to compute the singularities of offsets to rational plane curves by Alcázar, Juan Gerardo, Caravantes, Jorge, Diaz-Toca, Gema M.

“… We also report on experiments carried out in the computer algebra system Maple, showing the efficiency of the algorithm for moderate degrees…”
Get full text

A regularization approach for estimating the type of a plane curve singularity by Hodorog, Mădălina, Schicho, Josef

“… Our regularization method consists of the following: (i) a symbolic–numeric algorithm that computes the approximate local topological type of each…”
Get full text

Hybrid symbolic-numeric algorithms for computational convex analysis by Lucet, Yves

“… When such tools are not applicable e.g. when there is no closed form, fast transform algorithms perform numerical computation efficiently…”
Get full text

Symbolic-numeric integration of rational functions by Moir, Robert H. C., Corless, Robert M., Maza, Marc Moreno, Xie, Ning

“…We consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions…”
Get full text

Good reduction of Puiseux series and applications by Poteaux, Adrien, Rybowicz, Marc

“…We have designed a new symbolic–numeric strategy for computing efficiently and accurately floating point Puiseux series defined by a bivariate polynomial over an algebraic number field…”
Get full text

Symbolic-Numeric Algorithms for Simplifying Differential Systems and Their Application to the Determination of Approximate lie Symmetry Algebras by Deng, Siyuan

“… Normally, such PDE systems have approximate parameters, and the direct application of well-defined symbolic differential elimination algorithms on such systems is prone to instability…”
Get full text

Symbolic-numeric algorithms for analysis of stochastic systems with different forms of aftereffect by Poloskov, I.E.

“…Problems concerned with an analysis of stochastic differential equations with delays are considered. The main idea of study consists of an extension of the…”
Get full text

On the calculation of the poles of multivariate meromorphic functions using the symbolic-numeric two-point qd-algorithm by Elidrissi, A., Abouir, J., Benouahmane, B.

“… (positive or negative exponents) is presented. We describe also the symbolic-numeric two-point qd-algorithm to compute the poles of multivariate meromorphic functions in a given domain from its series expansion coefficients…”
Get full text

Certified simultaneous isotopic approximation of algebraic curves via subdivision by Burr, Michael, Byrd, Michael

“…We present a certified algorithm based on subdivision for computing an isotopic approximation to any number of algebraic curves in the plane…”
Get full text

Symbolic-numeric algorithm for parameter estimation in discrete-time models with \(\exp\) by Berman, Yosef, rest, Joshua, Grote, Matthew, Ovchinnikov, Alexey, Rueda, Sonia

“… In this paper, we propose a robust symbolic-numeric approach for parameter estimation in discrete-time models that involve non-algebraic functions such as exp…”
Get full text

A robust and efficient method for solving point distance problems by homotopy by Imbach, Rémi, Mathis, Pascal, Schreck, Pascal

“…The goal of Point Distance Solving Problems is to find 2D or 3D placements of points knowing distances between some pairs of points. The common guideline is to…”
Get full text

Approximate Polynomial GCD by Approximate Syzygies by Lichtblau, Daniel

“…One way to compute a GCD of a pair of multivariate polynomials is by finding a certain syzygy. We can weaken this to create an “approximate syzygy”, for the…”
Get full text

A symbolic-numeric silhouette algorithm by Hirukawa, H., Mourrain, B., Papegay, Y.

“… The authors present a symbolic-numeric version of the algorithm. This version does not require the symbolic computation of the determinants of resultant matrices, and can work on floating point arithmetic…”
Get full text

Error Correction for Symbolic and Hybrid Symbolic-Numeric Sparse Interpolation Algorithms by Comer, Matthew T

“… Our algorithm is adapted from the linear recurrence-based algorithm of [Prony III (1795), J. de l’École Polytechnique, 1…”
Get full text

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

“… In this paper we present an effective symbolic–numeric cylindrical algebraic decomposition (SNCAD) algorithm for QE incorporating several new devices, which we call…”
Get full text

A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity by Hodorog, M, Mourrain, B, Schicho, J

“…We report on a symbolic-numeric algorithm for computing the Alexander polynomial of each singularity of a plane complex algebraic curve defined by a polynomial with coefficients of limited accuracy, i.e…”
Get full text

Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models by Gusev, A A, Chuluunbaatar, O, Gerdt, V P, Rostovtsev, V A, Vinitsky, S I, Derbov, V L, Serov, V V

“… The efficiency of the proposed symbolic-numerical algorithms implemented in Maple is shown by examples of spheroidal quantum dot models, for which energy spectra and eigenfunctions versus…”
Get full text