Výsledky vyhledávání - Hybrid symbolic-numeric algorithms

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

“… When such tools are not applicable e.g. when there is no closed form, fast transform algorithms perform numerical computation efficiently…”
Získat plný text

Approximate Polynomial GCD by Approximate Syzygies Autor 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…”
Získat plný text

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

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

GENERATING EXACT NONLINEAR RANKING FUNCTIONS BY SYMBOLIC-NUMERIC HYBRID METHOD Autor 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…”
Získat plný text

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

“… The new algorithm is referred to as the…”
Získat plný text

What Shape Is Your Conjugate? A Survey of Computational Convex Analysis and Its Applications Autor 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…”
Získat plný text

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

“… We realize it via a novel hybrid symbolic-numeric algorithm which can be…”
Získat plný text

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

“…We present a certified and complete algorithm to compute arrangements of real planar algebraic curves…”
Získat plný text

What Shape Is Your Conjugate? A Survey of Computational Convex Analysis and Its Applications Autor 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…”
Získat plný text

Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients Autor 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…”
Získat plný text

The ERES method for computing the approximate GCD of several polynomials Autor 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…”
Získat plný text

Symbolic-numeric integration of rational functions Autor 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…”
Získat plný text

Symbolic, numeric and quantum computation of Hartree-Fock equation Autor 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…”
Získat plný text

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

“…Hybrid symbolic-numeric computation constitutes the Fifth of my "Seven Dwarfs" of Symbolic Computation [1…”
Získat plný text

Automated Roundoff Error Analysis of Probabilistic Floating-Point Computations Autor 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…”
Získat plný text

Fast differential elimination in C: The CDiffElim environment Autor 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…”
Získat plný text

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

“…In this thesis, we introduce hybrid symbolic-numeric methods for solving problems in linear and polynomial algebra…”
Získat plný text

A Hybrid Symbolic/Numeric Solution To Polynomial SEM Autor 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…”
Získat plný text

Formal Proofs for Nonlinear Optimization Autor 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…”
Získat plný text

A robust and efficient method for solving point distance problems by homotopy Autor 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…”
Získat plný text