Tuesday, July 28, 2009

Plouffe's Inverter

Simon Plouffe has a database of more than 215,000,000 mathematical constants like Pi, E, Catalan or Euler-Mascheroni constant with more than 2 billion digits.

Wolfram | Alpha

Check out the Wolfram|Alpha computational knowledge engine.

Monday, June 15, 2009

47th Known Mersenne Prime Found!

On April 12th, the 47th known Mersenne prime, 242,643,801-1, a 12,837,064 digit number was found by Odd Magnar Strindmo from Melhus, Norway! This prime is the second largest known prime number, a "mere" 141,125 digits smaller than the Mersenne prime found last August.

Click here for more information.

Wednesday, June 03, 2009

Best Visual Illusion of the Year Contest

The Best Visual illusion of the Year Contest is a celebration of the ingenuity and creativity of the world’s premier visual illusion research community. Contestants from all around the world have submitted novel visual illusions (unpublished, or published no earlier than 2008), and an international panel of judges has rated them and narrowed them to the TOP TEN.

Sunday, March 29, 2009

Free Mathematics Books

Found this website with links for free mathematical e-books.

Saturday, February 28, 2009

Quite Basic -- Sieve of Eratosthenes

A BASIC programming website that uses the Sieve of Eratosthenes as an example.

Gallery of Illustrations

An interesting website that has plenty of mathematical illustrations.

Tuesday, February 24, 2009

Sunday, January 25, 2009

Drunk Men Work Here

This is a very interesting website. Problems 170 and 129 are a couple of great logic games.

Monday, January 05, 2009

Security Codes

I was entering the four-digit security code to our house, and I realized that it doesn't end with an ENTER (E) key to accept it. The problem with that is you can keep pressing numbers until the right combination is found. Since most keypads use all ten digits (0-9), the total number of combinations should be $10^n$. However, it is the ENTER key that makes it so difficult.

Let D equal the number of digits for the security code. Let K equal the number of digits on the keypad.

For a binary keypad (0, 1) and a three-digit code, our set consists of (000E, 001E, 010E, 011E, 100E, 101E, 110E, 111E). Thus, we have at most $2^3 \times (3+1)$ possible keys to enter, where the plus one is for the ENTER key. Generally speaking, we'd have $K^D \times (D+1)$ possible keys to enter.

Without the ENTER key, we could keep pressing the keypad until all combinations have formed. The minimum number of keys required would be $K^D + D$.

So for a binary keypad, we'd have:





DStringKeys (wo/ E)Keys (w/ E)
10124
200110512
300011101001032
400001111001011010001980
500000111110001001010111011001101000036192

Thus, one only needs to know the string concatenations to be able to guess the right combination if no ENTER or code-stopper key is required.

Update: See De Bruijn Sequence and ProjectEuler #265 for a related problem.

Tuesday, December 16, 2008

Cinderella

Experience Geometry on your desktop and on the web. Easily create startling geometric constructions! Starting from simple triangle relations, continuing with trigonometric theorems up to fractals and transformation groups Cinderella lets you create and manipulate visualizations in an intuitive, yet powerful way.

Click here for more information.

Monday, December 01, 2008

Friday, November 14, 2008

Worldmapper

Worldmapper is a collection of world maps, where territories are re-sized on each map according to the subject of interest.

Monday, November 10, 2008

How online games are solving uncomputable problems

Online games that tap your brainpower without you noticing can crack problems that have defeated the most powerful computers, says Lewis Dartnell. Get involved with distributed computing with these online games and downloads.

Click here for more information.

Monday, October 06, 2008

The Eyeballing Game

The Eyeball website gives you some mathematical figures and asks you to eyeball them correctly. I scored a 5.92 on my first try.

Just scored 3.13 on my second try.

More games at the Games for the Brain website.

Tuesday, September 16, 2008

Titanic Primes Raced to Win $100,000 Research Award

Researchers have discovered the two largest known prime numbers, a whopping 12,978,189 and 11,185,272 digits long, as part of a 12 year old, world-wide volunteer computing project, the Great Internet Mersenne Prime Search ("GIMPS"). The primes can be written shorthand as 243,112,609-1 and 237,156,667-1. The larger number qualifies for a $100,000 research award, most of which GIMPS will donate to the University of California, Los Angeles (UCLA), and to charity.

Click here for more information.

Friday, August 29, 2008

F#

I'm learning F#, Microsoft's latest functional programming language for the .NET family. Very nice and interesting. I recommend buying these books on it: F# for Scientists, Foundations of F#, and Expert F#.

Thursday, July 31, 2008

Thursday, June 19, 2008

Wednesday, June 11, 2008

Tuesday, May 13, 2008

WorldWide Telescope

The WorldWide Telescope
The WorldWide Telescope (WWT) is a Web 2.0 visualization software environment that enables your computer to function as a virtual telescope—bringing together imagery from the best ground and space-based telescopes in the world for a seamless exploration of the universe.

Friday, May 09, 2008

Processing

Processing is an open source programming language and environment for people who want to program images, animation, and interactions. It is used by students, artists, designers, researchers, and hobbyists for learning, prototyping, and production. It is created to teach fundamentals of computer programming within a visual context and to serve as a software sketchbook and professional production tool. Processing is developed by artists and designers as an alternative to proprietary software tools in the same domain.

There's also a Javascript version of the code.

OpenVisuals

OpenVisual is a visualization that is created using Processing and OpenVisuals API, which makes it possible to use with any datasets on this website. Visualization artists can use these datasets to build a visualization. Once they upload the visualization to this website, it can also be used to visualize any other dataset on this website through OpenVisuals API.

Tuesday, April 15, 2008

Glimpses Of A New Mathematical World

A new mathematical object was revealed yesterday during a lecture at the American Institute of Mathematics (AIM). Two researchers from the University of Bristol exhibited the first example of a third degree transcendental L-function. These L-functions encode deep underlying connections between many different areas of mathematics.

Click here for more information.

Building a 5-ton mechanical calculator... from 19th-century plans

Starting in May, many will have the opportunity to see for themselves how they did computing the old-fashioned way: with lots of gears, a big crank and some muscle.

The Computer History Museum, in Mountain View, Calif., will unveil a new construction, the first in the United States, of the 19th century British mathematician Charles Babbage’s Difference Engine No. 2, an improved version of his earlier mechanical digital calculator.

Click here for more information.

Thursday, March 27, 2008

Rubik’s Cube Proof Cut to 25 Moves

Last year, a couple of fellas at Northeastern University with a bit of spare time on their hands proved that any configuration of a Rubik’s cube could be solved in a maximum of 26 moves.

Now Tomas Rokicki, a Stanford-trained mathematician, has gone one better. He’s shown that there are no configurations that can be solved in 26 moves, thereby lowering the limit to 25.

Full article here.

Friday, March 14, 2008

Thursday, March 13, 2008

Slabacus (Slide Rule & Abacus Simulator)

The slide rule & abacus simulators teach you how to use these two tools.

Monday, February 25, 2008

The Sheet-Based Calculator (Part II)

After finding the Sheet-Based Calculator link and source code, I decided to download it and improve it for my Java learning experience and also because it's neat. :-)

Here's a link to the JAR file if you're interested.

Wednesday, February 20, 2008

Geometry Constructions->LaTeX Converter (GCLC)

GCLC (from "Geometry Constructions->LaTeX converter") is a tool for visualizing and teaching geometry, and for producing mathematical illustrations. Its basic purpose is converting descriptions of mathematical objects (written in the GCL language) into digital figures. GCLC provides easy-to-use support for many geometrical constructions, isometric transformations, conics, and parametric curves. The basic idea behind GCLC is that constructions are formal procedures, rather than drawings. Thus, in GCLC, producing mathematical illustrations is based on "describing figures" rather than of "drawing figures".

The Sheet-Based Calculator

The Sheet-Based Calculator allows you to enter normal mathematical expressions in a word-processor-like environment, but then to execute them as well. Its algorithm is implemented by using compiler concepts and parser grammar rules. It can be used in most operating systems because it is written in Java.

Friday, February 08, 2008

Visual Mathematics Dictionary

An interesting site with plenty of visual definitions for all school grades.

Monday, February 04, 2008

History's Greatest Gadgets

It's not all about circuits, silicon and stock options: mankind's been making technology since the dawn of time. Here is ten of the most wonderful gadgets from centuries—and millenia—past.

Thursday, January 24, 2008

Running the Numbers

An interesting set of pictures by Chris Jordan that shows the sizes of various U.S. consumptions.

Friday, January 18, 2008

New Smartpen And Paper To Help Teach Blind College Students

A new smartpen and paper technology that works with touch and records classroom audio aims to bring these subjects to life for blind students.

Wednesday, January 16, 2008

The History of the Earth in a Toilet Paper Roll

The earth is over 5 billion years old. Life first originated in the oceans 3.4 billion years ago. The dinosaurs died out 65 million years in the past. Human recorded history stretches back 10,000 years in time.

These numbers are too large to visualize, and difficult to compare. Here's an easy way to put time in perspective, and actually visualize different eras in the earth's history. You'll need a roll of toilet paper, a long hallway, and some sticky notes.

Click here for more information.

Monday, January 14, 2008

Statistics Calculators

These statistics calculators are free to be used by anyone in the research community at large.

Notable Properties of Specific Numbers

An interesting website for certain numbers.

Tuesday, January 08, 2008

Art Exhibit Features RFID Math Problems

Math Art Exhibit
There's an awesome exhibit right now at the Mori Art Museum titled "Roppongi Crossing 2007: Future Beats in Japanese Art." It introduces some of the most important classic futurist artists from Japan as well as up-and-coming ones.

Pictured here is Math Gates. Designed by two professors—one math prof from Kyoto University and one new media expert from Tokyo National University—it's an interactive installation in which visitors carry RFID cards with math problems on them. The goal is to reach a pre-determined number—kinda like in the license plate number game. The idea behind it is to gain a better understanding of a computer's logic circuits. After all, humans aren't that different from machines, and machines are made by humans.

The exhibit runs through Jan 14, 2008.

Click here for original link.

Tuesday, January 01, 2008

Secret Websites, Coded Messages: The New World of Immersive Games

Interesting story on how the music group Nine Inch Nails encoded a few hidden messages in one of their tours and albums.

To play it on the Wired site, select all text in each section (two sections) up to the input boxes of that section (or do the entire page at once) and paste it into Microsoft Word. Remove all formatting that has Font Color equal to Automatic and only the colored text remains. What the sentences mean and which ones to use, with punctuation, should become obvious.

Thursday, December 13, 2007

'Mathlete' Smashes Human Calculation Record

The world's fastest human calculator on Tuesday broke his own record for working out a 200-digit number using nothing but brain power to produce the answer in just over 70 seconds.

Alexis Lemaire, a 27-year-old Frenchman, correctly calculated the 13th root of a random 200-digit number from a possible 393 trillion answers.

Click here for more information.

Tuesday, December 11, 2007

Voyager 2 Probe Reaches Solar System Boundary

Heliosphere
The Voyager 2 spacecraft has crossed an important space frontier called the termination shock, and in a few years may become the first object made by humans to travel outside the solar system.

Click here for more information.

Monday, December 10, 2007

VisIt

VisIt
VisIt is a free interactive parallel visualization and graphical analysis tool for viewing scientific data on Unix and PC platforms. Users can quickly generate visualizations from their data, animate them through time, manipulate them, and save the resulting images for presentations. VisIt contains a rich set of visualization features so that you can view your data in a variety of ways. It can be used to visualize scalar and vector fields defined on two- and three-dimensional (2D and 3D) structured and unstructured meshes. VisIt was designed to handle very large data set sizes in the terascale range and yet can also handle small data sets in the kilobyte range.

Friday, December 07, 2007

Polyhedra.org

Polyhedra.org is a collection of interactive models based on the canvas element.

Thursday, December 06, 2007

The Universal Digital Library

The Universal Digital Library
The mission is to create a Universal Library which will foster creativity and free access to all human knowledge. As a first step in realizing this mission, it is proposed to create the Universal Library with a free-to-read, searchable collection of one million books, available to everyone over the Internet. Within 10 years, it is our expectation that the collection will grow to 10 Million books. The result will be a unique resource accessible to anyone in the world 24×7, without regard to nationality or socioeconomic background.

Also see my previous post on the World Digital Library.

Sunday, December 02, 2007

Sliding Block Puzzles

Very challenging sliding-block puzzles at PuzzleBeast.

A Visual Dictionary of Special Plane Curves

The name says it all. Also check out the main page.

Saturday, December 01, 2007

The Descartes Circle Theorem

The Descartes Circle Theorem
When Kissing Involves Trigonometry is a very interesting article on the Descartes Circle Theorem.

Crayon Physics Deluxe

Crayon Physics Deluxe is a sequel to the popular freeware game Crayon Physics. Or you can think of it as the game I would have created if I would have had more than 7 days to do it. Way more than 7 days. More like 7 months or 17 months.

Anyway Crayon Physics Deluxe is a 2D physics puzzle game, in which you get to experience what it would be like if your drawings would be magically transformed into real physical objects. Solve puzzles with your artistic vision and creative use of physics.

Tuesday, November 27, 2007

Möbius Transformations Revealed

Möbius Transformations Revealed is a short video by Douglas Arnold and Jonathan Rogness which depicts the beauty of Möbius transformations and shows how moving to a higher dimension reveals their essential unity. It was one of the winners in the 2007 Science and Visualization Challenge and was featured along with the other winning entries in the September 28, 2007 issue of journal Science.

Thursday, November 15, 2007

Surfer dude stuns physicists with theory of everything

The E8 pattern (left), Garrett Lisi surfing (middle) and out of the water (right)
An impoverished surfer has drawn up a new theory of the universe, seen by some as the Holy Grail of physics, which has received rave reviews from scientists.

Click here for more information.

His paper can be downloaded here.

A previous article can be found here.

Sunday, October 28, 2007

Dataplot

Dataplot is a free, public-domain, multi-platform (Unix, VMS, Linux, Windows 95/98/ME/XP/NT/2000, etc.) software system for scientific visualization, statistical analysis, and non-linear modeling. The target Dataplot user is the researcher and analyst engaged in the characterization, modeling, visualization, analysis, monitoring, and optimization of scientific and engineering processes.

SpeedCrunch

SpeedCrunch
SpeedCrunch is a fast, high precision and powerful desktop calculator.
Available for Linux, Microsoft Windows, and Mac OS X.

Wednesday, October 24, 2007

The Simplest Universal Turing Machine Is Proved

2,3 Turing Machine
Stephen Wolfram comments on the simplest universal Turing machine found.

See my previous blog as well.

For those of us that this is over our heads, buy his book, A New Kind of Science, for further explanation (which I hope to do soon).

Friday, October 19, 2007

Islamic Star Patterns

Islamic Star Patterns
Islamic star patterns arose in the centuries after the birth of Islam, and spread quickly as Islamic rule grew outward from the Middle East to encompass western Europe, northern Africa, and southern Asia. This form of ornamentation peaked in the first half of the second millennium. The practice then tapered off as the borders of the Muslim world began to shrink. Today, historical artifacts can be found in countries from Spain to Uzbekistan, with important concentrations in Spain, Turkey, Iran, and Morocco.

Click here for more information.

Thursday, October 18, 2007

World Digital Library

World Digital Library
The World Digital Library will make available on the Internet, free of charge and in multilingual format, significant primary materials from cultures around the world, including manuscripts, maps, rare books, musical scores, recordings, films, prints, photographs, architectural drawings, and other significant cultural materials. The objectives of the World Digital Library are to promote international and inter-cultural understanding and awareness, provide resources to educators, expand non-English and non-Western content on the Internet, and to contribute to scholarly research.

Friday, October 12, 2007

Brain Man

Almost 25 years ago, 60 Minutes introduced viewers to George Finn, whose talent was immortalized in the movie "Rain Man." George has a condition known as savant syndrome, a mysterious disorder of the brain where someone has a spectacular skill, even genius, in a mind that is otherwise extremely limited.

Morley Safer met another savant, Daniel Tammet, who is called "Brain Man" in Britain. But unlike most savants, he has no obvious mental disability, and most important to scientists, he can describe his own thought process. He may very well be a scientific Rosetta stone, a key to understanding the brain.

Click here for more information.

Optical Illusions and Visual Phenomena

This site demonstrates visual phenomena, and optical or visual illusions. The latter is more appropriate, because most effects have their basis in the visual pathway, not in the optics of the eye.

Thursday, October 11, 2007

Logo++

Logo++
Logo++ is an interpreter for drawing graphical figures following very simple instructions. Though it lacks many essential features of programming languages, it remains a funny start for beginners in computer programming, particularly for kids.

Internet gets first full census for 25 years

This colour coded map encompasses the 2.8 billion unique internet addresses and could help chart the spread of computer viruses.
An electronic census of the internet's 2.8 billion addresses has been completed by US researchers. It is the first attempt to contact every web address since 1982 – the results could help tackle the problem of the supply of unique internet addresses running out.

Click here for more information.

Wednesday, October 10, 2007

Peanut Software

Peanut Software contains a number of free Windows mathematical software, including: Wingeom, Winplot, Winstats, Winarc, Winfeed, Windisc, Winlab, Winmat, and Wincalc.

IFS Construction Kit

IFS Construction Kit
IFS Construction Kit can be used to design and draw fractals based on iterated function systems. The program consists of three main windows. The IFS Window is where you can see and edit the code for the transformations that comprise the IFS. This window also shows the scale used in the other two windows. The Design window shows the effects of the transformations on an initial polygon. You can translate, scale, rotate, stretch, or shear transformations using the mouse, keyboard, or through a dialog box. This provides a way to define or modify transformations without having to enter the numbers in the IFS window. The Fractal window is where you draw the fractal obtained by iterating the transformations in the IFS, either by using the Random Algorithm or the Deterministic Algorithm.

A Prayer for Archimedes

700-Year-Old Book
Hidden Text

A long-lost text by the ancient Greek mathematician shows that he had begun to discover the principles of calculus.

Click here for more information.

Tuesday, October 09, 2007

Science and the Islamic world—The Quest for Rapprochement

Interesting reading on why science and math vanished in the Middle East.

JW's Pictures and Patterns Site

JW's Pictures and Patterns Site has some interesting mathematically related information, including the 3x+1 problem, with observations and analysis, Pythagorean triples, and much more.

Metamath Proof Explorer

Inspired by Whitehead and Russell's monumental Principia Mathematica, the Metamath Proof Explorer has over 6,000 completely worked out proofs in logic and set theory, interconnected with over a million hyperlinked cross-references. Each proof is pieced together with razor-sharp precision using a simple substitution rule that practically anyone can follow, not just mathematicians. Every step can be drilled down deeper and deeper into the labyrinth until axioms of set theory—the starting point for all of mathematics—will ultimately be found at the bottom. You could spend literally days exploring the astonishing tangle of logic leading, say, from 2+2=4 back to the axioms.

Friday, October 05, 2007

Wolfram 2,3 Turing Machine Research Prize

A universal Turing machine is powerful enough to emulate any standard computer.
The question is: how simple can the rules for a universal Turing machine be?

Since the 1960s it has been known that there is a universal 7,4 machine. In A New Kind of Science, Stephen Wolfram found a universal 2,5 machine, and suggested that the particular 2,3 machine that is the subject of this prize might be universal.

The prize is for determining whether or not the 2,3 machine is in fact universal.

Click here for more information.

Monday, September 17, 2007

Mike's Math

"My name's Mike Byster, and according to psychologists … I have one of the fastest mathematical minds in the world."

This is what Mike Byster told students at his "Mike's Math" seminars, and he wasn't exaggerating.

Mike Byster is a math teacher, but he's also a human calculator. He can answer complex math problems in front of his students instantaneously: Miss Lewis: "999 divides by 56?" Byster: "That equals 17.83928571."

Click here for more information.

Click here for Mike's website.

Tuesday, September 04, 2007

International Mathematical Olympiad 2007, Hanoi-Vietnam

48th International Mathematical Olympiad
The International Mathematical Olympiad is an annual mathematical Olympiad for high school students, and every year it is hosted by a different country. Some countries have been the host nation for more than 1 time as Romania, USSR, Hungary, Czechoslovakia, Poland, Germany, Bulgaria, Yugoslavia, United Kingdom, USA. The year 2007 marks the first time that Vietnam was the host country for the IMO - the 48th International Mathematical Olympiad, Hanoi, Vietnam, 19-31 July, 2007.

Periodic Table of Mathematicians

The Periodic Table of Mathematicians is a collection of facts on various mathematicians put in a periodic table format.

Tuesday, August 28, 2007

Math Genius Wins University Place, Aged 9

A nine-year-old math prodigy was Thursday admitted to a Hong Kong university, telling reporters he struggled to communicate academically with his own age group.

March Boedihardjo, an Indonesian-Chinese boy resident in Hong Kong, earlier this month gained two grade As and a B in his A-levels -- normally taken by 18-year-olds -- enough for a place at Hong Kong Baptist University (HKBU).

Click here for more information.

Tuesday, August 21, 2007

Arabic Geometry

Catnaps.org has an interesting article on Arabic geometrical patterns.

Thursday, August 16, 2007

Mind and Visual Puzzles

Archimedes' Laboratory
Archimedes' Laboratory provides puzzles, brain teasers, and mental activities to keep your brain young and active.

Thursday, August 09, 2007

EquationSheet.com

EquationSheet.com allows you to create a customized equation sheet from various mathematics and physical equations and constants.

Thursday, August 02, 2007

The Coq Proof Assistant

Coq
Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows:
  • to define functions or predicates,
  • to state mathematical theorems and software specifications,
  • to develop interactively formal proofs of these theorems,
  • to check these proofs by a relatively small certification "kernel".

Saturday, July 21, 2007

The Human Geometry

The Human Geometry Project celebrates mathematical art, music, dance and literature through exploration of the human form. And for more risqué pictures, visit Naked Geometry.

Thursday, July 19, 2007

Mapping A Medusa: The Internet Spreads Its Tentacles

The Internet
CHARTING A COURSE. A new map of the Internet shows a core containing the most tightly connected subnetworks (red), while the least-connected subnetworks lie at the edge (purple).
After enlisting the help of thousands of volunteers to track how digital information weaves around the world, researchers can offer a new simile: The Internet is like a medusa jellyfish. It has a dense core surrounded by a highly connected body, from which tentacles dangle.

Click here for more information.

Friday, July 13, 2007

Gato (Graph Animation Toolbox)

Gato
Gato - the Graph Animation Toolbox - is a software which visualizes algorithms on graphs. Graphs are mathematical objects consisting of vertices and edges connecting pairs of vertices: think of cities as vertices and interstates as edges connecting two cities. Algorithms might find a shortest path - the fastest route - or a minimal spanning tree or solve one of other interesting problems on graphs: maximal-flow, weighted and non-weighted matching and min-cost flow. Visualisation means linking cause - the statements of an algorithm - immediately to an effect - changes to the graph the algorithm has as its input - by terms of blinking, changing colors and other visual effects.

Galaxy Zoo

Welcome to GalaxyZoo, the project which harnesses the power of the internet - and your brain - to classify a million galaxies. By taking part, you'll not only be contributing to scientific research, but you'll view parts of the Universe that literally no-one has ever seen before and get a sense of the glorious diversity of galaxies that pepper the sky.

Wednesday, July 11, 2007

Minimal Primes

Jeffrey Shallit wrote a very interesting paper on minimal primes. The PostScript file can be downloaded here.

To print, you can use the free Windows printing utility PrintFile.

Tuesday, July 10, 2007

ZipCode Census Dashboard

The ZipCode Census Dashboard is a flash application that displays U.S. census statistics.

Monday, July 09, 2007

NASA MathTrax

MathTrax is a graphing tool for middle school and high school students to graph equations, physics simulations or plot data files. The graphs have descriptions and sound so you can hear and read about the graph. Blind and low vision users can access visual math data and graph or experiment with equations and datasets.

Tuesday, July 03, 2007

Mathematical Visualization Toolkit

Mathematical Visualization Toolkit
The Department of Applied Mathematics in the University of Colorado at Boulder provides an interesting Mathematical Visualization Toolkit for visual learning of Calculus and Differential Equations by students.

Friday, June 29, 2007

DPGraph + Viewer

Although the website is terrible, DPGraph is actually a very neat graphing application.

World Stats Clock


Created by Poodwaddle.com

Thursday, June 28, 2007

Everything Mathematical

MathematiciansPictures.com is a website about everything mathematical (pictures, t-shirts, etc.). If you're into math, you wouldn't be here otherwise, then visit that site for some neat stuff. Just come back afterwards. :-)

E-Tutor Graphing Calculator

E-Tutor has a nice, online, graphing calculator for visualizing equations.

Wednesday, June 27, 2007

Graph Layout Engine (GLEE)

GLEE
GLEE is a .NET tool for graph layout and viewing. It has been developed in Microsoft Research by Lev Nachmanson. GLEE is built on principles of the Sugiyama scheme; it produces so called layered, or hierarchical, layouts. This kind of a layout naturally applies to graphs with some flow of information. The graph could represent a control flow graph of a program, a state machine, a C++ class hierarchy, etc.

Texmaker

Texmaker
Texmaker is a free LaTeX editor, that integrates many tools needed to develop documents with LaTeX, in just one application.

Tuesday, June 26, 2007

WZGrapher Function Grapher

WZGrapher
WZGrapher is an easy-to-use and small-footprinted Function Graphing and Calculation Program written in C language, with capabilities to plot both cartesian and polar functions. WZGrapher can also be used to graph numerical solution curves of integrals, to solve numerically and graph ordinary differential equations up to the fifth order, and to calculate value tables (also of ODEs) including the first derivative values.

Monday, June 25, 2007

Orrery

Ferguson's Orrery
An orrery or planetarium is a mechanical contrivance that reproduces the motions of the planets and, sometimes, of their satellites. Operated by hand using cranks or clockwork mechanisms. More information can be found here and here.

Sunday, June 24, 2007

Vedic Mathematics

Vedic Mathematics is the name given to the ancient system of Mathematics which was rediscovered from the Vedas between 1911 and 1918 by Sri Bharati Krsna Tirthaji (1884-1960). According to his research all of mathematics is based on sixteen Sutras, or word-formulae. For example, "Vertically and Crosswise" is one of these Sutras. These formulae describe the way the mind naturally works and are therefore a great help in directing the student to the appropriate method of solution.

Here are some tutorials on it and some more information.

Group Explorer

Group Explorer
Group Explorer is mathematical visualization software for the abstract algebra classroom. It helps the user visualize group theory, builds students' intuition, and enables experimentation with groups.

Mathematical Illustrations

Mathematical Illustrations
Mathematical Illustrations is a book on mathematical PostScript programming and geometry. The website contains plenty of examples for downloading.

Binary Marble Adding Machine

Binary Marble Adding Machine
This is a very cool description of an adding machine. Check out the original as well.

SITMO

SITMO is a LaTex equation editor. Check out the rest of their website for some other mathematical topics.

Public Implementation of a Graph Algorithm Library and Editor

P.I.G.A.L.E.
P.I.G.A.L.E. is a graph editor and a C++ algorithm library essentially concerned with planar graphs. The editor is particularly intended for graph theoretical research.

Thursday, June 14, 2007

Puzzlers Paradise

TreePuzzlers Paradise
Puzzlers Paradise is a website with some great, interactive, logic puzzles.

Monday, June 11, 2007

PlotKit - JavaScript Chart Plotting

PlotKit is a Chart and Graph Plotting Library for JavaScript. It has support for HTML Canvas and also SVG via Adobe SVG Viewer and native browser support. Requires MochiKit - A lightweight JavaScript library.

Friday, June 08, 2007

WIRIS CAS Web Calculator


WIRIS CAS is an on-line platform for mathematical calculations designed for education. It is in fact a CAS that also includes a DGS inside. You can access a powerful calculation toolbar through an HTML page that includes integrals and limits calculation, function graphing in 2D or 3D or symbolic matrices manipulation. It covers all mathematical topics from High School to University level (Calculus, Algebra, …).