Results 51 to 60 of about 2,059 (204)
Solution of polynomial Lyapunov and Sylvester equations [PDF]
, 2006 A two-variable polynomial approach to solve the one-variable polynomial Lyapunov and Sylvester equations is proposed. Lifting the problem from the one-variable to the two-variable context gives rise to associated lifted equations which live on finite ...
Peeters, Ralf, Rapisarda, Paolo
core
Programming and symbolic computation in Maude [PDF]
, 2020 [EN] Rewriting logic is both a flexible semantic framework within which widely different concurrent systems can be naturally specified and a logical framework in which widely different logics can be specified. Maude programs are exactly rewrite theories.
Rubén Rubio +6 more
core +1 more source
Transcendentality of zeros of higher dereivatives of functions involving Bessel functions
International Journal of Mathematics and Mathematical Sciences, 1995 C.L. Siegel established in 1929 [Ges. Abh., v.1, pp. 209-266] the deep results that (i) all zeros of Jv(x) and J′v(x) are transcendental when v is rational, x≠0, and (ii) J′v(x)/Jv(x) is transcendental when v is rational and x algebraic.
Lee Lorch, Martin E. Muldoon
doaj +1 more source
Symbolic Generation of Adomian Polynomials for Different Nonlinearities by Python [PDF]
Journal of Chemical and Petroleum EngineeringThe Adomian decomposition method (ADM) is a powerful mathematical technique to find closed-form solutions to nonlinear functional equations including ODEs, PDEs, differential-difference, integral, integro-differential, algebraic, and transcendental ...
Mohsen Noorimohammad +2 more
doaj +1 more source
Modelling Algebraic Structures in a Symbolic Computation Environment [PDF]
, 2007 Algebraic structures are a concept from mathematics to bring sets and their operations together. This process is well-known in computer science, too, say in the specification of abstract datatypes [4] or in module systems of some programming languages ...
Stephan Missura
core
Symbolic computation in hyperbolic programming [PDF]
, 2018 International audienceHyperbolic programming is the problem of computing the infimum of a linear function when restricted to the hyperbolicity cone of a hyperbolic polynomial, a generalization of semidefinite programming.
Naldi, Simone +3 more
core +1 more source
Symbolic Computation in System Simulation and Design [PDF]
, 1995 This paper examines some of the roles that symbolic computation plays in assisting system-level simulation and design. By symbolic computation, we mean programs like Mathematica that perform symbolic algebra and apply transformation rules based on ...
Asawaree Kalavade +3 more
core
Symbolic computation of the roots of nonlinear algebraic equations using perturbation theory [PDF]
, 2012 9th International Conference on Electronics Computer and Computation (ICECCO 2012) -- NOV 01-03, 2012 -- Ankara, TURKEYTwo algorithms, one for estimating the magnitudes of the roots of a polynomial equation before actually solving it, and one for ...
Ustali, Gurhan +2 more
core
Towards Diagrammatic Specifications of Symbolic Computation Systems [PDF]
, 2006 The aim of this work is to present an ongoing project to formalize, in the framework of diagrammatic logic (due to Dominique Duval and Christian Lair) some data structures appearing in Sergeraert's symbolic computation systems Kenzo and EAT.
Dominguez, César +3 more
core +1 more source
Analog and symbolic computation through the Koopman framework
Journal of Physics: ComplexityWe develop a Koopman operator framework for studying the computational structure of dynamical systems. Specifically, we show that the resolvent of the Koopman operator provides a natural abstraction of halting, yielding a ‘Koopman halting problem’ that ...
Francesco Caravelli +1 more
doaj +1 more source