Abstract In this paper we study the isomonodromic deformations of systems differential equations with poles any order on Riemann sphere as Hamiltonian flows product co-adjoint orbits truncated current algebra, also called generalised Takiff algebra. Our motivation is to produce confluent versions celebrated Knizhnik–Zamolodchikov and explain how their quasiclassical solution can be expressed vi...

We present a confluence criterion for term rewrite systems by relaxing termination requirements of Knuth and Bendix’ confluence criterion, using joinability of extended critical pairs. Because computation of extended critical pairs requires equational unification, which is undecidable, we give a sufficient condition for testing joinability automatically.