Computer analysis of periodic orbits of discontinuous vector fields

Computer algebra provides powerful tools to perform a precise and qualitative analysis of the phase portraits of a class of discontinuous vector fields of . We derive from the analysis of semi-algebraic varieties various results about the existence of families of periodic orbits. The existence of both symmetric and asymmetric periodic orbits for reversible discontinuous vector fields is proved.