goto qedeq.orgHilbert 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
Michael Meyling | Personal Portfolio michaelmeyling.de
lqpman's Patchwork Quilt | maths patched to physics patched to… whatever lqpman.wordpress.com
maths patched to physics patched to... whatever
arXiv.org e-Print archive arxiv.org
Wolfram: Computation Meets Knowledge wolfram.com
Wolfram, creators of the Wolfram Language, Wolfram|Alpha, Mathematica, Development Platform, Data Science Platform, Finance Platform, SystemModeler...
Top Games - Best free online games to play topminigames.com
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.
ScienceBlogs - Where the world discusses science. scienceblogs.com
Homepage | Mathematical Association of America maa.org
Williams College williams.edu
Michigan Technological University mtu.edu
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.
Studying of mathematics online onlinemschool.com
Site for learning of mathematics online. Site for learning of mathematics online. Online calculators and different types of mathematical tasks.
Saltire Software :: Mathematical Technology for Industry and Education saltire.com
We create mathematical software for engineers and aducators. We also provide software engineering consultation.
mathStatica mathstatica.com
mathStatica - Mathematical Statistics with Mathematica
Republic of Mathematics — Mathematics of the people, for the people, by the people: encouraging mathematical happiness republicofmath.com
Mathematics of the people, for the people, by the people: encouraging mathematical happiness
Sangaku (Japanese votive tablets featuring mathematical puzzles) sangaku.info
American Mathematical Society :: Homepage ams.org
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 - National Science Foundation nsf.gov
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.
Home | 6th European Congress of Mathematics 6ecm.pl
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.
Digital solutions for Math and Science Education | Wiris wiris.com
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.
All Elementary Mathematics bymath.com
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.
Ars Mathematica | Dedicated to the mathematical arts. arsmath.net
Simon Singh | simonsingh.net simonsingh.net
Foundation Compositio Mathematica compositio.nl
Volkscomputer volkscomputer.biz
Association for Psychological Science – APS psychologicalscience.org
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.
Logical Fallacies: The Fallacy Files fallacyfiles.org
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: music software for Linux rosegardenmusic.com
Rosegarden is a powerful audio, MIDI and score editing and sequencing environment for musicians.
LSAT Course Packages lsatblog.blogspot.com
Your guide to a higher LSAT score
Human Transit — The professional blog of public transit consultant Jarrett Walker. humantransit.org
The professional blog of public transit consultant Jarrett Walker.
PhilPapers: Online Research in Philosophy philpapers.org
LSE Home lse.ac.uk
LSE is a social science specialist university, with a global community in the heart of London and a commitment to shape the world.
The Quiet Road - a blog by Jim Bliss numero57.net
a blog by Jim Bliss
The Road to Reality | Musings of an Aspiring Physicist adler.wordpress.com
The W3C Markup Validation Service validator.w3.org
W3C's easy-to-use markup validation service, based on SGML and XML parsers.
Math.com - World of Math Online math.com
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.
Computer Science, Set Theory, and Web Publishing e-atheneum.net
Google Logo Museum google-logo-museum.blogspot.com
Google logo Museum is an online collection of official Google doodle logos from all over the world.
Apress apress.com
We build strong partnerships with our authors. Apress offers authors the chance to work with a publisher with the marketing, distribution, and
Wikipedia kaa.wikipedia.org
Mathematica - Thales, Byron-Germain, Fibonacci, Pythagoras, Euler, Lagrange, Newton mathematica.ca
Mathematica - Formons ensemble les math�maticiens de l'avenir - Let's shape together the mathematicians of the future
Mathematics Resources and Contests - Consortium for Mathematics and its Applications - COMAP comap.com
COMAP is an award-winning mathematics education non-profit organization that has worked with educators, students, businesses, and industry to support and create
Spirituality in Society, Politics and Science | Spiritual people unite! spiritualpoliticscience.wordpress.com
Spiritual people unite!
