From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,4c414b671e6762ef X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,UTF8 Received: by 10.180.96.42 with SMTP id dp10mr627417wib.2.1345237670491; Fri, 17 Aug 2012 14:07:50 -0700 (PDT) Path: n2ni181733151win.0!nntp.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!209.197.12.246.MISMATCH!nx02.iad01.newshosting.com!newshosting.com!194.74.65.76.MISMATCH!news-peer0!news-peer1!btnet!zen.net.uk!hamilton.zen.co.uk!xlned.com!feeder5.xlned.com!feed.xsnews.nl!border-1.ams.xsnews.nl!plix.pl!newsfeed2.plix.pl!217.153.128.51.MISMATCH!nf1.ipartners.pl!ipartners.pl!news.nask.pl!news.nask.org.pl!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: copyright questions Date: Wed, 15 Aug 2012 02:49:35 +0200 Organization: Ada @ Home Message-ID: References: <9aa82823-3b7b-4212-949a-780efa7d7cc1@googlegroups.com> <7c43f9ce-3cb4-4116-948b-9801238ed47b@googlegroups.com> NNTP-Posting-Host: ExeDtHk+bhWT2UUrrzv9KQ.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.01 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2012-08-15T02:49:35+02:00 List-Id: Le Wed, 15 Aug 2012 01:46:21 +0200, Vasiliy Molostov = a =C3=A9crit: >> For software, patents are not required: you can decide to not publish= = >> sources > > How about jpeg2000 and wavelet compression algorithms (for example - E= CW = > file format and its client access library)? That's simple: some copyrights (not all) and patents (here, all) are not= = compatible with standards, and things like Jpeg2000 are to be standards,= = or else they serves nothing (Jpeg2000 failed in that matter). Either one want to propose a standard, and then should (must not, but = should) not undermine the standard with things preventing its adoption, = or = else he/she should only defines its copyrighted or patented material for= = internal process or internals of a suite only, not foreign process = exchanges (purpose of a standard). Nothing, no law, requires it, but that's the basic of honesty and clarit= y = (personal opinion). But yes, I know you're right, that's subject to copyright and even paten= ts = in some cases. >> than to protect non-trivial original computation techniques distribut= ed = >> as machine instructions). > > mathematics are not patentable (but copyrightable) since they are = > abstract (not intended for use by hand), I feel to understand the opposite. In the mathematic area, what's copyrightable, is formulation, not = formulas. One can copyright a course or pedagogical papers (obviously), = = but not the formal and abstract content, as long as any one with = sufficient knowledge could create the same on its own side. Seed of a = proof about it: when paternity of a formal invention (math, logic, algo,= = =E2=80=A6) is discussed, it often enough occurs that multiple paternitie= s are = added as the time goes. Ex. a proof was made during the last decade, of = = the Four Colors Theorem, by a Microsoft researcher (using Coq, a proof = assistant from france). Later, it was discovered in the 1970s, someone = rather succeed with the same enterprise, using an even cleaner math basi= s = if I'm not wrong. Different literatures exposing that proof, for differe= nt = audiences (math gurus, novices, students, =E2=80=A6), is automatically s= ubject to = copyright (even if the author did not explicitly stated any copyright, = that's a common point in all world's law), but the proof on it=E2=80=91s= elf, is = not. However, if you know an example of a copyrighted math proof or invention= = or formulas, I would be glad to acknowledge a reference, especially that= = I'm interested in that kind of topics (copyrights and patents and their = = social and technical effects). Cheers -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [1] [1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers= ity