Wikipedia:WikiProject Mathematics/PlanetMath Exchange/68-XX Computer science
Appearance
This page provides a list of all articles available at PlanetMath in the following topic:
- 68-XX Computer science.
This list will be periodically updated. Each entry in the list has three fields:
- PM : The first field is the link to the PlanetMath article, along with the article's object ID.
- WP : The second field is either a "guessed" link to a correspondingly named Wikipedia article, produced by the script which generated the list, or one or more manually entered links to the corresponding Wikipedia articles on the subject.
- Status : The third field is the status field, which explains the current status of the entry. The recommended status entries are:
Status | means PM article |
N | not needed |
A | adequately covered |
C | copied |
M | merged |
NC | needs copying |
NM | needs merging |
- Please update the WP and Status fields as appropriate.
- if the WP field is correct please remove the qualifier "guess".
- If the corresponding Wikipedia article exists, but the link to it is wrong, please fix the link.
- If you copy or merge an article from PlanetMath, please update the WP and Status fields for that entry.
- If you have any comments, for example, thoughts on how the PlanetMath article compares to the corresponding Wikipedia article(s), please place such comments on a new indented line following the entry. Comments of this kind are very valuable.
Don't forget to include the relevant template if you copy over text or feel like an external link is warranted
- {{planetmath|id=|title=}} for copied over text
- {{planetmath reference|id=|title=}} for an external link
See the main page for examples and usage criteria.
One can use the web-based program Pmform to convert PlanetMath articles to the Wikipedia format. As a side benefit, this tool will place the PlanetMath template for you.
68M20 Performance evaluation; queueing; scheduling
- PM: Amdahl's Law, id=1133 -- WP: Amdahl's law -- Status: WP article more complete
- CryptoDerk 06:38, Mar 12, 2005 (UTC)
- PM: efficiency, id=1134 -- WP: speedup -- Status: WP article adequate
- CryptoDerk 06:41, Mar 12, 2005 (UTC)
- PM: proof of Amdahl's Law, id=3622 -- WP: Amdahl's law -- Status: WP article adequate
- CryptoDerk 06:50, Mar 12, 2005 (UTC)
68N18 Functional programming and lambda calculus
- PM: Church integer, id=2785 -- Duplicate entry.
68P05 Data structures
- PM: binary tree, id=2705 -- Duplicate entry.
- See 05C05 Trees
- PM: good hash table primes, id=3327 -- WP guess: good hash table primes -- Status:
- CryptoDerk 06:53, Mar 12, 2005 (UTC)
- PM: heap insertion algorithm, id=2715 -- WP guess: heap insertion algorithm -- Status:
- PM: heap removal algorithm, id=2716 -- WP guess: heap removal algorithm -- Status:
68P10 Searching and sorting
- PM: binary search, id=165 -- WP: binary search -- Status: WP article more complete
- CryptoDerk 06:54, Mar 12, 2005 (UTC)
- PM: bubblesort, id=2757 -- WP: bubble sort -- Status: WP article more complete
- CryptoDerk 23:57, Mar 12, 2005 (UTC)
- PM: digital search tree, id=2682 -- Duplicate entry.
- See 05C05 Trees
- PM: digital tree, id=2685 -- Duplicate entry.
- See 05C05 Trees
- PM: good hash table primes, id=3327 -- Duplicate entry.
- PM: hashing, id=3326 -- Duplicate entry.
- PM: heap, id=2707 -- Duplicate entry.
- PM: heap insertion algorithm, id=2715 -- Duplicate entry.
- PM: heap removal algorithm, id=2716 -- Duplicate entry.
- CryptoDerk 23:55, Mar 12, 2005 (UTC)
- PM: in-place sorting algorithm, id=163 -- WP guess: in-place sorting algorithm -- Status:
- PM: insertion sort, id=181 -- WP: insertion sort -- Status: WP article more complete
- CryptoDerk 23:58, Mar 12, 2005 (UTC)
- PM: lower bound for sorting, id=2948 -- WP guess: lower bound for sorting -- Status:
- CryptoDerk 23:59, Mar 12, 2005 (UTC)
- PM: selection sort, id=182 -- WP guess: selection sort -- Status:
- PM: sorting problem, id=127 -- WP guess: sorting problem -- Status:
- PM: stable sorting algorithm, id=2756 -- WP guess: stable sorting algorithm -- Status:
68P20 Information storage and retrieval
- PM: collection of digital objects, id=5467 -- WP: none -- Status: Not needed on WP
- CryptoDerk 17:48, Mar 13, 2005 (UTC)
- PM: Digital Library Index, id=5464 -- WP: none -- Status: Not needed on WP
- CryptoDerk 17:48, Mar 13, 2005 (UTC)
- PM: Digital Library Space, id=5462 -- WP: none -- Status: Not needed on WP
- CryptoDerk 17:48, Mar 13, 2005 (UTC)
- PM: digital library stream, id=5451 -- WP: none -- Status: Not needed on WP
- CryptoDerk 17:48, Mar 13, 2005 (UTC)
- PM: digital search tree, id=2682 -- Duplicate entry.
- See 05C05 Trees
- PM: digital tree, id=2685 -- Duplicate entry.
- See 05C05 Trees
- PM: good hash table primes, id=3327 -- Duplicate entry.
- PM: hashing, id=3326 -- Duplicate entry.
- PM: heap, id=2707 -- Duplicate entry.
- PM: heap insertion algorithm, id=2715 -- Duplicate entry.
- PM: heap removal algorithm, id=2716 -- Duplicate entry.
- PM: Heaps' law, id=3431 -- Duplicate entry.
- PM: StructuredStream, id=5454 -- WP guess: StructuredStream -- Status:
- PM: system state, id=5452 -- WP guess: system state -- Status:
- PM: transition event, id=5453 -- WP guess: transition event -- Status:
- PM: trie, id=2684 -- Duplicate entry.
- See 05C05 Trees
- PM: Zipf's law, id=3422 -- Duplicate entry.
68P30 Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.)
- PM: arithmetic encoding, id=2781 -- WP guess: arithmetic encoding -- Status:
- PM: binary Gray code, id=2733 -- Duplicate entry.
- PM: entropy encoding, id=2782 -- WP guess: entropy encoding -- Status:
- PM: Huffman coding, id=2783 -- WP guess: Huffman coding -- Status:
- PM: Huffman's algorithm, id=2780 -- WP guess: Huffman's algorithm -- Status:
- PM: lower bound for sorting, id=2948 -- Duplicate entry.
68Q01 General
- PM: higher-order function, id=2807 -- WP guess: higher-order function -- Status:
68Q05 Models of computation (Turing machines, etc.)
- PM: computable number, id=4170 -- Duplicate entry.
- PM: Cook reduction, id=3426 -- WP guess: Cook reduction -- Status:
- PM: deterministic finite automaton, id=2553 -- Duplicate entry.
- PM: deterministic Turing machine, id=3411 -- WP guess: deterministic Turing machine -- Status:
- PM: Levin reduction, id=3427 -- WP guess: Levin reduction -- Status:
- PM: non-deterministic finite automaton, id=2557 -- Duplicate entry.
- PM: non-deterministic pushdown automaton, id=2571 -- Duplicate entry.
- PM: non-deterministic Turing machine, id=3416 -- WP guess: non-deterministic Turing machine -- Status:
- PM: self-reducible, id=3428 -- WP guess: self-reducible -- Status:
- PM: Turing computable, id=2800 -- Duplicate entry.
- PM: Turing machine, id=3357 -- Duplicate entry.
- PM: universal Turing machine, id=4416 -- WP: Turing machine -- Status: WP article adequate
- PM's a bit more mathy, but our descrip is fine as it's not a very mathy subject. CryptoDerk 17:24, Apr 28, 2005 (UTC)
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
- PM: Cook reduction, id=3426 -- Duplicate entry.
- PM: deterministic Turing machine, id=3411 -- Duplicate entry.
- PM: Levin reduction, id=3427 -- Duplicate entry.
- PM: random Turing machine, id=3430 -- WP: probabilistic Turing machine -- Status: WP article more complete
- Same info is spread out over several pages here. CryptoDerk 00:55, Apr 29, 2005 (UTC)
- PM: self-reducible, id=3428 -- Duplicate entry.
- PM: Turing machine, id=3357 -- Duplicate entry.
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)
- PM: complexity class, id=3433 -- WP: complexity class -- Status: WP article more complete
- You have to jump around to articles on deterministic and non-deterministic machines, etc. but all the major info is there, and more. It's all linked to from this article, as well. CryptoDerk 17:04, Mar 13, 2005 (UTC)
- PM: constructible, id=3461 -- WP: constructible function -- Status: Merged
- Only merged in bit about space constructible, the rest was fine. CryptoDerk 17:01, Mar 13, 2005 (UTC)
- PM: counting complexity class, id=3444 -- WP: counting problem -- Status: Merged
- Merged into already copied over article on counting problem, as it's short and closely related. CryptoDerk 16:45, Mar 13, 2005 (UTC)
- PM: NP-complete, id=3429 -- WP: NP-complete -- Status: WP article more complete
- CryptoDerk 16:47, Mar 13, 2005 (UTC)
- PM: polynomial hierarchy, id=3437 -- WP: polynomial hierarchy -- Status: WP article more complete
- CryptoDerk 06:12, Feb 7, 2005 (UTC)
- PM: polynomial hierarchy is a hierarchy, id=3438 -- WP: polynomial hierarchy -- Status: WP article adequate
- CryptoDerk 06:12, Feb 7, 2005 (UTC)
- PM: time complexity, id=309 -- WP: computational complexity theory -- Status: WP article more complete
- CryptoDerk 05:46, Feb 7, 2005 (UTC)
68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
- PM: switching lemma, id=4789 -- Duplicate entry.
68Q25 Analysis of algorithms and problem complexity
- PM: counting problem, id=3439 -- WP: counting problem -- Status: Copied
- CryptoDerk 02:11, Feb 6, 2005 (UTC)
- PM: decision problem, id=3423 -- WP: decision problem -- Status: WP article more complete
- CryptoDerk 05:45, Feb 7, 2005 (UTC)
- PM: promise problem, id=3443 -- WP: promise problem -- Status: Copied
- CryptoDerk 02:53, Feb 6, 2005 (UTC)
- PM: range problem, id=3442 -- WP: range problem -- Status: Copied
- CryptoDerk 04:36, Feb 6, 2005 (UTC)
- PM: search problem, id=3425 -- WP: search problem -- Status: Copied
- CryptoDerk 05:06, Feb 6, 2005 (UTC)
- PM: Stirling's approximation, id=953 -- Duplicate entry.
68Q30 Algorithmic information theory (Kolmogorov complexity, etc.)
- PM: computationally indistinguishable, id=3457 -- WP: computationally indistinguishable -- Status: Copied
- CryptoDerk 02:13, Feb 5, 2005 (UTC)
- PM: distribution ensemble, id=3448 -- Duplicate entry.
- PM: hard core, id=3459 -- WP: hard core predicate -- Status: WP article more complete
- CryptoDerk 00:33, Feb 5, 2005 (UTC)
- PM: invariance theorem, id=4420 -- WP: invariance theorem -- Status: Copied
- Previously redlinked in a few places. CryptoDerk 00:53, Feb 5, 2005 (UTC)
- PM: Kolmogorov complexity, id=4414 -- WP: Algorithmic information theory -- Status: WP article more complete
- CryptoDerk 00:15, Feb 5, 2005 (UTC)
- PM: Kolmogorov complexity function, id=4418 -- WP: Algorithmic information theory -- Status: WP article more complete
- CryptoDerk 00:18, Feb 5, 2005 (UTC)
- PM: Kolmogorov complexity upper bounds, id=4421 -- WP: Algorithmic information theory -- Status: WP article adequate
- CryptoDerk 00:19, Feb 5, 2005 (UTC)
- PM: natural numbers identified with binary strings, id=4415 -- WP: binary numeral system -- Status: WP article more complete
- CryptoDerk 00:11, Feb 5, 2005 (UTC)
- PM: one-way function, id=3458 -- WP: one way function -- Status: WP article more complete
- CryptoDerk 00:06, Feb 5, 2005 (UTC)
- PM: pseudorandom, id=3446 -- Duplicate entry.
- PM: psuedorandom generator, id=3460 -- WP: pseudorandom generator -- Status: Copied
- CryptoDerk 00:07, Apr 29, 2005 (UTC)
- PM: support, id=3447 -- Duplicate entry.
68Q42 Grammars and rewriting systems
- PM: context-free language, id=2546 -- WP: context-free language -- Status: WP article more complete
- Although you have to go to several articles such as formal grammar, BNF, pushdown automaton, etc. we cover all this, and it's divided up into the appropriate articles here. CryptoDerk 23:54, Feb 4, 2005 (UTC)
- PM: deterministic finite automaton, id=2553 -- Duplicate entry.
- PM: non-deterministic finite automaton, id=2557 -- Duplicate entry.
- PM: non-deterministic pushdown automaton, id=2571 -- Duplicate entry.
- PM: regular language, id=2548 -- WP: regular language -- Status: WP article more complete
- CryptoDerk 19:13, Feb 3, 2005 (UTC)
68Q45 Formal languages and automata
- PM: automaton, id=2550 -- Duplicate entry.
- PM: context-free language, id=2546 -- Duplicate entry.
- PM: convolution, id=5734 -- WP: convolution (computer science) -- Status: Copied
- CryptoDerk 18:56, Feb 3, 2005 (UTC)
- PM: regular language, id=2548 -- Duplicate entry.
68Q70 Algebraic theory of languages and automata
- PM: convolution, id=5734 -- Duplicate entry.
- PM: Kleene algebra, id=2618 -- Duplicate entry.
- PM: Kleene star, id=2584 -- Duplicate entry.
- PM: monad, id=2614 -- Duplicate entry.
- PM: regular expression, id=2583 -- Duplicate entry.
68R05 Combinatorics
- PM: switching lemma, id=4789 -- Duplicate entry.
68R10 Graph theory
- PM: digital library structural metadata specification, id=5461 -- WP: none -- Status: Not needed on WP
- Not very notable... something partially stemming from the work that came out of the construction of PM. CryptoDerk 21:50, Feb 3, 2005 (UTC)
- PM: digital library structure, id=5456 -- WP: none -- Status: Not needed on WP
- CryptoDerk 18:14, Feb 3, 2005 (UTC)
- PM: digital library substructure, id=5459 -- WP: none -- Status: Not needed on WP
- CryptoDerk 18:14, Feb 3, 2005 (UTC)
- PM: Floyd's algorithm, id=1722 -- Duplicate entry.
68R15 Combinatorics on words
- PM: convolution, id=5734 -- Duplicate entry.
68T10 Pattern recognition, speech recognition
- PM: Hough transform, id=2882 -- WP: Hough transform -- Status: WP article adequate
- Article on PM has some problems, as well as an image that doesn't exist. Theirs goes into a bit more detail, mathematically, but ours explains it better conceptually. I'd say if they get their example fixed, we could merge it in, but until then ours is fine. CryptoDerk 23:50, Feb 4, 2005 (UTC)
68U05 Computer graphics; computational geometry
- PM: Pick's theorem, id=3096 -- Duplicate entry.
- PM: proof of Pick's theorem, id=3606 -- Duplicate entry.
68U10 Image processing
- CryptoDerk 17:59, Feb 3, 2005 (UTC)
- PM: Hough transform, id=2882 -- Duplicate entry.
68W01 General
- PM: Horner's rule, id=1219 -- Duplicate entry.
68W10 Parallel algorithms
- CryptoDerk 17:45, Feb 3, 2005 (UTC)
68W30 Symbolic computation and algebraic computation
- PM: symbolic computation, id=1139 -- Duplicate entry.
68W40 Analysis of algorithms
- PM: speedup, id=1132 -- Duplicate entry.
68W99 Miscellaneous
- PM: cryptography and number theory, id=5593 -- Duplicate entry.