JARS.COM - The #1 Java Review Service
The #1 Java Review Service
JARS - Java Reviews for the Web Developer
JARS - Submit Graphic/Resource
HOME |
JARS Ratings JAVA Categories Resources Developer's Corner Judges' Chambers Earthweb Links

internet.commerce
Partners & Affiliates
Compare Prices
Computer Hardware
PDA Phones & Cases
Calling Cards
Best Price
Desktop Computers
Phone Cards
Server Racks
Find Software
Computer Deals
KVM over IP
Shop Online
Dental Insurance
Laptop Batteries


  Rethinking the Datacenter
Sponsored by HP
Today's datacenters need to increase utilization, get control over power and cooling costs, and align with business objectives. Download this eBook to learn about the challenges facing the data center in a world where digital information is growing at a torrid pace and costs are being held in check. Learn more. »
 
  Putting the Green into IT
Sponsored by HP
Electricity use in data centers is skyrocketing, sending energy bills through the roof, creating environmental concerns and generating negative publicity. "Going Green" means looking to technologies like virtualization, energy-efficient chips and racks, and implementing policies that extend beyond the data center. Learn more. »
 
  Managing the Modern Network
Sponsored by HP
In a global economy where information crosses the globe in an instant, and where Web-based applications power business, it's more important than ever to ensure your network is safe from threats and optimized to deliver the data your business needs. »
 
  Evaluating Software as a Service for Your Business
Sponsored by Webroot
Is Software as a Service just hype, or is something really going on here? See if your company can benefit as SaaS tries to change the face of the enterprise. »
 
  Is Your Disaster Recovery Plan Good Enough?
Sponsored by HP
Preparing for a disaster is more often than not part of the storage planning process, and it is one of the most difficult tasks, since it includes local hardware and software, networking equipment, and a test plan. Learn how to get disaster recovery right. »
 


 

JARS NEWSLETTER

LATEST DEVELOPER.COM HEADLINES

CALLING ALL DEVELOPERS

JARS needs more developers to volunteer as Jars Judges. Join the fun today and participate in rating Jars submissions.


Top 1% Rated

Top 5% Rated

Top 25% Rated

Top Rated


 
Best Practices for Developing a Web Site: Checklists, Tips, Strategies & More. Download Exclusive eBook Now.

Jars > Science > Mathematics > Metamath Solitaire

JARS Automatic Resource Listing
Category: Mathematics Language: Java

Metamath Solitaire

Essentially everything that is possible to know in mathematics can be derived from a handful of axioms known as "Zermelo-Fraenkel set theory," which is the culmination of years of effort to isolate the essential nature of mathematics and is one of the most impressive achievements of humankind. Metamath Solitaire is an educational applet with a point-and-click interface that lets you play with these axioms to prove simple theorems, giving you a glimpse at how ultimately all of mathematics can be derived.

Submitted by : Norman Megill
Resource URL : http://us.metamath.org/mmsolitaire/mms.html
Source Code : http://us.metamath.org/mmsolitaire/mm.java
Detailed Review : http://
Type : Applet
Category : Mathematics
Language : Java
Marketing : Freeware
Development : Release
History : New Submission
Version :
Date Submitted : 26-APR-98
Tools:
Add www.jars.com to your favorites
Add www.jars.com to your browser search box
IE 7 | Firefox 2.0 | Firefox 1.5.x
Receive news via our XML/RSS feed





Developing Intelligent Communications? Visit the Avaya DevConnect Center on DevX.
Intel Go Parallel Portal: Translating Multicore Power into Application Performance
Whitepaper: Enterprise Information Integration--Deployment Best Practices for Low-Cost Implementation
Is it time to make your move to the multi-threaded and parallel processing world? Find out!
Flash Demo: Learn how IBM Information Server Blade is easy to manage, highly scalable and efficient.

Latest Discussion Threads from CodeGuru
Latest Java Threads
TOPIC BY REPLIES UPDATED
Problem with run Jsp file dudi9999 0 Today 03:53 PM
Deck of Cards raphnguyen 6 Today 04:37 PM
3 easy XML theory questions hertshelp 5 Today 07:07 AM
XSL output problem Utamaru 0 Yesterday 11:40 AM
MySql 'load data local infile' command errors out HairyMonkeyMan 0 Yesterday 11:20 AM
EDIT a linked CSS file Mitsukai 5 Today 01:33 PM
Question about read buffers winston2020 1 Today 08:48 AM
Xerces C++ - Program displaying null results rAiN2308 1 Yesterday 02:21 PM
same div tag through several html pages... please help. onyxxxx 1 Yesterday 10:45 AM
Help with polymorphism gammaman 4 Today 04:31 PM



JupiterOnlineMedia

internet.comearthweb.comDevx.commediabistro.comGraphics.com

Search:

Jupitermedia Corporation has two divisions: Jupiterimages and JupiterOnlineMedia

Jupitermedia Corporate Info


Legal Notices, Licensing, Reprints, & Permissions, Privacy Policy.

Advertise | Newsletters | Tech Jobs | Shopping | E-mail Offers

Solutions
Whitepapers and eBooks
Microsoft Article: HyperV-The Killer Feature in WinServer ‘08
Avaya Article: How to Feed Data into the Avaya Event Processor
Microsoft Article: Install What You Need with Win Server ‘08
HP eBook: Putting the Green into IT
Whitepaper: HP Integrated Citrix XenServer for HP ProLiant Servers
Intel Go Parallel Portal: Interview with C++ Guru Herb Sutter, Part 1
Intel Go Parallel Portal: Interview with C++ Guru Herb Sutter, Part 2--The Future of Concurrency
Avaya Article: Setting Up a SIP A/S Development Environment
IBM Article: How Cool Is Your Data Center?
Microsoft Article: Managing Virtual Machines with Microsoft System Center
HP eBook: Storage Networking , Part 1
Microsoft Article: Solving Data Center Complexity with Microsoft System Center Configuration Manager 2007
MORE WHITEPAPERS, EBOOKS, AND ARTICLES
Webcasts
Intel Video: Are Multi-core Processors Here to Stay?
On-Demand Webcast: Five Virtualization Trends to Watch
HP Video: Page Cost Calculator
Intel Video: APIs for Parallel Programming
HP Webcast: Storage Is Changing Fast - Be Ready or Be Left Behind
Microsoft Silverlight Video: Creating Fading Controls with Expression Design and Expression Blend 2
MORE WEBCASTS, PODCASTS, AND VIDEOS
Downloads and eKits
Sun Download: Solaris 8 Migration Assistant
Sybase Download: SQL Anywhere Developer Edition
Red Gate Download: SQL Backup Pro and free DBA Best Practices eBook
Red Gate Download: SQL Compare Pro 6
Iron Speed Designer Application Generator
MORE DOWNLOADS, EKITS, AND FREE TRIALS
Tutorials and Demos
How-to-Article: Preparing for Hyper-Threading Technology and Dual Core Technology
eTouch PDF: Conquering the Tyranny of E-Mail and Word Processors
IBM Article: Collaborating in the High-Performance Workplace
HP Demo: StorageWorks EVA4400
Intel Featured Algorhythm: Intel Threading Building Blocks--The Pipeline Class
Microsoft How-to Article: Get Going with Silverlight and Windows Live
MORE TUTORIALS, DEMOS AND STEP-BY-STEP GUIDES