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

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:

  1. PM : The first field is the link to the PlanetMath article, along with the article's object ID.
  2. 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.
  3. 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.

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

edit
Paul August 04:07, 24 July 2007 (UTC)[reply]
  • PM: XML, id=7408 -- WP: XML -- Status: A
Paul August 04:08, 24 July 2007 (UTC)[reply]

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

edit

68-06 Proceedings, conferences, collections, etc.

edit

68M20 Performance evaluation; queueing; scheduling

edit
CryptoDerk 06:38, Mar 12, 2005 (UTC)
CryptoDerk 06:41, Mar 12, 2005 (UTC)
CryptoDerk 06:50, Mar 12, 2005 (UTC)

68Mxx Computer system organization

edit

68N01 General

edit

68N15 Programming languages

edit
  • 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: Java, id=9119new! -- WP guess: Java -- Status:

68N17 Logic programming

edit

68N18 Functional programming and lambda calculus

edit

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

edit

68Nxx Software

edit

68P05 Data structures

edit
CryptoDerk 06:53, Mar 12, 2005 (UTC)
  • PM: heap, id=2707 -- WP guess: heap -- 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: stack, id=8361new! -- WP guess: stack -- Status:

68P10 Searching and sorting

edit
CryptoDerk 06:54, Mar 12, 2005 (UTC)
CryptoDerk 23:57, Mar 12, 2005 (UTC)
CryptoDerk 23:55, Mar 12, 2005 (UTC)
CryptoDerk 23:58, Mar 12, 2005 (UTC)
CryptoDerk 23:59, Mar 12, 2005 (UTC)

68P20 Information storage and retrieval

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

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

edit

68Pxx Theory of data

edit

68Q01 General

edit

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

edit
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.)

edit
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.)

edit
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)
Only merged in bit about space constructible, the rest was fine. CryptoDerk 17:01, Mar 13, 2005 (UTC)
Merged into already copied over article on counting problem, as it's short and closely related. CryptoDerk 16:45, Mar 13, 2005 (UTC)
CryptoDerk 16:47, Mar 13, 2005 (UTC)
CryptoDerk 06:12, Feb 7, 2005 (UTC)
CryptoDerk 06:12, Feb 7, 2005 (UTC)
CryptoDerk 05:46, Feb 7, 2005 (UTC)

68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

edit

68Q25 Analysis of algorithms and problem complexity

edit
CryptoDerk 02:11, Feb 6, 2005 (UTC)
CryptoDerk 05:45, Feb 7, 2005 (UTC)
CryptoDerk 02:53, Feb 6, 2005 (UTC)
CryptoDerk 04:36, Feb 6, 2005 (UTC)
CryptoDerk 05:06, Feb 6, 2005 (UTC)

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

edit
CryptoDerk 02:13, Feb 5, 2005 (UTC)
CryptoDerk 00:33, Feb 5, 2005 (UTC)
Previously redlinked in a few places. CryptoDerk 00:53, Feb 5, 2005 (UTC)
CryptoDerk 00:15, Feb 5, 2005 (UTC)
CryptoDerk 00:18, Feb 5, 2005 (UTC)
CryptoDerk 00:19, Feb 5, 2005 (UTC)
CryptoDerk 00:11, Feb 5, 2005 (UTC)
CryptoDerk 00:06, Feb 5, 2005 (UTC)
CryptoDerk 00:07, Apr 29, 2005 (UTC)

68Q42 Grammars and rewriting systems

edit
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)
CryptoDerk 19:13, Feb 3, 2005 (UTC)

68Q45 Formal languages and automata

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

68Q65 Abstract data types; algebraic specification

edit

68Q70 Algebraic theory of languages and automata

edit

68Qxx Theory of computing

edit

68R05 Combinatorics

edit

68R10 Graph theory

edit
Not very notable... something partially stemming from the work that came out of the construction of PM. CryptoDerk 21:50, Feb 3, 2005 (UTC)
CryptoDerk 18:14, Feb 3, 2005 (UTC)
CryptoDerk 18:14, Feb 3, 2005 (UTC)

68R15 Combinatorics on words

edit

68Rxx Discrete mathematics in relation to computer science

edit

68T10 Pattern recognition, speech recognition

edit
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)

68Txx Artificial intelligence

edit

68U05 Computer graphics; computational geometry

edit

68U10 Image processing

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

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

edit

68Uxx Computing methodologies and applications

edit

68W01 General

edit

68W10 Parallel algorithms

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

68W30 Symbolic computation and algebraic computation

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

68W40 Analysis of algorithms

edit

68W99 Miscellaneous

edit

68Wxx Algorithms

edit