Computer-assisted of mathematical proofs are not new. For example, computers were used to confirm the so-called 'four color theorem.' In a short release, 'Proof by computer,' the American Mathematical Society (AMS) reports it has published a special i

BRUSSELS -(Dow Jones)- The European Commission Wednesday disputed U.S. charges that the European Union is allegedly violating an international agreement to eliminate tariffs on trade in computers, Internet hardware and other information technology product

Monday dragged along for some people trying to vote electronically while online gamers and Internet surfers swiped away a speedy online connection. At the Iowa City Public Library, the wait was long for early voters Monday afternoon, with dozens of c

Trooper Donald Lucas, part of the state police Troop B Computer Crime Task Force which assists agencies in investigations involving online predators, introduced Laurel Highlands School District teachers and parents to the potential Internet dangers.

Criminal attacks against major Web sites have grown so common that Internet users have no reliable way to know which sites are safe to visit, no matter how well known those destinations are, security experts say. News of the latest attack comes from Finja