The software takes in data from sensors dotted around the city to keep an eye on what is happening.
In the event of a fire the Urban OS might manage traffic lights so fire trucks can reach the blaze swiftly.
Link to Original Source
We warn the reader in advance that the proof presented here depends on a clever but highly unmotivated trick. -- Howard Anton, "Elementary Linear Algebra"