- AIM Problem Lists
The AIM Problem Lists are part of the Bibliographic Knowledge Network (BKN) project funded by a Cyber Enabled Discovery and Innovation (CDI) grant from the National Science Foundation. Major partners in the project are UC Berkeley, Harvard, Stanford, and AIM.
in Science - Free Mathematics Books
in Science > Reference by 2 users - Free mathematics software - Wikipedia
This category is for software for performing mathematical tasks which is distributed as free software - that is to say that the source code must be available and re-usable under a free software licence.
category code commons free license mathematics search software source special wikimedia
in Software > Reference - G J Chaitin Home Page
in Science by 3 users - G J Chaitin Home Page
in Science - LyX | LyX – The Document Processor
LyX is a document processor that encourages an approach to writing based on the structure of your documents (WYSIWYM) and not simply their appearance (WYSIWYG). LyX combines the power and flexibility of TeX/LaTeX with the ease of use of a graphical interface. This results in world-class support for creation of mathematical content (via a fully integrated equation editor) and structured documents like academic articles, theses, and books.
in Software > tools - Mathematical Art Exhibits
in Science - Maxima
Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high precision numeric results by using exact fractions, arbitrary precision integers, and variable precision floating point numbers. Maxima can plot functions and data in two and three dimensions.
Maxima is a fairly complete computer algebra system written in lisp with an emphasis on symbolic computation. It is based on DOE-MACSYMA and licensed under the GPL. Its abilities include symbolic integration, 3D plotting, and an ODE solver.
algebra cas computation computer free gpl lisp macsyma mathematics maxima ode plotting symbolic
in Science by 7 users - Metamath Home Page
Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.
in Science by 3 users - Project Euler
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.
A website dedicated to the fascinating world of mathematics and programming
mathematics problems programming puzzles
in Science by 5 users - The Prime Pages (prime number research, records and resources)
Access to hundreds of pages of award-winning information on prime numbers--with links to thousands of pages elsewhere. We host the searchable database of the 5000 largest known primes (updated weekly). We also have a glossary, top 10 records lists, prime-music, programs, free downloads, and much more!
big composite factorization gimps integer known largest mathematics mersenne new number primality prime primes recent theory
in Science > Reference by 5 users - vdash
a wiki of formalized mathematics
in Web
Copyright © 2003-2008 Netvouz. All rights reserved. |
RSS Feed
|
Blog |
Contact |
Terms of use |
Cookies |
Privacy policy
RSS Feed
|
Blog |
Contact |
Terms of use |
Cookies |
Privacy policy