Hilbert II - Introduction
Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier which can check a mathematical proof written in a certain formal language. This mathematical knowledge is organized in qedeq BOOKs which could be spread over the whole world wide web. There are converters for generating LaTeX files and html pages.
Language: English
maths patched to physics patched to... whatever
Wolfram, creators of the Wolfram Language, Wolfram|Alpha, Mathematica, Development Platform, Data Science Platform, Finance Platform, SystemModeler...
Top Games online. Discover the latest developments and have fun with the best free top games to play online. Only best free games Online at Top Mini Games.
Michigan Technological University is a flagship public research university founded in 1885. Our campus in Michigan's Upper Peninsula overlooks the Keweenaw Waterway and is just a few miles from Lake Superior. Learn more about our degree programs.
Site for learning of mathematics online. Site for learning of mathematics online. Online calculators and different types of mathematical tasks.
We create mathematical software for engineers and aducators. We also provide software engineering consultation.
mathStatica - Mathematical Statistics with Mathematica
Mathematics of the people, for the people, by the people: encouraging mathematical happiness
The American Mathematical Society is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs.
NSF's mission is to advance the progress of science, a mission accomplished by funding proposals for research and education made by scientists, engineers, and educators from across the country.
The European Mathematical Society (EMS), the Polish Mathematical Society (PTM) and the Jagiellonian University (UJ) have the pleasure to invite mathematicians from all over the world to participate in the 6th European Congress of Mathematics which will be held in Kraków, July 2-7, 2012.
Are you looking for global solutions for Math and Science? Try Wiris' Math tools! Create equations and formulas using a visual editor. Easy to integrate.
Web high mathematical school. All sections of curriculum of elementary mathematics. Arithmetic, algebra, geometry, trigonometry, functions and graphs, analysis. Theory and solving problems. Versions of examination tests. Online consulting. Preparatory to universities and colleges.
The Association for Psychological Science (APS) is a nonprofit organization dedicated to the advancement of scientific psychology and its representation at the national and international level.
Describes and gives examples of logical fallacies from the media and everyday life, applying logic to controversial issues in order to improve critical thinking skills.
Rosegarden is a powerful audio, MIDI and score editing and sequencing environment for musicians.
Your guide to a higher LSAT score
The professional blog of public transit consultant Jarrett Walker.
LSE is a social science specialist university, with a global community in the heart of London and a commitment to shape the world.
a blog by Jim Bliss
W3C's easy-to-use markup validation service, based on SGML and XML parsers.
Free math lessons and math homework help from basic math to algebra, geometry and beyond. Students, teachers, parents, and everyone can find solutions to their math problems instantly.
Google logo Museum is an online collection of official Google doodle logos from all over the world.
We build strong partnerships with our authors. Apress offers authors the chance to work with a publisher with the marketing, distribution, and
Mathematica - Formons ensemble les math�maticiens de l'avenir - Let's shape together the mathematicians of the future
COMAP is an award-winning mathematics education non-profit organization that has worked with educators, students, businesses, and industry to support and create
Spiritual people unite!