home *** CD-ROM | disk | FTP | other *** search
- Xref: sparky sci.math:18647 sci.math.symbolic:3497
- Newsgroups: sci.math,sci.math.symbolic
- Path: sparky!uunet!mcsun!sun4nl!dutrun!dutiws!dutiai!hdev
- From: hdev@dutiai.tudelft.nl (Hans de Vreught)
- Subject: Re: Which CAS have BA's in math?
- Message-ID: <hdev.727703477@dutiai>
- Sender: news@dutiws.twi.tudelft.nl (Dutiws News Administration)
- Organization: Delft University of Technology
- References: <1jhjkfINN8m9@function.mps.ohio-state.edu> <1993Jan19.205434.10234@leland.Stanford.EDU> <scott.727648403@trimtab> <1993Jan22.033003.19619@CSD-NewsHost.Stanford.EDU>
- Distribution: sci
- Date: Fri, 22 Jan 1993 11:51:17 GMT
- Lines: 16
-
- rivin@SAIL.Stanford.EDU (Igor Rivin) writes:
-
- >(b) Major point: Their work is very interesting, but if you did your
- >exams with as much help as their system (or any theorem proving
- >system, for that matter) gets, you would get kicked out of school
- >pronto for plagiarism.
-
- Not entirely true: plagiarism is the use of text *without* permission of the
- authors. You can't plagiarise with permission. Fraud is the more likely reason
- why they would be ousted.
-
- --
- Hans de Vreught | John von Neumann:
- hdev@dutiba.twi.tudelft.nl | Young man, in mathematics
- Delft University of Technology (TWI-ThI) | you don't understand things,
- The Netherlands | you just get used to them.
-