Wikipedia:WikiProject Mathematics/PlanetMath Exchange/68-XX Computer science

68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

 * PM: artificial intelligence, id=7418 -- WP: artificial intelligence -- Status: A
 * Paul August &#9742; 04:07, 24 July 2007 (UTC)


 * PM: Dynamic Stream, id=7405 -- WP guess: Dynamic Stream -- Status:


 * PM: Space in the 5S model, id=7420 -- WP guess: Space in the 5S model -- Status:


 * PM: XML, id=7408 -- WP: XML -- Status: A
 * Paul August &#9742; 04:08, 24 July 2007 (UTC)

68-04 Explicit machine computation and programs (not the theory of computation or programming)

 * PM: OpenPFGW, id=8814new! -- WP guess: OpenPFGW -- Status:

68-06 Proceedings, conferences, collections, etc.

 * PM: Why Digital libraries need to be formalized, id=7425 -- WP guess: Why Digital libraries need to be formalized -- Status:

68M20 Performance evaluation; queueing; scheduling

 * PM: Amdahl's Law, id=1133 -- WP: Amdahl's law -- Status: A
 * CryptoDerk 06:38, Mar 12, 2005 (UTC)


 * PM: efficiency, id=1134 -- WP: speedup -- Status: A
 * CryptoDerk 06:41, Mar 12, 2005 (UTC)


 * PM: proof of Amdahl's Law, id=3622 -- WP: Amdahl's law -- Status: A
 * CryptoDerk 06:50, Mar 12, 2005 (UTC)

68N01 General

 * PM: multisieve, id=8324new! -- WP guess: multisieve -- Status:

68N15 Programming languages

 * PM: BASIC, id=9021new! -- WP guess: BASIC -- Status:


 * PM: C, id=9107new! -- WP guess: C -- Status:


 * PM: C++, id=9108new! -- WP guess: C++ -- Status:


 * PM: Chomsky hierarchy, id=8607new! -- WP guess: Chomsky hierarchy -- Status:


 * PM: formal grammar, id=8609new! -- WP guess: formal grammar -- Status:


 * PM: FORTRAN, id=9007new! -- WP guess: FORTRAN -- Status:


 * PM: Haskell, id=9019new! -- WP guess: Haskell (programming language) -- Status:


 * PM: iterator, id=8571new! -- WP guess: iterator -- Status:


 * PM: Java, id=9119new! -- WP guess: Java -- Status:


 * PM: JavaScript, id=9120new! -- WP guess: JavaScript -- Status:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

 * PM: Horn clause, id=8641new! -- WP guess: Horn clause -- Status:

68P05 Data structures

 * PM: good hash table primes, id=3327 -- WP guess: good hash table primes -- Status:


 * PM: hashing, id=3326 -- WP: hashing -- Status: A
 * CryptoDerk 06:53, Mar 12, 2005 (UTC)


 * PM: heap, id=2707 -- WP guess: heap -- Status:


 * PM: heap insertion algorithm, id=2715 -- WP guess: heap insertion algorithm -- Status:


 * PM: heap removal algorithm, id=2716 -- WP guess: heap removal algorithm -- Status:


 * PM: 2-3 tree, id=9731new! -- WP guess: 2-3 tree -- Status:


 * PM: B-tree, id=9730new! -- WP guess: B-tree -- Status:


 * PM: balance, id=9734new! -- WP guess: balance -- Status:


 * PM: BB(alpha) tree, id=9733new! -- WP guess: BB(alpha) tree -- Status:


 * PM: binary search tree, id=9727new! -- WP guess: binary search tree -- Status:


 * PM: key, id=9736new! -- WP guess: key -- Status:


 * PM: pop, id=8363new! -- WP guess: pop -- Status:


 * PM: push, id=8362new! -- WP guess: push -- Status:


 * PM: queue, id=8351new! -- WP guess: queue -- Status:


 * PM: search tree, id=9728new! -- WP guess: search tree -- Status:


 * PM: stack, id=8361new! -- WP guess: stack -- Status:

68P10 Searching and sorting

 * PM: binary search, id=165 -- WP: binary search -- Status: A
 * CryptoDerk 06:54, Mar 12, 2005 (UTC)


 * PM: bubblesort, id=2757 -- WP: bubble sort -- Status: A
 * CryptoDerk 23:57, Mar 12, 2005 (UTC)


 * PM: heapsort, id=2755 -- WP: heapsort -- Status: A
 * 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: A
 * CryptoDerk 23:58, Mar 12, 2005 (UTC)


 * PM: lower bound for sorting, id=2948 -- WP guess: lower bound for sorting -- Status:


 * PM: quicksort, id=4763 -- WP: quicksort -- Status: A
 * 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:


 * PM: height-balanced tree, id=9732new! -- WP guess: height-balanced tree -- Status:


 * PM: red-black tree, id=8640new! -- WP guess: red-black tree -- Status:

68P20 Information storage and retrieval

 * PM: collection of digital objects, id=5467 -- WP: none -- Status: N
 * CryptoDerk 17:48, Mar 13, 2005 (UTC)


 * PM: Digital Library Index, id=5464 -- WP: none -- Status: N
 * CryptoDerk 17:48, Mar 13, 2005 (UTC)


 * PM: Digital Library Space, id=5462 -- WP: none -- Status: N
 * CryptoDerk 17:48, Mar 13, 2005 (UTC)


 * PM: digital library stream, id=5451 -- WP: none -- Status: N
 * CryptoDerk 17:48, Mar 13, 2005 (UTC)


 * 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: Browsing Service, id=7402 -- WP guess: Browsing Service -- Status:


 * PM: cognitive science, id=7413 -- WP guess: cognitive science -- Status:


 * PM: descriptive metadata specification, id=7399 -- WP guess: descriptive metadata specification -- Status:


 * PM: digital library cataloguing, id=7377 -- WP guess: digital library cataloguing -- Status:


 * PM: Digital library metadata, id=7401 -- WP guess: Digital library metadata -- Status:


 * PM: digital library metadata catalog, id=7419 -- WP guess: digital library metadata catalog -- Status:


 * PM: digital library repository, id=7396 -- WP guess: digital library repository -- Status:


 * PM: digital library search, id=7415 -- WP guess: digital library search -- Status:


 * PM: digital library society, id=7373 -- WP guess: digital library society -- Status:


 * PM: Digital library taxonomy, id=7400 -- WP guess: Digital library taxonomy -- Status:


 * PM: Hypertext, id=7403 -- WP guess: Hypertext -- Status:


 * PM: interoperability in digital libraries, id=7404 -- WP guess: interoperability in digital libraries -- Status:


 * PM: scenario, id=7371 -- WP guess: scenario -- Status:


 * PM: searching service, id=7417 -- WP guess: searching service -- Status:


 * PM: service, id=7422 -- WP guess: service -- Status:


 * PM: system state, id=7406 -- WP guess: system state -- Status:

68P30 Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.)

 * PM: arithmetic encoding, id=2781 -- WP guess: arithmetic encoding -- Status:


 * 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:

68Q01 General

 * PM: currying, id=2806 -- WP guess: currying -- Status:


 * PM: higher-order function, id=2807 -- WP guess: higher-order function -- Status:


 * PM: explicit form for currying, id=9358new! -- WP guess: explicit form for currying -- Status:

68Q05 Models of computation (Turing machines, etc.)

 * PM: Cook reduction, id=3426 -- WP guess: Cook reduction -- Status:


 * 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 Turing machine, id=3416 -- WP guess: non-deterministic Turing machine -- Status:


 * PM: oracle, id=3424 -- WP guess: oracle -- Status:


 * PM: self-reducible, id=3428 -- WP guess: self-reducible -- Status:


 * PM: universal Turing machine, id=4416 -- WP: Turing machine -- Status: A
 * 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: random Turing machine, id=3430 -- WP: probabilistic Turing machine -- Status: A
 * Same info is spread out over several pages here. CryptoDerk 00:55, Apr 29, 2005 (UTC)

68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)

 * PM: complexity class, id=3433 -- WP: complexity class -- Status: A
 * 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: M
 * 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: M
 * 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: A
 * CryptoDerk 16:47, Mar 13, 2005 (UTC)


 * PM: polynomial hierarchy, id=3437 -- WP: polynomial hierarchy -- Status: A
 * CryptoDerk 06:12, Feb 7, 2005 (UTC)


 * PM: polynomial hierarchy is a hierarchy, id=3438 -- WP: polynomial hierarchy -- Status: A
 * CryptoDerk 06:12, Feb 7, 2005 (UTC)


 * PM: time complexity, id=309 -- WP: computational complexity theory -- Status: A
 * CryptoDerk 05:46, Feb 7, 2005 (UTC)

68Q25 Analysis of algorithms and problem complexity

 * PM: counting problem, id=3439 -- WP: counting problem -- Status: C
 * CryptoDerk 02:11, Feb 6, 2005 (UTC)


 * PM: decision problem, id=3423 -- WP: decision problem -- Status: A
 * CryptoDerk 05:45, Feb 7, 2005 (UTC)


 * PM: promise problem, id=3443 -- WP: promise problem -- Status: C
 * CryptoDerk 02:53, Feb 6, 2005 (UTC)


 * PM: range problem, id=3442 -- WP: range problem -- Status: C
 * CryptoDerk 04:36, Feb 6, 2005 (UTC)


 * PM: search problem, id=3425 -- WP: search problem -- Status: C
 * CryptoDerk 05:06, Feb 6, 2005 (UTC)

68Q30 Algorithmic information theory (Kolmogorov complexity, etc.)

 * PM: computationally indistinguishable, id=3457 -- WP: computationally indistinguishable -- Status: C
 * CryptoDerk 02:13, Feb 5, 2005 (UTC)


 * PM: hard core, id=3459 -- WP: hard core predicate -- Status: A
 * CryptoDerk 00:33, Feb 5, 2005 (UTC)


 * PM: invariance theorem, id=4420 -- WP: invariance theorem -- Status: C
 * Previously redlinked in a few places. CryptoDerk 00:53, Feb 5, 2005 (UTC)


 * PM: Kolmogorov complexity, id=4414 -- WP: Algorithmic information theory -- Status: A
 * CryptoDerk 00:15, Feb 5, 2005 (UTC)


 * PM: Kolmogorov complexity function, id=4418 -- WP: Algorithmic information theory -- Status: A
 * CryptoDerk 00:18, Feb 5, 2005 (UTC)


 * PM: Kolmogorov complexity upper bounds, id=4421 -- WP: Algorithmic information theory -- Status: A
 * CryptoDerk 00:19, Feb 5, 2005 (UTC)


 * PM: natural numbers identified with binary strings, id=4415 -- WP: binary numeral system -- Status: A
 * CryptoDerk 00:11, Feb 5, 2005 (UTC)


 * PM: one-way function, id=3458 -- WP: one way function -- Status: A
 * CryptoDerk 00:06, Feb 5, 2005 (UTC)


 * PM: psuedorandom generator, id=3460 -- WP: pseudorandom generator -- Status: C
 * CryptoDerk 00:07, Apr 29, 2005 (UTC)

68Q42 Grammars and rewriting systems

 * PM: context-free language, id=2546 -- WP: context-free language -- Status: A
 * 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: regular language, id=2548 -- WP: regular language -- Status: A
 * CryptoDerk 19:13, Feb 3, 2005 (UTC)


 * PM: Chomsky normal form, id=8488new! -- WP guess: Chomsky normal form -- Status:


 * PM: context-sensitive language, id=8644new! -- WP guess: context-sensitive language -- Status:


 * PM: pumping lemma (context-free languages), id=8487new! -- WP guess: pumping lemma (context-free languages) -- Status:


 * PM: pumping lemma (regular languages), id=8489new! -- WP guess: pumping lemma (regular languages) -- Status:

68Q45 Formal languages and automata

 * PM: convolution, id=5734 -- WP: convolution (computer science) -- Status: C
 * CryptoDerk 18:56, Feb 3, 2005 (UTC)

68R10 Graph theory

 * PM: digital library structural metadata specification, id=5461 -- WP: none -- Status: N
 * 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: N
 * CryptoDerk 18:14, Feb 3, 2005 (UTC)


 * PM: digital library substructure, id=5459 -- WP: none -- Status: N
 * CryptoDerk 18:14, Feb 3, 2005 (UTC)

68T10 Pattern recognition, speech recognition

 * PM: Hough transform, id=2882 -- WP: Hough transform -- Status: A
 * 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)

68U10 Image processing

 * PM: aliasing, id=1142 -- WP: aliasing -- Status: A
 * CryptoDerk 17:59, Feb 3, 2005 (UTC)

68U35 Information systems (hypertext navigation, interfaces, decision support, etc.)

 * PM: precision recall, id=7411 -- WP guess: precision recall -- Status:

68W01 General

 * PM: algorithm, id=9592new! -- WP guess: algorithm -- Status:

68W10 Parallel algorithms

 * PM: speedup, id=1132 -- WP: speedup -- Status: A
 * CryptoDerk 17:45, Feb 3, 2005 (UTC)

68W30 Symbolic computation and algebraic computation

 * PM: list of name and Greek letter functions and constants in Mathematica, id=9560new! -- WP guess: list of name and Greek letter functions and constants in Mathematica -- Status:


 * PM: Maple, id=8500new! -- WP guess: Maple -- Status:


 * PM: Mathematica, id=8499new! -- WP guess: Mathematica -- Status:


 * PM: MATLAB, id=8503new! -- WP guess: MATLAB -- Status: