Results 21 to 30 of about 2,059 (204)
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
Российский технологический журнал, 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
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
Symbolic computation of variational symmetries in optimal control [PDF]
, 2006 We use a computer algebra system to compute, in an efficient way, optimal control variational symmetries up to a gauge term. The symmetries are then used to obtain families of Noether's first integrals, possibly in the presence of nonconservative ...
André Gomes-dos-Santos +17 more
core +2 more sources
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
04061 Summary – Real Computation and Complexity [PDF]
, 2006 The seminar "Real Computation and Complexity" was intended as a meeting place of several tendencies in the complexity analysis of algorithms in real computation.
Lickteig, Thomas +2 more
core +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
Communicating quantum processes [PDF]
, 2005 We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation.
Simon J. Gay +5 more
core +1 more source
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
Nonperturbative Analytical Diagonalization of Hamiltonians with Application to Circuit QED
PRX Quantum, 2022 Deriving effective Hamiltonian models plays an essential role in quantum theory, with particular emphasis in recent years on control and engineering problems.
Boxi Li, Tommaso Calarco, Felix Motzoi
doaj +1 more source