In [1] Avenhaus and Plaisted proposed the notion of stratified terms, in order to represent concisely the sets of consequences of clauses under leaf permutative theories. These theories contain variablepermuting equations, so that the consequences appear as simple “permuted” variants of each other. Deducing directly with stratified terms can reduce exponentially the search space, but we show th...

Over the past eighteen years I have developed an interdisciplinary undergraduate and graduate research program in Applied and Computational Mathematics. The work has an emphasis on combining dynamical systems theory, group theoretical methods, i.e., equivariant bifurcation theory and representation theory, and computational methods to model, analyze, and predict the behavior of Complex Nonlinea...