Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


User Profile: spibo_@_mail.com



User Profile for: spibo_@_mail.com

UserID:

554752

Name:

Spiros Bousbouras

Email:


Registered:

9/18/08

Total Posts:

51

Recent Messages

Discussion

Posted

1

Re: Announce: FriCAS 1.0.8 has been released

sci.math.symbolic

Oct 25, 2009 9:10 PM

2

Re: Announce: FriCAS 1.0.8 has been released

sci.math

Oct 25, 2009 9:10 PM

3

Re: National Exam toughie

sci.math

Jun 23, 2009 3:47 PM

4

Re: Computerverified Mathematical Proof as Standard

sci.math

Jun 23, 2009 9:56 AM

5

Re: Computerverified Mathematical Proof as Standard

sci.math

Jun 23, 2009 9:51 AM

6

Re: Simple vector space question

sci.math

Jun 23, 2009 9:24 AM

7

Re: Computerverified Mathematical Proof as Standard

sci.math

Jun 21, 2009 11:16 PM

8

Re: Computerverified Mathematical Proof as Standard

sci.math

Jun 21, 2009 11:08 PM

9

Re: Computerverified Mathematical Proof as Standard

sci.math

Jun 21, 2009 11:03 PM

10

Re: Computerverified Mathematical Proof as Standard

sci.math

Jun 21, 2009 10:31 PM

Show all user messages

