Catch up on stories from the past week (and beyond) at the Slashdot story archive

 



Forgot your password?
typodupeerror
×
Math

Wolfram Research Releases Mathematica 7 234

mblase writes "Wolfram Research has released the seventh version of Mathematica, and it does a lot more than symbolic algebra. New features range from things as simple as cut-and-paste integration with Microsoft Word's Equation Editor to instant 3D models of mathematical objects to the most expensive clone of Photoshop ever. Full suites of genome, chemical, weather, astronomical, financial, and geodesic data (or support for same) is designed to make Mathematica as invaluable for scientific research as it is for mathematics."
Math

Achieving Mathematical Proofs Via Computers 209

eldavojohn writes "A special issue of Notices of the American Mathematical Society (AMS) provides four beautiful articles illustrating formal proof by computation. PhysOrg has a simpler article on these assistant mathematical computer programs and states 'One long-term dream is to have formal proofs of all of the central theorems in mathematics. Thomas Hales, one of the authors writing in the Notices, says that such a collection of proofs would be akin to the sequencing of the mathematical genome.' You may recall a similar quest we discussed."
Businesses

How To Deploy a Game Console In the Office? 310

SkydiverFL writes "Does anyone have an idea for a good solution for using a game console (Xbox 360, PS3, etc.) with a laptop and / or external monitor? I am planning to set up each of my developers at the office with a shiny new Xbox 360, surround headphones, and Gold memberships. The only catch is that I have to do it 'gracefully.' I would be grateful for any input on the technical setup and politics (how to get it in and how to work through the politics)." Read on for further details on the situation.

Slashdot Top Deals

Two can Live as Cheaply as One for Half as Long. -- Howard Kandel

Working...