Friday, December 26, 2008

Project Euler

http://projecteuler.net/
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.

The motivation for starting Project Euler, and its continuation, is to provide a platform for the inquiring mind to delve into unfamiliar areas and learn new concepts in a fun and recreational context.

Sunday, December 7, 2008

Quantum Test Found For Mathematical Undecidability

Slashdot link: http://science.slashdot.org/article.pl?no_d2=1&sid=08/12/02/1756227

original article: http://arxivblog.com/?p=740

http://arxiv.org/abs/0811.4542
Mathematical undecidability and quantum randomness

dnAnalytics - a numerical library for the .NET Framework

dnAnalytics is a numerical library for the .NET Framework licensed under the Microsoft Public License. The library is written in C# and is available as a fully managed library, or as a native version that uses the Intel® Math Kernel Library (MKL). The native version of dnAnalytics provides significantly better performance when working with large sets of data. dnAnalytics is compatible with .NET 2.0 or later, and Mono. The managed version will run on a Windows XP or newer, and any platform that supports Mono. The native version supports 32bit and 64bit versions of Windows XP or newer, and 32bit and 64bit versions of Linux.

http://www.codeplex.com/dnAnalytics

Monday, November 17, 2008

Good Physics Books For a Math PhD Student?

Today Slashdot has discussion addressing this question.

My recommendations:

Sunday, November 16, 2008

Mathomatic

Mathomatic is a small, portable Computer Algebra System (CAS) written entirely in the C programming language. It is free software, published under the GNU Lesser General Public License (LGPL version 2.1). This is a console mode application that does symbolic math and quick calculations in a standard and generalized way.

Mathomatic compiles and runs under any operating system with a C compiler. There are no dependencies other than the standard C libraries. The software and documentation have been under continual development since 1986. Recently there has been an intensive bug fixing effort. As of version 14.2.3 and later, simplification is fully functional.

Tuesday, September 30, 2008

DARPA Mathematical Challenges

Defense Advanced Research Projects Agency (DARPA) have put out a research request it calls Mathematical Challenges.

DARPA Mathematical Challenges
Solicitation Number: BAA07-68


Mathematical Challenge One: The Mathematics of the Brain
Develop a mathematical theory to build a functional model of the brain that is mathematically consistent and predictive rather than merely biologically inspired.

Mathematical Challenge Two: The Dynamics of Networks
Develop the high-dimensional mathematics needed to accurately model and predict behavior in large-scale distributed networks that evolve over time occurring in communication, biology and the social sciences.

Mathematical Challenge Three: Capture and Harness Stochasticity in Nature
Address Mumford’s call for new mathematics for the 21st century. Develop methods that capture persistence in stochastic environments.

Mathematical Challenge Four: 21st Century Fluids
Classical fluid dynamics and the Navier-Stokes Equation were extraordinarily successful in obtaining quantitative understanding of shock waves, turbulence and solitons, but new methods are needed to tackle complex fluids such as foams, suspensions, gels and liquid crystals.

Mathematical Challenge Five: Biological Quantum Field Theory
Quantum and statistical methods have had great success modeling virus evolution. Can such techniques be used to model more complex systems such as bacteria? Can these techniques be used to control pathogen evolution?



Mathematical Challenge Six: Computational Duality
Duality in mathematics has been a profound tool for theoretical understanding. Can it be extended to develop principled computational techniques where duality and geometry are the basis for novel algorithms?

Mathematical Challenge Seven: Occam’s Razor in Many Dimensions
As data collection increases can we “do more with less” by finding lower bounds for sensing complexity in systems? This is related to questions about entropy maximization algorithms.

Mathematical Challenge Eight: Beyond Convex Optimization
Can linear algebra be replaced by algebraic geometry in a systematic way?

Mathematical Challenge Nine: What are the Physical Consequences of Perelman’s Proof of Thurston’s Geometrization Theorem?
Can profound theoretical advances in understanding three dimensions be applied to construct and manipulate structures across scales to fabricate novel materials?

Mathematical Challenge Ten: Algorithmic Origami and Biology
Build a stronger mathematical theory for isometric and rigid embedding that can give insight into protein folding.

Mathematical Challenge Eleven: Optimal Nanostructures
Develop new mathematics for constructing optimal globally symmetric structures by following simple local rules via the process of nanoscale self-assembly.

Mathematical Challenge Twelve: The Mathematics of Quantum Computing, Algorithms, and Entanglement
In the last century we learned how quantum phenomena shape our world. In the coming century we need to develop the mathematics required to control the quantum world.

Mathematical Challenge Thirteen: Creating a Game Theory that Scales
What new scalable mathematics is needed to replace the traditional Partial Differential Equations (PDE) approach to differential games?

Mathematical Challenge Fourteen: An Information Theory for Virus Evolution
Can Shannon’s theory shed light on this fundamental area of biology?

Mathematical Challenge Fifteen: The Geometry of Genome Space
What notion of distance is needed to incorporate biological utility?




Mathematical Challenge Sixteen: What are the Symmetries and Action Principles for Biology?
Extend our understanding of symmetries and action principles in biology along the lines of classical thermodynamics, to include important biological concepts such as robustness, modularity, evolvability and variability.

Mathematical Challenge Seventeen: Geometric Langlands and Quantum Physics
How does the Langlands program, which originated in number theory and representation theory, explain the fundamental symmetries of physics? And vice versa?

Mathematical Challenge Eighteen: Arithmetic Langlands, Topology, and Geometry
What is the role of homotopy theory in the classical, geometric, and quantum Langlands programs?

Mathematical Challenge Nineteen: Settle the Riemann Hypothesis
The Holy Grail of number theory.

Mathematical Challenge Twenty: Computation at Scale
How can we develop asymptotics for a world with massively many degrees of freedom?

Mathematical Challenge Twenty-one: Settle the Hodge Conjecture
This conjecture in algebraic geometry is a metaphor for transforming transcendental computations into algebraic ones.

Mathematical Challenge Twenty-two: Settle the Smooth Poincare Conjecture in Dimension 4
What are the implications for space-time and cosmology? And might the answer unlock the secret of “dark energy”?

Mathematical Challenge Twenty-three: What are the Fundamental Laws of Biology?
This question will remain front and center for the next 100 years. DARPA places this challenge last as finding these laws will undoubtedly require the mathematics developed in answering several of the questions listed above.

Clay Mathematics Institute

Clay Mathematics Institute


Millennium Problems

In order to celebrate mathematics in the new millennium, The Clay Mathematics Institute of Cambridge, Massachusetts (CMI) has named seven Prize Problems. The Scientific Advisory Board of CMI selected these problems, focusing on important classic questions that have resisted solution over the years. The Board of Directors of CMI designated a $7 million prize fund for the solution to these problems, with $1 million allocated to each. During the Millennium Meeting held on May 24, 2000 at the Collège de France, Timothy Gowers presented a lecture entitled The Importance of Mathematics, aimed for the general public, while John Tate and Michael Atiyah spoke on the problems. The CMI invited specialists to formulate each problem.

One hundred years earlier, on August 8, 1900, David Hilbert delivered his famous lecture about open mathematical problems at the second International Congress of Mathematicians in Paris. This influenced our decision to announce the millennium problems as the central theme of a Paris meeting.

The rules for the award of the prize have the endorsement of the CMI Scientific Advisory Board and the approval of the Directors. The members of these boards have the responsibility to preserve the nature, the integrity, and the spirit of this prize.

Paris, May 24, 2000