Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > pl.comp.programming > #33636

Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa?

Newsgroups pl.comp.programming
Date 2020-01-02 03:36 -0800
References (3 earlier) <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>
Message-ID <2d3d1975-d28b-45fc-bb7d-aec76c0bbddf@googlegroups.com> (permalink)
Subject Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa?
From godek.maciek@gmail.com

Show all headers | View raw

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

Back to pl.comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? osobliwy nick <osobliwy.nick@gmail.com> - 2019-12-06 14:25 -0800
  Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-07 11:58 -0800
    Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? osobliwy nick <osobliwy.nick@gmail.com> - 2019-12-07 12:44 -0800
      Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-07 13:38 -0800
        Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? osobliwy nick <osobliwy.nick@gmail.com> - 2019-12-10 19:24 -0800
        Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Roman Tyczka <noemail@because.no> - 2019-12-12 09:59 +0100
    Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2019-12-08 11:24 -0800
      Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? osobliwy nick <osobliwy.nick@gmail.com> - 2019-12-10 19:40 -0800
        Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-11 03:53 -0800
          Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2019-12-11 11:46 -0800
            Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-11 12:47 -0800
              Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2019-12-12 10:25 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-12 14:04 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2019-12-13 12:06 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-13 13:37 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2019-12-14 11:02 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-15 02:54 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2019-12-15 14:38 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-15 15:05 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2019-12-16 11:02 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-16 12:53 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2019-12-17 10:19 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Roman Tyczka <noemail@because.no> - 2019-12-18 17:42 +0100
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2019-12-19 02:09 -0800
            Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? slawek <x.y@org.org> - 2019-12-31 15:35 +0100
              Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2020-01-01 14:25 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? slawek <x.y@org.org> - 2020-01-02 12:13 +0100
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2020-01-02 12:22 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? slawek <x.y@org.org> - 2020-01-03 02:18 +0100
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2020-01-04 11:00 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2020-01-02 03:36 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2020-01-02 12:26 -0800
                Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2020-01-02 12:32 -0800
          Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? osobliwy nick <osobliwy.nick@gmail.com> - 2019-12-13 17:44 -0800
            Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-14 02:10 -0800
            Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? bartekltg <bartekltg@gmail.com> - 2020-01-08 03:27 -0800
  Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? osobliwy nick <osobliwy.nick@gmail.com> - 2019-12-13 17:58 -0800
    Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Mateusz Viste <mateusz@xyz.invalid> - 2019-12-14 09:01 +0100
      Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Piotr Chamera <piotr_chamera@poczta.onet.pl> - 2019-12-14 11:16 +0100
        Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Piotr Chamera <piotr_chamera@poczta.onet.pl> - 2019-12-14 11:18 +0100
    Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? Maciej Sobczak <see.my.homepage@gmail.com> - 2019-12-14 11:18 -0800
    Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? godek.maciek@gmail.com - 2019-12-18 13:19 -0800
    Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? "M.M." <mmarszik@gmail.com> - 2019-12-18 14:37 -0800
    Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? bartekltg <bartekltg@gmail.com> - 2020-01-08 02:12 -0800
      Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa? slawek <x.y@org.org> - 2020-01-11 21:54 +0100

csiph-web