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

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7418 artificial intelligence], id=7418 -- WP: artificial intelligence -- Status: A

::Paul August ☎ 04:07, 24 July 2007 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7405 Dynamic Stream], id=7405 -- WP guess: Dynamic Stream -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7420 Space in the 5S model], id=7420 -- WP guess: Space in the 5S model -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7408 XML], id=7408 -- WP: XML -- Status: A

::Paul August ☎ 04:08, 24 July 2007 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8814 OpenPFGW], id=8814^new! -- WP guess: OpenPFGW -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7425 Why Digital libraries need to be formalized], id=7425 -- WP guess: Why Digital libraries need to be formalized -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=1133 Amdahl's Law], id=1133 -- WP: Amdahl's law -- Status: A

::CryptoDerk 06:38, Mar 12, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=1134 efficiency], id=1134 -- WP: speedup -- Status: A

::CryptoDerk 06:41, Mar 12, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3622 proof of Amdahl's Law], id=3622 -- WP: Amdahl's law -- Status: A

::CryptoDerk 06:50, Mar 12, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8324 multisieve], id=8324^new! -- WP guess: multisieve -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9021 BASIC], id=9021^new! -- WP guess: BASIC -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9107 C], id=9107^new! -- WP guess: C -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9108 C++], id=9108^new! -- WP guess: C++ -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8607 Chomsky hierarchy], id=8607^new! -- WP guess: Chomsky hierarchy -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8609 formal grammar], id=8609^new! -- WP guess: formal grammar -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9007 FORTRAN], id=9007^new! -- WP guess: FORTRAN -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9019 Haskell], id=9019^new! -- WP guess: Haskell -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8571 iterator], id=8571^new! -- WP guess: iterator -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9119 Java], id=9119^new! -- WP guess: Java -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9120 JavaScript], id=9120^new! -- WP guess: JavaScript -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8641 Horn clause], id=8641^new! -- WP guess: Horn clause -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3327 good hash table primes], id=3327 -- WP guess: good hash table primes -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3326 hashing], id=3326 -- WP: hashing -- Status: A

::CryptoDerk 06:53, Mar 12, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2707 heap], id=2707 -- WP guess: heap -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2715 heap insertion algorithm], id=2715 -- WP guess: heap insertion algorithm -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2716 heap removal algorithm], id=2716 -- WP guess: heap removal algorithm -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9731 2-3 tree], id=9731^new! -- WP guess: 2-3 tree -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9730 B-tree], id=9730^new! -- WP guess: B-tree -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9734 balance], id=9734^new! -- WP guess: balance -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9733 BB(alpha) tree], id=9733^new! -- WP guess: BB(alpha) tree -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9727 binary search tree], id=9727^new! -- WP guess: binary search tree -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9736 key], id=9736^new! -- WP guess: key -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8363 pop], id=8363^new! -- WP guess: pop -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8362 push], id=8362^new! -- WP guess: push -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8351 queue], id=8351^new! -- WP guess: queue -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9728 search tree], id=9728^new! -- WP guess: search tree -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8361 stack], id=8361^new! -- WP guess: stack -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=165 binary search], id=165 -- WP: binary search -- Status: A

::CryptoDerk 06:54, Mar 12, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2757 bubblesort], id=2757 -- WP: bubble sort -- Status: A

::CryptoDerk 23:57, Mar 12, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2755 heapsort], id=2755 -- WP: heapsort -- Status: A

::CryptoDerk 23:55, Mar 12, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=163 in-place sorting algorithm], id=163 -- WP guess: in-place sorting algorithm -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=181 insertion sort], id=181 -- WP: insertion sort -- Status: A

::CryptoDerk 23:58, Mar 12, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2948 lower bound for sorting], id=2948 -- WP guess: lower bound for sorting -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=4763 quicksort], id=4763 -- WP: quicksort -- Status: A

::CryptoDerk 23:59, Mar 12, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=182 selection sort], id=182 -- WP guess: selection sort -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=127 sorting problem], id=127 -- WP guess: sorting problem -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2756 stable sorting algorithm], id=2756 -- WP guess: stable sorting algorithm -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9732 height-balanced tree], id=9732^new! -- WP guess: height-balanced tree -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8640 red-black tree], id=8640^new! -- WP guess: red-black tree -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=5467 collection of digital objects], id=5467 -- WP: none -- Status: N

::CryptoDerk 17:48, Mar 13, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=5464 Digital Library Index], id=5464 -- WP: none -- Status: N

::CryptoDerk 17:48, Mar 13, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=5462 Digital Library Space], id=5462 -- WP: none -- Status: N

::CryptoDerk 17:48, Mar 13, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=5451 digital library stream], id=5451 -- WP: none -- Status: N

::CryptoDerk 17:48, Mar 13, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=5454 StructuredStream], id=5454 -- WP guess: StructuredStream -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=5452 system state], id=5452 -- WP guess: system state -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=5453 transition event], id=5453 -- WP guess: transition event -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7402 Browsing Service], id=7402 -- WP guess: Browsing Service -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7413 cognitive science], id=7413 -- WP guess: cognitive science -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7399 descriptive metadata specification], id=7399 -- WP guess: descriptive metadata specification -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7377 digital library cataloguing], id=7377 -- WP guess: digital library cataloguing -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7401 Digital library metadata], id=7401 -- WP guess: Digital library metadata -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7419 digital library metadata catalog], id=7419 -- WP guess: digital library metadata catalog -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7396 digital library repository], id=7396 -- WP guess: digital library repository -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7415 digital library search], id=7415 -- WP guess: digital library search -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7373 digital library society], id=7373 -- WP guess: digital library society -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7400 Digital library taxonomy], id=7400 -- WP guess: Digital library taxonomy -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7403 Hypertext], id=7403 -- WP guess: Hypertext -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7404 interoperability in digital libraries], id=7404 -- WP guess: interoperability in digital libraries -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7371 scenario], id=7371 -- WP guess: scenario -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7417 searching service], id=7417 -- WP guess: searching service -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7422 service], id=7422 -- WP guess: service -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7406 system state], id=7406 -- WP guess: system state -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2781 arithmetic encoding], id=2781 -- WP guess: arithmetic encoding -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2782 entropy encoding], id=2782 -- WP guess: entropy encoding -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2783 Huffman coding], id=2783 -- WP guess: Huffman coding -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2780 Huffman's algorithm], id=2780 -- WP guess: Huffman's algorithm -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2806 currying], id=2806 -- WP guess: currying -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2807 higher-order function], id=2807 -- WP guess: higher-order function -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9358 explicit form for currying], id=9358^new! -- WP guess: explicit form for currying -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3426 Cook reduction], id=3426 -- WP guess: Cook reduction -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3411 deterministic Turing machine], id=3411 -- WP guess: deterministic Turing machine -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3427 Levin reduction], id=3427 -- WP guess: Levin reduction -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3416 non-deterministic Turing machine], id=3416 -- WP guess: non-deterministic Turing machine -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3424 oracle], id=3424 -- WP guess: oracle -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3428 self-reducible], id=3428 -- WP guess: self-reducible -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=4416 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)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3430 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)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3433 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: [http://planetmath.org/?op=getobj&from=objects&id=3461 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: [http://planetmath.org/?op=getobj&from=objects&id=3444 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: [http://planetmath.org/?op=getobj&from=objects&id=3429 NP-complete], id=3429 -- WP: NP-complete -- Status: A

::CryptoDerk 16:47, Mar 13, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3437 polynomial hierarchy], id=3437 -- WP: polynomial hierarchy -- Status: A

::CryptoDerk 06:12, Feb 7, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3438 polynomial hierarchy is a hierarchy], id=3438 -- WP: polynomial hierarchy -- Status: A

::CryptoDerk 06:12, Feb 7, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=309 time complexity], id=309 -- WP: computational complexity theory -- Status: A

::CryptoDerk 05:46, Feb 7, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3439 counting problem], id=3439 -- WP: counting problem -- Status: C

::CryptoDerk 02:11, Feb 6, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3423 decision problem], id=3423 -- WP: decision problem -- Status: A

::CryptoDerk 05:45, Feb 7, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3443 promise problem], id=3443 -- WP: promise problem -- Status: C

::CryptoDerk 02:53, Feb 6, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3442 range problem], id=3442 -- WP: range problem -- Status: C

::CryptoDerk 04:36, Feb 6, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3425 search problem], id=3425 -- WP: search problem -- Status: C

::CryptoDerk 05:06, Feb 6, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3457 computationally indistinguishable], id=3457 -- WP: computationally indistinguishable -- Status: C

::CryptoDerk 02:13, Feb 5, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3459 hard core], id=3459 -- WP: hard core predicate -- Status: A

::CryptoDerk 00:33, Feb 5, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=4420 invariance theorem], id=4420 -- WP: invariance theorem -- Status: C

::Previously redlinked in a few places. CryptoDerk 00:53, Feb 5, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=4414 Kolmogorov complexity], id=4414 -- WP: Algorithmic information theory -- Status: A

::CryptoDerk 00:15, Feb 5, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=4418 Kolmogorov complexity function], id=4418 -- WP: Algorithmic information theory -- Status: A

::CryptoDerk 00:18, Feb 5, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=4421 Kolmogorov complexity upper bounds], id=4421 -- WP: Algorithmic information theory -- Status: A

::CryptoDerk 00:19, Feb 5, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=4415 natural numbers identified with binary strings], id=4415 -- WP: binary numeral system -- Status: A

::CryptoDerk 00:11, Feb 5, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3458 one-way function], id=3458 -- WP: one way function -- Status: A

::CryptoDerk 00:06, Feb 5, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=3460 psuedorandom generator], id=3460 -- WP: pseudorandom generator -- Status: C

::CryptoDerk 00:07, Apr 29, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2546 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: [http://planetmath.org/?op=getobj&from=objects&id=2548 regular language], id=2548 -- WP: regular language -- Status: A

::CryptoDerk 19:13, Feb 3, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8488 Chomsky normal form], id=8488^new! -- WP guess: Chomsky normal form -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8644 context-sensitive language], id=8644^new! -- WP guess: context-sensitive language -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8487 pumping lemma (context-free languages)], id=8487^new! -- WP guess: pumping lemma (context-free languages) -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8489 pumping lemma (regular languages)], id=8489^new! -- WP guess: pumping lemma (regular languages) -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=5734 convolution], id=5734 -- WP: convolution (computer science) -- Status: C

::CryptoDerk 18:56, Feb 3, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=5461 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: [http://planetmath.org/?op=getobj&from=objects&id=5456 digital library structure], id=5456 -- WP: none -- Status: N

::CryptoDerk 18:14, Feb 3, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=5459 digital library substructure], id=5459 -- WP: none -- Status: N

::CryptoDerk 18:14, Feb 3, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=2882 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)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=1142 aliasing], id=1142 -- WP: aliasing -- Status: A

::CryptoDerk 17:59, Feb 3, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=7411 precision recall], id=7411 -- WP guess: precision recall -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9592 algorithm], id=9592^new! -- WP guess: algorithm -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=1132 speedup], id=1132 -- WP: speedup -- Status: A

::CryptoDerk 17:45, Feb 3, 2005 (UTC)

• PM: [http://planetmath.org/?op=getobj&from=objects&id=9560 list of name and Greek letter functions and constants in Mathematica], id=9560^new! -- WP guess: list of name and Greek letter functions and constants in Mathematica -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8500 Maple], id=8500^new! -- WP guess: Maple -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8499 Mathematica], id=8499^new! -- WP guess: Mathematica -- Status:

• PM: [http://planetmath.org/?op=getobj&from=objects&id=8503 MATLAB], id=8503^new! -- WP guess: MATLAB -- Status: