Suchergebnisse - Symbolic–numeric algorithm

  1. 1

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

    ISSN: 1661-8270, 1661-8289, 1661-8289
    Veröffentlicht: Cham Springer International Publishing 01.09.2021
    Veröffentlicht in Mathematics in computer science (01.09.2021)
    “… A symbolic-numeric validation algorithm is developed to compute rigorous and tight uniform error bounds for polynomial approximate solutions to linear ordinary differential equations …”
    Volltext
    Journal Article
  2. 2

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

    ISSN: 0747-7171
    Veröffentlicht: Elsevier Ltd 01.05.2025
    Veröffentlicht in Journal of symbolic computation (01.05.2025)
    “… In this paper, we propose a symbolic-numeric approach for parameter estimation in discrete-time models that involve univariate non-algebraic (locally …”
    Volltext
    Journal Article
  3. 3

    Exact symbolicnumeric computation of planar algebraic curves von Berberich, Eric, Emeliyanenko, Pavel, Kobel, Alexander, Sagraloff, Michael

    ISSN: 0304-3975, 1879-2294
    Veröffentlicht: Elsevier B.V 17.06.2013
    Veröffentlicht in Theoretical computer science (17.06.2013)
    “… We present a certified and complete algorithm to compute arrangements of real planar algebraic curves …”
    Volltext
    Journal Article
  4. 4

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

    ISSN: 0377-0427, 1879-1778
    Veröffentlicht: Elsevier B.V 15.12.2015
    Veröffentlicht in Journal of computational and applied mathematics (15.12.2015)
    “… We also report on experiments carried out in the computer algebra system Maple, showing the efficiency of the algorithm for moderate degrees …”
    Volltext
    Journal Article
  5. 5

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

    ISSN: 0304-3975, 1879-2294
    Veröffentlicht: Elsevier B.V 01.04.2013
    Veröffentlicht in Theoretical computer science (01.04.2013)
    “… Our regularization method consists of the following: (i) a symbolicnumeric algorithm that computes the approximate local topological type of each …”
    Volltext
    Journal Article
  6. 6

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

    ISSN: 1617-7061, 1617-7061
    Veröffentlicht: Berlin WILEY-VCH Verlag 01.12.2007
    Veröffentlicht in Proceedings in applied mathematics and mechanics (01.12.2007)
    “… When such tools are not applicable e.g. when there is no closed form, fast transform algorithms perform numerical computation efficiently …”
    Volltext
    Journal Article
  7. 7

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

    ISSN: 1017-1398, 1572-9265
    Veröffentlicht: New York Springer US 01.04.2020
    Veröffentlicht in Numerical algorithms (01.04.2020)
    “… We consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions …”
    Volltext
    Journal Article
  8. 8

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

    ISSN: 0747-7171, 1095-855X
    Veröffentlicht: Elsevier Ltd 2012
    Veröffentlicht in Journal of symbolic computation (2012)
    “… We have designed a new symbolicnumeric strategy for computing efficiently and accurately floating point Puiseux series defined by a bivariate polynomial over an algebraic number field …”
    Volltext
    Journal Article
  9. 9

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

    ISBN: 9798290629179
    Veröffentlicht: ProQuest Dissertations & Theses 01.01.2025
    “… 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 …”
    Volltext
    Dissertation
  10. 10

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

    ISSN: 1617-7061, 1617-7061
    Veröffentlicht: Berlin WILEY-VCH Verlag 01.12.2007
    Veröffentlicht in Proceedings in applied mathematics and mechanics (01.12.2007)
    “… Problems concerned with an analysis of stochastic differential equations with delays are considered. The main idea of study consists of an extension of the …”
    Volltext
    Journal Article
  11. 11

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

    ISSN: 1017-1398, 1572-9265
    Veröffentlicht: New York Springer US 01.08.2020
    Veröffentlicht in Numerical algorithms (01.08.2020)
    “… (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 …”
    Volltext
    Journal Article
  12. 12

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

    ISSN: 0747-7171
    Veröffentlicht: Elsevier Ltd 01.11.2025
    Veröffentlicht in Journal of symbolic computation (01.11.2025)
    “… We present a certified algorithm based on subdivision for computing an isotopic approximation to any number of algebraic curves in the plane …”
    Volltext
    Journal Article
  13. 13

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

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 29.01.2024
    Veröffentlicht in arXiv.org (29.01.2024)
    “… 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 …”
    Volltext
    Paper
  14. 14

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

    ISSN: 0025-5610, 1436-4646
    Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.05.2017
    Veröffentlicht in Mathematical programming (01.05.2017)
    “… 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 …”
    Volltext
    Journal Article
  15. 15

    Approximate Polynomial GCD by Approximate Syzygies von Lichtblau, Daniel

    ISSN: 1661-8270, 1661-8289
    Veröffentlicht: Cham Springer International Publishing 01.12.2019
    Veröffentlicht in Mathematics in computer science (01.12.2019)
    “… 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 …”
    Volltext
    Journal Article
  16. 16

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

    ISBN: 9780780363489, 0780363485
    Veröffentlicht: IEEE 2000
    “… 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 …”
    Volltext
    Tagungsbericht
  17. 17

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

    ISBN: 1303546876, 9781303546877
    Veröffentlicht: ProQuest Dissertations & Theses 01.01.2013
    “… Our algorithm is adapted from the linear recurrence-based algorithm of [Prony III (1795), J. de l’École Polytechnique, 1 …”
    Volltext
    Dissertation
  18. 18

    An effective implementation of symbolicnumeric cylindrical algebraic decomposition for quantifier elimination von Iwane, Hidenao, Yanami, Hitoshi, Anai, Hirokazu, Yokoyama, Kazuhiro

    ISSN: 0304-3975, 1879-2294
    Veröffentlicht: Elsevier B.V 01.04.2013
    Veröffentlicht in Theoretical computer science (01.04.2013)
    “… In this paper we present an effective symbolicnumeric cylindrical algebraic decomposition (SNCAD) algorithm for QE incorporating several new devices, which we call …”
    Volltext
    Journal Article
  19. 19

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

    ISBN: 1424498163, 9781424498161
    Veröffentlicht: IEEE 01.09.2010
    “… 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 …”
    Volltext
    Tagungsbericht
  20. 20

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

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 23.04.2010
    Veröffentlicht in arXiv.org (23.04.2010)
    “… 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 …”
    Volltext
    Paper