TY - GEN

T1 - Bifurcation theory and computer algebra

T2 - European Conference on Computer Algebra, EUROCAL 1985

AU - Armbruster, Hans

PY - 1985/1/1

Y1 - 1985/1/1

N2 - Bifurcation theory studies the behavior of multiple solutions of nonlinear (differential) equations when parameters in these equations are varied, and describes how the number and type of these solutions change. It is a domain of applied mathematics which uses concepts from such diverse fields as functional analysis, group representations, ideal theory and many others. For real, e.g. physically motivated problems, the calculations necessary to determine even the simplest bifurcations become excessively complicated. Therefore, a project to build a package “bifurcation and singularity theory” in computer algebra is presented. Specifically, Gröbner bases are used to determine the codimension of a singularity, thereby extending the Buchberger Algorithm to modules. Also, a program in SMP is described, which permits determining whether a given function g is contact equivalent to a polynomial normal form h for one dimensional bifurcation problems up to codimension three.

AB - Bifurcation theory studies the behavior of multiple solutions of nonlinear (differential) equations when parameters in these equations are varied, and describes how the number and type of these solutions change. It is a domain of applied mathematics which uses concepts from such diverse fields as functional analysis, group representations, ideal theory and many others. For real, e.g. physically motivated problems, the calculations necessary to determine even the simplest bifurcations become excessively complicated. Therefore, a project to build a package “bifurcation and singularity theory” in computer algebra is presented. Specifically, Gröbner bases are used to determine the codimension of a singularity, thereby extending the Buchberger Algorithm to modules. Also, a program in SMP is described, which permits determining whether a given function g is contact equivalent to a polynomial normal form h for one dimensional bifurcation problems up to codimension three.

UR - http://www.scopus.com/inward/record.url?scp=85025493253&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85025493253&partnerID=8YFLogxK

U2 - 10.1007/3-540-15984-3_245

DO - 10.1007/3-540-15984-3_245

M3 - Conference contribution

AN - SCOPUS:85025493253

SN - 9783540159841

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 126

EP - 137

BT - EUROCAL 1985 - European Conference on Computer Algebra, Proceedings

PB - Springer Verlag

Y2 - 1 April 1985 through 3 April 1985

ER -