Several theories of both types have been formulated as mathematical models and simulated using computers.
Kilka teorii obu rodzajów sformułowano w postaci modeli matematycznych i symulowano na komputerach.