-
Data: 2020-01-02 21:26:58
Temat: Re: Ile czasu zajmie komputerowi rozszerzony algorytm euklidesa?
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]> 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
Następne wpisy z tego wątku
- 02.01.20 21:32 g...@g...com
- 04.01.20 20:00 Maciej Sobczak
- 08.01.20 11:12 bartekltg
- 08.01.20 12:27 bartekltg
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-06-09 Co to za kabelek się dynda?
- 2024-06-09 Re: NSA orzekł że jest przypadek gdy można odebrać obywatelstwo pomimo KRP-34.2
- 2024-06-06 Nowy sprytny tel. z Androidem 13. - OSTRZEŻENIE!!!
- 2024-06-08 czarny punkt - Małdyty
- 2024-06-08 Protesters attempt to storm Tesla's factory in Germany
- 2024-06-07 przydałaby się grupa o wszystkim
- 2024-06-07 Rowerzyści! Co się z wami dzieje?!
- 2024-06-07 Peltier
- 2024-06-07 Jakie znacie działające serwery grup dyskusyjnych?
- 2024-06-07 nerwica lękowa
- 2024-06-07 Jakie znacie działające serwery grup dyskusyjnych?
- 2024-06-07 Jakie znacie działające serwery grup dyskusyjnych?
- 2024-06-08 Warszawa => Spedytor międzynarodowy <=
- 2024-06-08 Warszawa => QA Manager <=
- 2024-06-08 Warszawa => Projektant/Programista React Native <=