A Perspective on Computer-Oriented Mutlibody Dynamical Formalisms and their Implementations