12 posts tagged with programming *and* math. (View popular tags)

Displaying 1 through 12 of 12. Subscribe:

Computers are providing solutions to math problems that we can't check - "A computer has solved the longstanding Erdős discrepancy problem! Trouble is, we have no idea what it's talking about — because the solution, which is as long as all of Wikipedia's pages combined, is far too voluminous for us puny humans to confirm." (via; previously ;)

posted by kliuless on Apr 12, 2014 - 24 comments

posted by kliuless on Apr 12, 2014 - 24 comments

Using computer systems for doing mathematical proofs - "With the proliferation of computer-assisted proofs that are all but impossible to check by hand, Hales thinks computers must become the judge." [more inside]

posted by kliuless on Mar 16, 2013 - 25 comments

posted by kliuless on Mar 16, 2013 - 25 comments

New research can detect five different emotions with 81 percent accuracy. [Additional project information].

posted by Evernix on Jan 8, 2013 - 21 comments

posted by Evernix on Jan 8, 2013 - 21 comments

Eigenfaces for facial recognition. (*This post assumes familiarity with the terminology and notation of linear algebra, particularly inner product spaces.*)

posted by Evernix on Oct 6, 2012 - 18 comments

posted by Evernix on Oct 6, 2012 - 18 comments

Rediscovering WWII's female "computers". While researching a documentary in Philadelphia, filmmaker LeAnn Erickson came across two women with a story she'd never heard before: thousands of women with advanced mathematical skills employed as "computers", working day and night during WWII to supply soldiers in the field with precise ballistics algorithms. Some of those women also went on to program ENIAC, the first general-purpose computer (previously). Erickson turned their stories into Top Secret Rosies, a documentary released to theaters last year and to DVD this month. One of those programmers, Betty Jean Jennings Bartik, spoke at length to the Computing History Museum in 2008. [youtube, 1:07:19] [via]

posted by Errant on Feb 8, 2011 - 32 comments

posted by Errant on Feb 8, 2011 - 32 comments

In today's example of kids smarter than you and I, Wired follows the exploits of two teens competing at the International Olympiad in Informatics.

posted by reenum on Dec 2, 2010 - 14 comments

posted by reenum on Dec 2, 2010 - 14 comments

"Computers can search all possible outcomes of all possible moves in conventional chess and beat even top human players, so Akl wanted to make the computation more difficult." The result? Quantum chess! [via]

posted by brundlefly on Sep 8, 2010 - 31 comments

posted by brundlefly on Sep 8, 2010 - 31 comments

"Project Euler is a series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve. Although mathematics will help you arrive at elegant and efficient methods, the use of a computer and programming skills will be required to solve most problems."

Started in 2001 as a sub-section of Maths Challenge, it has since grown large enough to become its own entity. It now boasts over 200 problems, many of them insanely difficult. [more inside]

posted by mystyk on Oct 13, 2008 - 31 comments

Started in 2001 as a sub-section of Maths Challenge, it has since grown large enough to become its own entity. It now boasts over 200 problems, many of them insanely difficult. [more inside]

posted by mystyk on Oct 13, 2008 - 31 comments

If you could use a great big free handbook of discrete math and algorithms, Jörg Arndt's fxtbook wants to be your friend. Plain text table of contents to whet your appetite.

posted by Wolfdog on Mar 5, 2008 - 11 comments

posted by Wolfdog on Mar 5, 2008 - 11 comments

Fractran. A Turing complete programming language expressed in prime numbers from John Conway. (Interpreter here.) More pathological programming. Via Good Math, Bad Math.

posted by loquacious on Oct 30, 2006 - 14 comments

posted by loquacious on Oct 30, 2006 - 14 comments

Project Euler is a running contest of programming challenges to hone your algorithm skills.
*"Each problem is designed according to a 'one-minute rule', which means that although it may take several hours to design a successful algorithm with more difficult problems, an efficient implementation will allow a solution to be obtained on a modestly powered computer in less than one minute."*

posted by Wolfdog on Aug 20, 2005 - 11 comments

posted by Wolfdog on Aug 20, 2005 - 11 comments

Page:
1