W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21434| Tytuł: | Sorting Operators for Finite Sequences |
| Autorzy: | Nakamura, Yatsuka |
| Data wydania: | 2004 |
| Data dodania: | 5-lis-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 12, Issue 1, Pages 1-4 |
| Abstrakt: | Two kinds of sorting operators, descendent one and ascendent one are introduced for finite sequences of reals. They are also called rearrangement of finite sequences of reals. Maximum and minimum values of finite sequences of reals are also defined. We also discuss relations between these concepts. |
| Afiliacja: | Shinshu University, Nagano |
| URI: | http://hdl.handle.net/11320/21434 |
| ISSN: | 1426-2630 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2005 University of Białystok This work is licensed under the Creative Commons License. |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2004, Volume 12, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Sorting_Operators_for_Finite_Sequences.pdf | 76,04 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
