Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » User Profile: skokody_@_ahoo.com

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 - Human-Readable? sci.math Jun 25, 2009 10:49 AM
3 Re: Computer-verified Mathematical Proof as Standard sci.math Jun 24, 2009 10:33 AM
4 Re: Computer-verified Mathematical Proof as Standard sci.math Jun 24, 2009 8:29 AM
5 Re: Computer-verified Mathematical Proof as Standard sci.math Jun 24, 2009 8:15 AM
6 Re: Formal Proof Language Example - Human-Readable? 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



[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.