Search Results - Hybrid symbolic-numeric algorithms

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

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

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

GENERATING EXACT NONLINEAR RANKING FUNCTIONS BY SYMBOLIC-NUMERIC HYBRID METHOD by Shen, Liyong, Wu, Min, Yang, Zhengfeng, Zeng, Zhenbing

“…This paper presents a hybrid symbolic-numeric algorithm to compute ranking functions for establishing the termination of loop programs with polynomial guards and polynomial assignments…”
Get full text

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

“… The new algorithm is referred to as the…”
Get full text

What Shape Is Your Conjugate? A Survey of Computational Convex Analysis and Its Applications by Lucet, Yves

“… Current models use symbolic, numeric, and hybrid symbolic-numeric algorithms. Our objective is to disseminate widely the most efficient numerical algorithms useful for applications in image processing…”
Get full text

Computation of polynomial and rational approximations in complex domains by the τ-method by Georgieva, Irina, Hofreither, Clemens

“… We realize it via a novel hybrid symbolic-numeric algorithm which can be…”
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

What Shape Is Your Conjugate? A Survey of Computational Convex Analysis and Its Applications by Lucet, Yves

“… Current models use symbolic, numeric, and hybrid symbolic-numeric algorithms. Our objective is to disseminate widely the most efficient numerical algorithms useful for applications in image processing…”
Get full text

Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients by Kaltofen, Erich L., Li, Bin, Yang, Zhengfeng, Zhi, Lihong

“…We present a hybrid symbolic-numeric algorithm for certifying a polynomial or rational function with rational coefficients to be non-negative for all real values of the variables by computing…”
Get full text

The ERES method for computing the approximate GCD of several polynomials by Christou, D., Karcanias, N., Mitrouli, M.

“… on: (i) the use of the basic principles of the ERES methodology for calculating the GCD of a set of several polynomials and defining approximate solutions by developing the hybrid implementation of this methodology…”
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

Symbolic, numeric and quantum computation of Hartree-Fock equation by Kikuchi, Ichio, Kikuchi, Akihito

“…In this article, we discuss how a kind of hybrid computation, which employs symbolic, numeric, classic, and quantum algorithms, allows us to conduct Hartree-Fock electronic structure computation of molecules…”
Get full text

What is Hybrid Symbolic-Numeric Computation? by Kaltofen, E.

“…Hybrid symbolic-numeric computation constitutes the Fifth of my "Seven Dwarfs" of Symbolic Computation [1…”
Get full text

Automated Roundoff Error Analysis of Probabilistic Floating-Point Computations by Constantinides, George, Dahlqvist, Fredrik, Rakamarić, Zvonimir, Salvia, Rocco

“… with their generating distribution. Based on these results, we propose a model of IEEE floating-point arithmetic for numerical expressions with probabilistic inputs and an algorithm for evaluating this model…”
Get full text

Fast differential elimination in C: The CDiffElim environment by Wittkopf, Allan D., Reid, Gregory J.

“…We introduce the CDiffElim environment, written in C, and an algorithm developed in this environment for simplifying systems of overdetermined partial differential equations by using differentiation and elimination…”
Get full text

Hybrid Symbolic-Numeric Computing in Linear and Polynomial Algebra by Sevyeri, Leili Rafiee

“…In this thesis, we introduce hybrid symbolic-numeric methods for solving problems in linear and polynomial algebra…”
Get full text

A Hybrid Symbolic/Numeric Solution To Polynomial SEM by Oldenburg, Reinhard

“… The reason may be that this method requires some symbolic calculations done at runtime. This paper describes the class of appropriate models and outlines the algorithm that calculates the covariance matrix and higher moments…”
Get full text

Formal Proofs for Nonlinear Optimization by Magron, Victor, Allamigeon, Xavier, Gaubert, Stéphane, Werner, Benjamin

“… the nonlinear maxplus template approximation algorithm to provide a certified lower bound of f over K…”
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