• Publications
  • Influence
Solutions of WDVV Equations in Seiberg-Witten Theory from Root Systems
We present a complete proof that solutions of the WDVV equations in Seiberg-Witten theory may be constructed from root systems. A generalization to weight systems is proposed.
Lie algebra computations
In the context of prolongation theory, introduced by Wahlquist and Estabrook, computations of a lot of Jacobi identities in (infinite-dimensional) Lie algebras are necessary. These computations canExpand
Graded differential geometry in REDUCE: Supersymmetry structures of the modified KdV equation
The description of a graded differential geometry package in REDUCE is given. The procedures are useful in the study of supersymmetric equations. The supersymmetric modified KdV equation is discussedExpand
Symmetries for the super-KdV equation: letter to the editor
Symmetries and higher-order or generalised symmetries for the SKdV equation are constructed. Moreover by the introduction of graded potentials a non-local generalised symmetry is obtained, leading toExpand
The Programming and Proof System ATES
TLDR
A specification of an abstract data type is an implementation independent and static description of all the properties of the type, which includes the syntax and semantics of the set of operations applicable to the type. Expand
Differential geometric computations and computer algebra
The use of computer algebra in the field of differential geometry and its applications to geometric structures of partial differential equations is discussed. The differential geometric setting isExpand
Symbolic computations in applied differential geometry
The main aim of this paper is to contribute to the automatic calculations in differential geometry and its applications, with emphasis on the prolongation theory of Estabrook and Wahlquist, and theExpand
The explicit structure of the prolongation algebra of the hirota-satsuma system
For a coupled system of KdV equations the prolongation Lie algebra is explicitly determined. It turns out to be of Kac-Moody type.
Chasing a proof, the proof, next steps
...
1
2
3
...