Normal forms for a class of formulas

DOI10.1016/S0747-7171(08)80123-XzbMath0767.68070OpenAlexW2032038725MaRDI QIDQ1186734

J. C. F. Wilmont, H. M. M. ten Eikelder

Publication date: 28 June 1992

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(08)80123-x

zbMATH Keywords

normal formsnormalization algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Computer-algebra methods for investigation of hereditary operators of higher order soliton equations
• Symmetries of the massive Thirring model
• Algebraic simplification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Normal forms for a class of formulas