Numeric deduction in symbolic computation. Application to normalizing transformations
type: Item
instance of: scholarly article
title: Numeric deduction in symbolic computation. Application to normalizing transformations
zbMATH Open document ID: 0878.65063
author: Ivan I. Shevchenko
published in: Journal of Symbolic Computation
publication date: 1997-11-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/1607.02016
review text: Algorithms for numeric (in exact arithmetic) derivation of analytical expressions are developed and implemented in a computer algebra code. This code is built as an extension of a computer algebra package by Shevchenko and Sokolsky for normalization of Hamiltonian systems of ordinary differential equations. As an example, a resonant normal form of a Hamiltonian describing the hyperboloidal precession of a dynamically symmetric satellite is derived by means of the proposed technique.
Mathematics Subject Classification ID: 65L05
Mathematics Subject Classification ID: 70M20
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 1038331
zbMATH Keywords: computer algebra code
zbMATH Keywords: numeric derivation of analytical expressions
zbMATH Keywords: Hamiltonian system
zbMATH Keywords: symmetric satellite
reviewed by: Plamen Yalamov
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3098730779
arXiv ID: 1607.02016
DOI: 10.1006/JSCO.1997.0115
Recommended article: Symbolic computation of normal forms for semi-simple cases
Recommended article: Q4613780
Recommended article: Q3103084
Recommended article: On Normal Form Computations
Recommended article: Symbolic-numerical methods for the computation of normal forms of PDEs
Recommended article: Symbolic computation via program transformation
Recommended article: Q4537188
Recommended article: Normalization and axiomatization for numerical dependencies
Recommended article: Q3975245
Recommended article: Computation of normal forms
description: scientific article