Re: [Axiom-developer] Computational Mathematics, proofs, and correctness

[daly]

>This was "Master Thesis", unpublished and in Polish.  This
>is work that students are supposed to do to get finish
>their study and get Master degree.  Most of the work
>presents material from literature, the proof is original.
>I can send you a .ps file if you want.

My command of English is marginal at best. I'm sure that a
thesis written in Polish would exceed my abilities. Thanks
anyway. 

If your student referenced any interesting work in English
in the bibliography I'd appreciate the reference. I think I
need to research a range of existing work.

Tim