Article View: pl.comp.programming
Article #216622Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa?
From: godek.maciek
Date: Thu, 02 Jan 2020 20:32
Date: Thu, 02 Jan 2020 20:32
8 lines
2207 bytes
2207 bytes
W dniu czwartek, 2 stycznia 2020 21:27:02 UTC+1 użytkownik Maciej Sobczak napisał: > > 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. Zgadza się, w kontekście tej dyskusji to przykład zupełnie od czapy.
Technical Details
Message-ID:
<c4321c8a-a652-49c1-a642-95d903c1582e@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!goblin1!goblin.stu.neva.ru!g89no6620102qtd.0!news-out.google.com!w29ni519qtc.0!nntp.google.com!g89no6620098qtd.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> <e0776428-c257-487f-b555-9aac3d542204@googlegroups.com>Show Full Headers
Complete Article Headers
X-Received: by 2002:ac8:5048:: with SMTP id h8mr60224754qtm.328.1577997120709; Thu, 02 Jan 2020 12:32:00 -0800 (PST) X-Received: by 2002:ac8:424f:: with SMTP id r15mr60198062qtm.71.1577997120561; Thu, 02 Jan 2020 12:32:00 -0800 (PST) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!goblin1!goblin.stu.neva.ru!g89no6620102qtd.0!news-out.google.com!w29ni519qtc.0!nntp.google.com!g89no6620098qtd.0!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: pl.comp.programming Date: Thu, 2 Jan 2020 12:32:00 -0800 (PST) In-Reply-To: <e0776428-c257-487f-b555-9aac3d542204@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=83.25.229.148; posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r NNTP-Posting-Host: 83.25.229.148 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> <e0776428-c257-487f-b555-9aac3d542204@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <c4321c8a-a652-49c1-a642-95d903c1582e@googlegroups.com> Subject: Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? From: godek.maciek@gmail.com Injection-Date: Thu, 02 Jan 2020 20:32:00 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit