Results 21 to 30 of about 2,672 (199)
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
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 +3 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
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
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
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
MathematicsThis paper presents a Neural Network-Based Symbolic Computation Algorithm (NNSCA) for solving the (2+1)-dimensional Yu-Toda-Sasa-Fukuyama (YTSF) equation.
Jiang-Long Shen +3 more
doaj +1 more source
Mathematical Modelling and Analysis, 2018 We discuss here the problem of solving the system of two nonlinear algebraic equations determining the relative equilibrium positions in the planar circular restricted four-body problem formulated on the basis of the Euler collinear solution of the three-
Alexander N. Prokopenya
doaj +1 more source
Algebraic Skeleton Transform: A symbolic computation challenge
, 2022 This paper was presented at the International Symposium on Symbolic and Algebraic Computation (ISSAC 2020).We introduce an algebraic formulation for the shape skeleton transform (also known as the medial axis transform) and present a concrete low-degree ...
Storti, Duane
core
Journal of Applied Mathematics, 2013 This paper develops a modified variational iteration method coupled with the Legendre wavelets, which can be used for the efficient numerical solution of nonlinear partial differential equations (PDEs). The approximate solutions of PDEs are calculated in
Fukang Yin +3 more
doaj +1 more source