Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)
- 22:44, 13 lut 2013 (różn. | hist.) . . (+222) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:42, 13 lut 2013 (różn. | hist.) . . (+191) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:36, 13 lut 2013 (różn. | hist.) . . (+261) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:32, 13 lut 2013 (różn. | hist.) . . (+375) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:20, 13 lut 2013 (różn. | hist.) . . (+281) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:04, 13 lut 2013 (różn. | hist.) . . (+214) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 21:34, 13 lut 2013 (różn. | hist.) . . (+573) . . SpecVer/IloczynSkalarny (→Algorytm)
- 21:04, 13 lut 2013 (różn. | hist.) . . (+280) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 20:52, 13 lut 2013 (różn. | hist.) . . (+82) . . Wybrane przykłady
- 20:49, 13 lut 2013 (różn. | hist.) . . (+63) . . N SpecVer/IloczynSkalarny (Utworzył nową stronę „== Algorytm == == Dowód poprawności == == Uwagi końcowe ==”)
- 20:04, 13 lut 2013 (różn. | hist.) . . (-4) . . SpecVer/Winograd (→Dowód poprawności)
- 18:11, 13 lut 2013 (różn. | hist.) . . (+54) . . SpecVer/Winograd (→Uwagi końcowe)
- 17:06, 13 lut 2013 (różn. | hist.) . . (+359) . . SpecVer/Winograd (→Dowód poprawności)
- 16:50, 13 lut 2013 (różn. | hist.) . . (+488) . . Algorytm Winograda (ostatnia)
- 16:28, 13 lut 2013 (różn. | hist.) . . (+94) . . Wybrane przykłady
- 12:51, 13 lut 2013 (różn. | hist.) . . (+77) . . SpecVer/Winograd (→Uwagi końcowe)
- 12:42, 13 lut 2013 (różn. | hist.) . . (-19) . . SpecVer/Winograd (→Dowód lematu 5)
- 12:41, 13 lut 2013 (różn. | hist.) . . (-127) . . SpecVer/Winograd (→Dowód lematu 5)
- 12:40, 13 lut 2013 (różn. | hist.) . . (+255) . . SpecVer/Winograd (→Dowód lematu 5)
- 09:55, 13 lut 2013 (różn. | hist.) . . (0) . . SpecVer/Winograd (→Dowód lematu 1)
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)