TWiki>
Mizar Web>MathematicsSubjectClassification>68>68P>68P10 (2006-11-24, MarcoRiccardi)EditAttach
Mizar Web>MathematicsSubjectClassification>68>68P>68P10 (2006-11-24, MarcoRiccardi)EditAttach68P10 Theory of data - Searching and sorting
Primary classification
| # | Article | ||
|---|---|---|---|
| scmbsort | Bubble Sort on SCM+FSA | JingChao? Chen and Yatsuka Nakamura | |
| scmisort | Insert Sort on SCM+FSA | JingChao? Chen | |
| scpisort | Insert Sort on SCMPDS | JingChao? Chen | |
| scpqsort | Quick Sort on SCMPDS | JingChao? Chen | |
Secondary classification
| # | Article | ||
|---|---|---|---|
| WebForm | |
|---|---|
| TopicClassification | MathSC2000 |
| ProjectGroup? | |
| ImplementationDate? | N/A |
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2006-11-24 - 18:32:58 - MarcoRiccardi
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback