Teos y demos

Mathematical theorems and proofs

A smart database, created by Luis Valero Elizondo

Welcome to Teos y demos!

Proof zone

Important notice: If you are one of my students at the Universidad Michoacana, you will not get credit for anything you do on this page. If you want to work on this page to review the subject matter, that's quite all right (and I strongly encourage you to do so), but if you want to receive credit for your homework, you must go to your personal student page (follow the link below), and do the activities assigned to your class. If you have to do an interactive proof, you will automatically be taken back to this page (or rather, the frame below), but the computer will know that you are one of my students and you will get credit for your proofs.

You will do your proof in the frame below. Enter the number of the theorem you want to prove:     

Enter the numbers of the theorems you want to use in your proof, separated by commas. If your theorem comes with a default proof, you can leave this blank and use the theorems from that proof.

Enter the numbers of the symbols you want to use in your proof, separated by commas. If your theorem comes with a default proof, you can leave this blank and use the symbols from that proof.

Warning! If your theorem does not have a default proof, it may be impossible to prove it with the theorems from the database.