##
9 posts tagged with math *and* algorithms.

Displaying 1 through 9 of 9. Subscribe:

## Time with class! Let's Count!

I want to demonstrate how amazing combinatorial explosion is! Please don't stop me. An animation about numbers that get large. It has a happy ending and possibly even a moral. [more inside]

## I Can Tell By The Pixels

Visualizing Algorithms shows you how computer algorithms can be represented visually, leading to better understanding of how the algorithms work:

"Have you ever implemented an algorithm based on formal description? It can be hard! Being able to see what your code is doing can boost productivity. Visualization does not supplant the need for tests, but tests are useful primarily for detecting failure and not explaining it. Visualization can also discover unexpected behavior in your implementation, even when the output looks correct."

"Have you ever implemented an algorithm based on formal description? It can be hard! Being able to see what your code is doing can boost productivity. Visualization does not supplant the need for tests, but tests are useful primarily for detecting failure and not explaining it. Visualization can also discover unexpected behavior in your implementation, even when the output looks correct."

## A SAT Attack on the Erdos Discrepancy Conjecture

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 ;)

## Computerized Math, Formal Proofs and Alternative Logic

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]

## Delightful Puzzles

A gathering of puzzles including many old chestnuts but also perhaps one or two you haven't met before.

## What is the largest prime factor of the sum of the favorited comments from all fibonacci-numbered MeFites?

"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]

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]

## Big book of algorithms

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.

## Euler? I never even met her!

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."*## MathPorn

Page:
1