1 paper
Jan Bouwe van den Berg, Ray Sheombarsing
In this paper we present a computer-assisted procedure for proving the existence of transverse heteroclinic orbits connecting hyperbolic equilibria of polynomial vector fields. The…