Results 21 to 30 of about 2,824 (289)
New Specific and General Linearization Formulas of Some Classes of Jacobi Polynomials
Mathematics, 2020 The main purpose of the current article is to develop new specific and general linearization formulas of some classes of Jacobi polynomials. The basic idea behind the derivation of these formulas is based on reducing the linearization coefficients which ...
Waleed Mohamed Abd-Elhameed, Afnan Ali
doaj +1 more source
Evolutionary dynamics on a regular networked structured and unstructured multi‐population
International Journal of Robust and Nonlinear Control, EarlyView., 2023 Abstract In this paper, we study collective decision‐making in a multi‐population framework, where groups of individuals represent whole populations that interact by means of a regular network. Each group consists of a number of players and every player can choose between two options.
Wouter Baar +2 more
wiley +1 more source
Российский технологический журнал, 2022 Objectives. The paper deals with the equivalence of program schemes. According to A.A. Lyapunov and Yu.I. Yanov, the founders of this theory, a program scheme is understood as a program model wherein abstraction from contensive values of operators and ...
Y. P. Korablin
doaj +1 more source
Symbolic iteration method based on computer algebra analysis for Kepler’s equation
Scientific Reports, 2022 The Kepler’s equation of elliptic orbits is one of the most significant fundamental physical equations in Satellite Geodesy. This paper demonstrates symbolic iteration method based on computer algebra analysis (SICAA) to solve the Kepler’s equation.
Ruichen Zhang, Shaofeng Bian, Houpu Li
doaj +1 more source
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
Journal of Applied Mathematics, 2014 We introduce an approach exploiting the power of polynomial ring algebra to perform SystemVerilog assertion verification over digital circuit systems. This method is based on Groebner bases theory and sequential properties checking.
Ning Zhou +4 more
doaj +1 more source
New exact solutions for the two-dimensional Broadwell system [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2022 In this paper, we consider the discrete kinetic Broadwell system. This system is a nonlinear hyperbolic system of partial differential equations. The two-dimensional Broadwell system is the kinetic Boltzmann equation, and for this model momentum and ...
Dukhnovsky, Sergey A.
doaj +1 more source
Automatic Deduction in Dynamic Geometry using Sage [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present a symbolic tool that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction. The main prototype has been developed as two different worksheets for the open source computer algebra system Sage,
Francisco Botana, Miguel A. Abánades
doaj +1 more source
Interfacing Coq + SSReflect with GAP [PDF]
, 2012 Presentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable ...
Komendantsky, Vladimir +3 more
core +1 more source
A two-variable approach to solve the polynomial Lyapunov equation
, 2001 A two-variable polynomial approach to solve the one-variable polynomial Lyapunov equation is proposed. Lifting the problem from the one-variable to the two-variable context allows to use Faddeev-type recursions in order to solve the polynomial Lyapunov ...
Peeters, Ralf, Rapisarda, Paolo
core +2 more sources
Solving System of Equations over Algebras using Gröbner Bases and Integro-Differential Structures
Mathematics OpenThis work presents a symbolic algorithm for solving systems of equations, coupling Gröbner bases with integro-differential algebras to solve algebraic and differential systems.
Srinivasarao Thota +2 more
doaj +1 more source