Deriving some expansion theorems for nonlinear functional equations by an algorithm

DOI10.1016/0167-6423(87)90023-2zbMath0642.68019OpenAlexW1967562359MaRDI QIDQ1101202

Ren-Ling Huang, Yong-Qiang Sun

Publication date: 1987

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(87)90023-2

zbMATH Keywords

transformationsfunctional programmingnonlinear functional equationsexpansion theoremsquasi-bilinear forms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: Deriving some expansion theorems for nonlinear functional equations by an algorithm