Article View: pl.comp.programming
Article #216621Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa?
From: Maciej Sobczak
Date: Thu, 02 Jan 2020 20:26
Date: Thu, 02 Jan 2020 20:26
8 lines
2155 bytes
2155 bytes
> Na ile mogę się domyślić, chodzi o projekt MIZAR, zapoczątkowany przez Andrzeja Trybulca z Białegostoku. > > http://mizar.org/ Ale to nie konkuruje z Wolframem, wydaje się raczej istnieć w zupełnie innej przestrzeni. Tzn. wyobrażam sobie, że ktoś używa obu a nie jednego zamiast drugiego. -- Maciej Sobczak * http://www.inspirel.com
Technical Details
Message-ID:
<e0776428-c257-487f-b555-9aac3d542204@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!g89no6608769qtd.0!news-out.google.com!w29ni519qtc.0!nntp.google.com!g89no6608761qtd.0!postnews.google.com!google-groups.googlegroups.com!not-for-mailReferences:
<ed31de14-90d3-405e-96e3-a82fcc32b9cc@googlegroups.com> <f7034d01-5d38-40c6-8342-c911e426a20d@googlegroups.com> <72e58de1-0684-4e65-8e2e-9fb4edbb9172@googlegroups.com> <1796d3fc-8036-488e-8346-c5073aab2b5d@googlegroups.com> <a0f802d0-fb07-43d9-9d76-9ea33f556ed9@googlegroups.com> <d2cf63a5-4776-439f-a5a7-c028764e6b33@googlegroups.com> <qufmb7$h9v$1@news.icm.edu.pl> <60aefea6-782c-42c7-9909-96f005d65b51@googlegroups.com> <2d3d1975-d28b-45fc-bb7d-aec76c0bbddf@googlegroups.com>Show Full Headers
Complete Article Headers
X-Received: by 2002:aed:3eee:: with SMTP id o43mr62371824qtf.33.1577996821606; Thu, 02 Jan 2020 12:27:01 -0800 (PST) X-Received: by 2002:a37:9982:: with SMTP id b124mr56251346qke.245.1577996819251; Thu, 02 Jan 2020 12:26:59 -0800 (PST) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!g89no6608769qtd.0!news-out.google.com!w29ni519qtc.0!nntp.google.com!g89no6608761qtd.0!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: pl.comp.programming Date: Thu, 2 Jan 2020 12:26:58 -0800 (PST) In-Reply-To: <2d3d1975-d28b-45fc-bb7d-aec76c0bbddf@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=213.108.152.51; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S NNTP-Posting-Host: 213.108.152.51 References: <ed31de14-90d3-405e-96e3-a82fcc32b9cc@googlegroups.com> <f7034d01-5d38-40c6-8342-c911e426a20d@googlegroups.com> <72e58de1-0684-4e65-8e2e-9fb4edbb9172@googlegroups.com> <1796d3fc-8036-488e-8346-c5073aab2b5d@googlegroups.com> <a0f802d0-fb07-43d9-9d76-9ea33f556ed9@googlegroups.com> <d2cf63a5-4776-439f-a5a7-c028764e6b33@googlegroups.com> <qufmb7$h9v$1@news.icm.edu.pl> <60aefea6-782c-42c7-9909-96f005d65b51@googlegroups.com> <2d3d1975-d28b-45fc-bb7d-aec76c0bbddf@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <e0776428-c257-487f-b555-9aac3d542204@googlegroups.com> Subject: Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? From: Maciej Sobczak <see.my.homepage@gmail.com> Injection-Date: Thu, 02 Jan 2020 20:27:01 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit