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


User Profile: skokody_@_ahoo.com



User Profile for: skokody_@_ahoo.com

UserID:

94675

Name:

Slawomir

Email:


Registered:

12/8/04

Total Posts:

15

Recent Messages

Discussion

Posted

1

Re: Math Notations, Computer Languages, and the

sci.math

Sep 5, 2009 10:41 AM

2

Re: Formal Proof Language Example  HumanReadable?

sci.math

Jun 25, 2009 10:49 AM

3

Re: Computerverified Mathematical Proof as Standard

sci.math

Jun 24, 2009 10:33 AM

4

Re: Computerverified Mathematical Proof as Standard

sci.math

Jun 24, 2009 8:29 AM

5

Re: Computerverified Mathematical Proof as Standard

sci.math

Jun 24, 2009 8:15 AM

6

Re: Formal Proof Language Example  HumanReadable?

sci.math

Jun 23, 2009 2:37 PM

7

Re: Formal Mathematics self study course

sci.math

May 29, 2009 11:22 AM

8

Re: Formalizing all of mathematics

sci.math.research

Mar 9, 2009 5:29 AM

9

Re: Need some info regarding free math tools.

sci.math.symbolic.independent

Dec 31, 2002 12:07 PM

10

Re: Need some info regarding free math tools.

sci.math

Dec 31, 2002 12:07 PM

Show all user messages

