document.write("« As Winter Snows Disappear, Sled-Dog Racers Are Trading Skis for Wheels");document.write(" | ");document.write("Automatic Generation of Bounds for Polynomial Systems with Application to the Lorenz System. (arXiv:1712.08228v1 [cs.SC]) »");