Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa?

eGospodarka.pl › Grupy › pl.comp.programming › Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? › Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa?

X-Received: by 2002:a37:2e43:: with SMTP id u64mr61226692qkh.387.1577964962667; Thu,
02 Jan 2020 03:36:02 -0800 (PST)
X-Received: by 2002:a37:2e43:: with SMTP id u64mr61226692qkh.387.1577964962667; Thu,
02 Jan 2020 03:36:02 -0800 (PST)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news.samoylyk.n
et!weretis.net!feeder7.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.
160.216.MISMATCH!g89no5458292qtd.0!news-out.google.com!w29ni446qtc.0!nntp.googl
e.com!g89no5458287qtd.0!postnews.google.com!google-groups.googlegroups.com!not-
for-mail
Newsgroups: pl.comp.programming
Date: Thu, 2 Jan 2020 03:36:02 -0800 (PST)
In-Reply-To: <6...@g...com>
Complaints-To: g...@g...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: <e...@g...com>
<f...@g...com>
<7...@g...com>
<1...@g...com>
<a...@g...com>
<d...@g...com>
<qufmb7$h9v$1@news.icm.edu.pl>
<6...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2...@g...com>
Subject: Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa?
From: g...@g...com
Injection-Date: Thu, 02 Jan 2020 11:36:02 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:214607
[ ukryj nagłówki ]

W dniu środa, 1 stycznia 2020 23:25:50 UTC+1 użytkownik Maciej Sobczak napisał:
> > > W temacie eksploracji zagadnień matematycznych Wolfram nie ma merytorycznej
konkurencji.
> >
> > Polimeryzowałbym.
>
> Super, noworoczne otwarcie. :-)
>
> > 1. Jest droga.
>
> Przecież pisałem o merytorycznej konkurencji.
>
> I oczywiście zależy co to znaczy "droga". Są programy, przy zakupie których
Mathematica ginie w finansowym szumie.
>
> > 2. Nie potrafi tego co MISAR. Ok, MISAR to zupełnie inna półka.
> > Choć niewątpliwie matematyka.
>
> https://en.wikipedia.org/wiki/Misar
>
> Poproszę o dalsze wskazówki. To jest tak inna półka, że nawet tej półki nie
znalazłem.

Na ile mogę się domyślić, chodzi o projekt MIZAR, zapoczątkowany przez Andrzeja
Trybulca z Białegostoku.

http://mizar.org/

Projekt podobny np. do Coq albo systemu LCF Robina Milnera (dla którego powstał język
ML).

W niektórych kręgach notacja Mizara jest popularną notacją do formalizacji dowodów
matematycznych