Computer systems based on specific mathematical models