@misc{AncoWolf, author = {Anco, Stephen and Wolf, Thomas}, title = {Some classifications of hyperbolic vector evolution equations}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8429}, number = {05-08}, abstract = {Motivated by recent work on integrable flows of curves and 1+1 dimensional sigma models, several \$O(N)\$-invariant classes of hyperbolic equations \$Utx=f(U,Ut,Ux)\$ for an \$N\$-component vector \$U(t,x)\$ are considered. In each class we find all scaling-homogeneous equations admitting a higher symmetry of least possible scaling weight. Sigma model interpretations of these equations are presented.}, language = {en} } @misc{TsarevWolf, author = {Tsarev, Sergey and Wolf, Thomas}, title = {Hyperdeterminants as integrable discrete systems}, issn = {1438-0064}, doi = {10.1088/1751-8113/42/45/454023}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11292}, number = {09-17}, abstract = {We give the basic definitions and some theoretical results about hyperdeterminants, introduced by A.~Cayley in 1845. We prove integrability (understood as \$4d\$-consistency) of a nonlinear difference equation defined by the \$2 \times 2 \times 2\$ - hyperdeterminant. This result gives rise to the following hypothesis: the difference equations defined by hyperdeterminants of any size are integrable. We show that this hypothesis already fails in the case of the \$2\times 2\times 2\times 2\$ - hyperdeterminant.}, language = {en} } @misc{Wolf, author = {Wolf, Thomas}, title = {On solving large systems of polynomial equations appearing in Discrete Differential Geometry}, issn = {1438-0064}, doi = {10.1134/S0361768808020047}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-10646}, number = {08-10}, abstract = {The paper describes a method for solution of very large overdetermined algebraic polynomial systems on an example that appears from a classification of all integrable 3-dimensional scalar discrete quasilinear equations \$Q_3=0\$ on an elementary cubic cell of the lattice \${\mathbb Z}^3\$. The overdetermined polynomial algebraic system that has to be solved is far too large to be formulated. A probing' technique which replaces independent variables by random integers or zero allows to formulate subsets of this system. An automatic alteration of equation formulating steps and equation solving steps leads to an iteration process that solves the computational problem.}, language = {en} } @misc{Wolf, author = {Wolf, Thomas}, title = {The Parametric Solution of Underdetermined linear ODEs}, issn = {1438-0064}, doi = {10.1134/S0361768811020113}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-10693}, number = {08-15}, abstract = {The purpose of this paper is twofold. An immediate practical use of the presented algorithm is its applicability to the parametric solution of underdetermined linear ordinary differential equations (ODEs) with coefficients that are arbitrary analytic functions in the independent variable. A second conceptual aim is to present an algorithm that is in some sense dual to the fundamental Euclids algorithm, and thus an alternative to the special case of a Gr\"{o}bner basis algorithm as it is used for solving linear ODE-systems. In the paper Euclids algorithm and the new dual version' are compared and their complementary strengths are analysed on the task of solving underdetermined ODEs. An implementation of the described algorithm is interactively accessible at http://lie.math.brocku.ca/crack/uode.}, language = {en} } @misc{Wolf, author = {Wolf, Thomas}, title = {Merging solutions of non-linear algebraic systems}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11769}, number = {10-13}, abstract = {In solving large polynomial algebraic systems that are too big for standard Gr{\"o}bner basis techniques one way to make progress is to introduce case distinctions. This divide and conquer technique can be beneficial if the algorithms and computer programs know how to take advantage of inequalities. A further hurdle is the form of the resulting general solutions which often have unnecessarily many branches. In this paper we discuss a procedure to merge solutions by dropping inequalities which are associated with them and, if necessary, by re-parametrizing solutions. In the appendix the usefulness of the procedure is demonstrated in the classification of quadratic Hamiltonians with a Lie-Poisson bracket \$e(3)\$. This application required the solution of algebraic systems with over 200 unknowns, 450 equations and between 5000 and 9000 terms.}, language = {en} } @misc{WolfEfimovskaya, author = {Wolf, Thomas and Efimovskaya, Olya V.}, title = {Classification of integrable quadratic Hamiltonians on e(3)}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-11807}, number = {10-18}, abstract = {Linear Poisson brackets on e(3) typical of rigid body dynamics are considered. All quadratic Hamiltonians of Kowalevski type having additional first integral of fourth degree are found. Quantum analogs of these Hamiltonians are listed.}, language = {en} }