Results 251 to 260 of about 1,922,795 (290)
Some of the next articles are maybe not open access.
Rational solutions of linear difference and q-difference equations with polynomial coefficients
Proceedings of the 1995 international symposium on Symbolic and algebraic computation - ISSAC '95, 1995zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation, 2012
In this paper we discuss how to generate inequality invariants for continuous dynamical systems involved in hybrid systems. A hybrid symbolic-numeric algorithm is presented to compute inequality invariants of the given systems, by transforming this problem into a parameterized polynomial optimization problem.
Min Wu 0003, Zhengfeng Yang
openaire +2 more sources
In this paper we discuss how to generate inequality invariants for continuous dynamical systems involved in hybrid systems. A hybrid symbolic-numeric algorithm is presented to compute inequality invariants of the given systems, by transforming this problem into a parameterized polynomial optimization problem.
Min Wu 0003, Zhengfeng Yang
openaire +2 more sources
Logic Synthesis from Polynomials with Coefficients in the Field of Rationals
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL), 2023Bhavani Sampathkumar +4 more
openaire +2 more sources
Journal of Symbolic Computation
The authors propose a ``direct'' algorithm for calculating rational solutions to scalar integro-differential equations with polynomial coefficients. In particular, an algorithm for calculating polynomial solutions previously developed by the authors in [``On polynomial solutions of linear integro-differential equations'', IFAC PapersOnLine 55, No.
Moulay A. Barkatou, Thomas Cluzeau
openaire +2 more sources
The authors propose a ``direct'' algorithm for calculating rational solutions to scalar integro-differential equations with polynomial coefficients. In particular, an algorithm for calculating polynomial solutions previously developed by the authors in [``On polynomial solutions of linear integro-differential equations'', IFAC PapersOnLine 55, No.
Moulay A. Barkatou, Thomas Cluzeau
openaire +2 more sources
Proceedings of the 2007 international workshop on Symbolic-numeric computation, 2007
In recent years semideffinite programming (SDP) has become the standard technique for computing sum of squares (SOS) decompositions of nonnegative polynomials. Due to the nature of the underlying methods, the solutions are computed numerically, and thus are never exact. In this paper we present a software package for Macaulay 2, which aims at computing
Helfried Peyrl, Pablo A. Parrilo
openaire +2 more sources
In recent years semideffinite programming (SDP) has become the standard technique for computing sum of squares (SOS) decompositions of nonnegative polynomials. Due to the nature of the underlying methods, the solutions are computed numerically, and thus are never exact. In this paper we present a software package for Macaulay 2, which aims at computing
Helfried Peyrl, Pablo A. Parrilo
openaire +2 more sources
Indicial rational functions of linear ordinary differential equations with polynomial coefficients
Journal of Mathematical Sciences, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abramov, S. A., Ryabenko, A. A.
openaire +1 more source
Nested Regression Based Optimal Selection (NRBOS) of Rational Polynomial Coefficients
Photogrammetric Engineering & Remote Sensing, 2014Although the rational function model (RFM) is widely applied in photogrammetry, the application of terrain-dependent RFM is limited because of the requirement for numerous ground control points (GCPs) and the strong correlation between the coefficients.
Long Tengfei, Jiao Weili, He Guojin
openaire +1 more source
Rational solutions of linear differential and difference equations with polynomial coefficients
USSR Computational Mathematics and Mathematical Physics, 1989Linear differential and difference equations whose coefficients and right-hand sides are polynomials are considered. The problem of constructing all rational solutions of an equation is solved.
openaire +1 more source
Estimation of rational polynomial coefficients based on singular value decomposition
Journal of Applied Remote Sensing, 2018The rational function model (RFM) has been widely used in space-borne photogrammetry owing to its simplicity and generality. One of the key issues for using the RFM is to robustly estimate the rational polynomial coefficients (RPCs). However, owing to over-parameterization of the RFM, estimating the RPCs is an ill-posed problem.
openaire +1 more source
Proceedings of the Steklov Institute of Mathematics, 2011
The paper under review deals with multiple orthogonal polynomials, which are denominators of a sequence of Hermite-Padé approximants for a system of four functions. This paper is closely related with [\textit{D. V. Khristoforov}, Proc. Steklov Inst. Math. 272, S142--S151; translation from Sovrem. Probl. Mat. 9, 11--26 (2007; Zbl 1308.41014)].
openaire +1 more source
The paper under review deals with multiple orthogonal polynomials, which are denominators of a sequence of Hermite-Padé approximants for a system of four functions. This paper is closely related with [\textit{D. V. Khristoforov}, Proc. Steklov Inst. Math. 272, S142--S151; translation from Sovrem. Probl. Mat. 9, 11--26 (2007; Zbl 1308.41014)].
openaire +1 more source