# Wikipedia:WikiProject Mathematics/PlanetMath Exchange

Main page | Discussion | Content | Assessment | Participants | Resources |

This task force is believed to be inactive. Consider looking for related projects for help or ask at the
Teahouse.If you are not currently a project participant and wish to help you may still participate in the project or its parent project WikiProject Mathematics. This status should be changed if collaborative activity resumes. |

The purpose of this subproject of Wikipedia:WikiProject Mathematics is to assist in content exchange between PlanetMath and Wikipedia.

Articles that PlanetMath has that Wikipedia does not have should be copied over if appropriate. Articles where PlanetMath has content that would benefit Wikipedia articles should be merged in as appropriate.

## Instructions[edit]

Please read these very carefully.

When converting entries from PlanetMath to Wikipedia, be sure to keep in mind Wikipedia:How to write a Wikipedia article on Mathematics. That said, here are some important things to remember:

### Article naming conventions[edit]

Because of naming conventions, do not create an article without searching for it first. *Be sure to note the following*:

- PlanetMath frequently has an entry on "some theorem" and a separate entry on "proof of some theorem". In Wikipedia these articles should generally be combined into one entry under the title "some theorem". Usually, links to both PlanetMath articles should be included.
- When working on converting an article be sure to check the fields at the bottom of PlanetMath entries. You may see synonyms listed in
*other names*or*also defines*. Check to see if we have these articles on Wikipedia first. If we don't, then add them as redirects when you convert the article over. *Change the status of an article in the list when you have converted it.*If it is redlinked and in your searching you find we already have an article, fix the link.

### Converting text from PlanetMath to Wikipedia formats[edit]

PlanetMath generates article pages from LaTeX source, which needs to be pasted in a corresponding Wikipedia article. For some browsers, such as Firefox, which copy images as their "alt" text, the article can be copied directly from the article page, however this may not work for long LaTeX lines so be sure to preview and go to the page source if necessary. The newly obtained text needs to be converted to wiki markup.

- For complicated mathematical expressions, replace $ ... $ and $\displaymath ... $ with <math> ... </math> (see also help:formula). Put these on a separate line and indent as usual with a colon (:).
- For simple inline math formulas which show up as PNG images, replace LaTeX with italics, <sup> ... </sup>, <sub> ... </sub>, and Unicode characters as necessary.
- Most PlanetMath articles will need an introductory paragraph (see Wikipedia:How to write a Wikipedia article on Mathematics for an example). A motivational section, examples, applications, etc., could also be necessary.
- In some places you might consider replacing formulas with words, or simplifying them. In particular, the symbols ∈, ∃ and ∀ need to be replaced with the English words "in", "exists", "for all".
- Make relevant links to other Wikipedia articles. This can be time consuming, but is important and can help find other articles that need to be created.
- Put the article in an appropriate category. It may also be necessary to add a new article to the list of mathematical topics.

**Note:** There exists a tool that helps with many of the tasks above, see a few sections below.

### Copyrights and attribution[edit]

If *any* text is copied from a PlanetMath article to a Wikipedia article, be sure to include a link back to PlanetMath using the template {{PlanetMath attribution}}. The format is as follows:

`{{PlanetMath attribution|id=planetmathID|title=planetmathTitle}}`

where:

- The
**id**variable is the PlanetMath article's**object id**, found at the bottom of the PlanetMath page. - The
**title**variable is the PlanetMath article title

For example, the PlanetMath entry on *Schinzel's theorem* at http://planetmath.org/?op=getobj&from=objects&id=1115 should be specified as

`{{PlanetMath attribution|id=1115|title=Schinzel's theorem}}`

which will produce

*This article incorporates material from Schinzel's theorem on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.*

If content of a PlanetMath article merely *inspires* the addition of content to a Wikipedia article, the full notice from the above template may not be required. One may then use the planetmath reference template:

`{{planetmath reference|id=1115|title=Schinzel's theorem}}`

which produces

### Other information[edit]

- Check the participants list at the bottom to see the areas where people are currently working so that people don't run into edit conflicts.
- When in doubt, ask a question on the talk page!

## Articles lists[edit]

### About[edit]

PlanetMath divides its articles into categories. There is a separate category page for each category in the list. The category page lists all of the PlanetMath articles in that category, together with status information for each article. Each article that has been reviewed has been assigned a status code.

The following table lists each of the category pages, the number of articles listed there (**Total**), the number of those articles which have been reviewed so far (**Rv**), the total number of articles by status code, and when and by whom the category page was last updated.

The status codes have the following meanings:

Status | Means PM article |

N |
not needed |

A |
adequately covered |

C |
copied |

M |
merged |

NC |
needs copying |

NM |
needs merging |

The colours have the following meanings:

Not started | Started | Reviewed | Complete |

### Table[edit]

Category | Total | Rv | N | A | C | M | NC | NM | Last updated |
---|---|---|---|---|---|---|---|---|---|

00 General | 117 | 57 | 11 | 29 | 6 | 6 | 1 | 4 | Paul August 19:27, 5 June 2006 (UTC) |

01 History and biography | 222 | 210 | 8 | 162 | 8 | 28 | 1 | 3 | Mathemens 22:05, 30 April 2008 (UTC) |

03 Mathematical logic and foundations | 538 | 274 | 6 | 147 | 17 | 16 | 3 | 85 | Linas 22:31, 4 June 2008 (UTC) |

05 Combinatorics | 273 | 221 | 15 | 102 | 17 | 14 | 18 | 55 | Paul August 16:42, 17 October 2006 (UTC) |

06 Order, lattices, ordered algebraic structures | 134 | 32 | 1 | 19 | 3 | 9 | Linas 15:36, 8 April 2008 (UTC) | ||

08 General algebraic systems | 42 | 6 | 3 | 8 | 1 | 1 | Dan131m (talk) 04:23, 4 October 2009 (UTC) | ||

11 Number theory | 885 | 158 | 14 | 88 | 8 | 1 | 13 | 34 | Doctormatt 06:37, March 13, 2007 (UTC) |

12 Field theory and polynomials | 205 | 35 | 4 | 18 | 1 | 12 | AdamSmithee 14:08, 30 December 2005 (UTC) | ||

13 Commutative rings and algebras | 225 | 35 | 9 | 20 | 1 | 5 | AdamSmithee 10:18, 26 September 2006 (UTC) | ||

14 Algebraic geometry | 146 | 97 | 6 | 65 | 2 | 8 | 1 | 15 | Juliusross 23:17, 14 May 2006 (UTC) |

15 Linear and multilinear algebra; matrix theory | 422 | 80 | 8 | 42 | 4 | 25 | 1 | Jitse Niesen 01:27, 20 December 2005 (UTC) | |

16 Associative rings and algebras | 180 | 7 | 7 | Oleg Alexandrov 23:46, 13 January 2007 (UTC) | |||||

17 Nonassociative rings and algebras | 80 | 53 | 4 | 17 | 3 | 5 | 24 | Jtwdog 18:24, 28 October 2005 (UTC) | |

18 Category theory; homological algebra | 128 | 74 | 2 | 43 | 5 | 6 | 18 | Jtwdog 04:56, 28 October 2005 (UTC) | |

19 $K$-theory | 7 | 5 | 1 | 4 | Jtwdog 18:17, 28 October 2005 (UTC) | ||||

20 Group theory and generalizations | 373 | 126 | 13 | 96 | 2 | 3 | 12 | Linas 23:45, 6 April 2007 (UTC) | |

22 Topological groups, Lie groups | 26 | 19 | 2 | 6 | 1 | 1 | 9 | Jtwdog 17:23, 28 October 2005 (UTC) | |

26 Real functions | 401 | 76 | 6 | 48 | 7 | 8 | 7 | Oleg Alexandrov 04:09, 2 April 2007 (UTC) | |

28 Measure and integration | 121 | 40 | 27 | 8 | 4 | 1 | Linas 16:35, 26 August 2006 (UTC) | ||

30 Functions of a complex variable | 220 | 62 | 13 | 37 | 8 | 2 | 2 | Oleg Alexandrov 02:15, 9 April 2007 (UTC) | |

31 Potential theory | 13 | 12 | 3 | 6 | 1 | 2 | Linas 03:45, 27 August 2006 (UTC) | ||

32 Several complex variables and analytic spaces | 62 | 7 | 2 | 4 | 1 | Oleg Alexandrov 02:06, 24 July 2006 (UTC) | |||

33 Special functions | 42 | 29 | 4 | 16 | 2 | 4 | 2 | 1 | Linas 20:41, 5 March 2006 (UTC) |

34 Ordinary differential equations | 78 | 14 | 1 | 9 | 2 | 1 | 1 | Paul August 21:25, 20 July 2007 (UTC) | |

35 Partial differential equations | 20 | 13 | 1 | 6 | 1 | 2 | 3 | Oleg Alexandrov 04:56, 3 February 2007 (UTC) | |

37 Dynamical systems and ergodic theory | 57 | 43 | 7 | 13 | 11 | 6 | 5 | 1 | Linas 20:22, 10 June 2006 (UTC) |

39 Difference and functional equations | 12 | 6 | 1 | 1 | 1 | 3 | Bjcairns 16:04, 11 April 2006 (UTC) | ||

40 Sequences, series, summability | 99 | 30 | 1 | 19 | 3 | 1 | 1 | 5 | AdamSmithee 11:58, 16 January 2006 (UTC) |

41 Approximations and expansions | 29 | 14 | 1 | 12 | 1 | DavidCBryant 20:01, 12 January 2007 (UTC) | |||

42 Fourier analysis | 27 | 15 | 8 | 5 | 1 | 1 | Bjcairns 12:46, 18 April 2006 (UTC) | ||

43 Abstract harmonic analysis | 3 | 1 | 1 | Mikkalai 06:28, 14 Feb 2005 (UTC) | |||||

44 Integral transforms, operational calculus | 5 | 3 | 2 | 1 | Oleg Alexandrov 02:15, 24 November 2005 (UTC) | ||||

45 Integral equations | 3 | 2 | 2 | AdamSmithee 08:15, 11 September 2007 (UTC) | |||||

46 Functional analysis | 185 | 35 | 4 | 20 | 5 | 3 | 2 | 1 | Bjcairns 12:55, 18 April 2006 (UTC) |

47 Operator theory | 41 | 8 | 2 | 4 | 2 | Oleg Alexandrov 04:36, 10 March 2006 (UTC) | |||

49 Calculus of variations and optimal control; optimization | 12 | 6 | 4 | 1 | 1 | Oleg Alexandrov 10:35, 26 October 2005 (UTC) | |||

51 Geometry | 374 | 69 | 5 | 51 | 2 | 2 | 9 | AdamSmithee 09:37, 4 September 2007 (UTC) | |

52 Convex and discrete geometry | 28 | 13 | 1 | 7 | 1 | 1 | 2 | 1 | Jtwdog 21:21, 28 October 2005 (UTC) |

53 Differential geometry | 134 | 52 | 5 | 26 | 2 | 1 | 5 | 13 | Linas 21:07, 5 March 2006 (UTC) |

54 General topology | 360 | 221 | 17 | 157 | 11 | 10 | 7 | 19 | Paul August 02:21, 20 August 2007 (UTC) |

55 Algebraic topology | 79 | 21 | 1 | 11 | 1 | 8 | Linas 14:37, 18 April 2007 (UTC) | ||

57 Manifolds and cell complexes | 51 | 8 | 5 | 1 | 2 | Paul August 05:47, 8 February 2007 (UTC) | |||

58 Global analysis, analysis on manifolds | 22 | 17 | 4 | 9 | 1 | 3 | Jtwdog 18:09, 28 October 2005 (UTC) | ||

60 Probability theory and stochastic processes | 158 | 71 | 3 | 46 | 4 | 4 | 2 | 12 | AdamSmithee 09:44, 28 September 2006 (UTC) |

62 Statistics | 66 | 26 | 5 | 9 | 4 | 8 | AdamSmithee 12:14, 7 March 2006 (UTC) | ||

65 Numerical analysis | 18 | 15 | 1 | 8 | 1 | 3 | 2 | AdamSmithee 08:35, 3 September 2007 (UTC) | |

68 Computer science | 127 | 47 | 7 | 30 | 8 | 2 | Paul August 04:08, 24 July 2007 (UTC) | ||

70 Mechanics of particles and systems | 4 | ||||||||

78 Optics, electromagnetic theory | 0 | ||||||||

81 Quantum theory | 2 | 2 | 2 | CryptoDerk 08:40, Feb 2, 2005 (UTC) | |||||

82 Statistical mechanics, structure of matter | 0 | ||||||||

83 Relativity and gravitational theory | 2 | 2 | 1 | 1 | Bjcairns 16:13, 11 April 2006 (UTC) | ||||

86 Geophysics | 1 | 1 | 1 | Bjcairns 09:30, 12 April 2006 (UTC) | |||||

90 Operations research, mathematical programming | 4 | 3 | 2 | 1 | AdamSmithee 12:11, 14 August 2007 (UTC) | ||||

91 Game theory, economics, social and behavioral sciences | 29 | 16 | 1 | 10 | 1 | 2 | 2 | AdamSmithee 08:17, 11 September 2007 (UTC) | |

92 Biology and other natural sciences | 2 | 2 | 1 | 1 | AdamSmithee 07:51, 4 September 2007 (UTC) | ||||

93 Systems theory; control | 11 | 4 | 3 | 1 | Paul August 04:03, 24 July 2007 (UTC) | ||||

94 Information and communication, circuits | 25 | 12 | 5 | 4 | 2 | 1 | Paul August 03:50, 24 July 2007 (UTC) | ||

97 Mathematics education | 10 | 1 | 1 | AdamSmithee 10:33, 6 March 2006 (UTC) | |||||

Category | Total | Rv | N | A | C | M | NC | NM | Last updated |

Totals: | 6940 | 2508 | 194 | 1480 | 180 | 161 | 93 | 400 | Mathbot (talk) 02:40, 6 June 2008 (UTC) |

Totals as a percentage: | 100% | 36 | 3 | 21 | 3 | 2 | 1 | 6 | Mathbot (talk) 02:40, 6 June 2008 (UTC) |

Both this table, and the one below, are updated daily.

## Tools[edit]

Pmform is a web-based program to convert PlanetMath articles to wikicode.

## Participants[edit]

If you're participating, list yourself here. Also please update this with a note saying what articles you're working on so you don't run into potential conflicts with other editors on this project.

- CryptoDerk — Working on 68-XX Computer science.
- Oleg Alexandrov — I am looking into measure theory, complex analysis, ODEs, PDEs, and numerical analysis.
- Ben Cairns — Currently just trying to add as much green as possible to the table above.
- Paul August — For now, I'm working in Mathematical logic and foundations but feel free to lend a hand ;-)
- Mikkalai 05:01, 4 Feb 2005 (UTC) — I can deal with Combinatorics, Convex and discrete geometry, Computer science, Operations research, mathematical programming.
- Alba I wander around and work on anything I can find that gains traction...
- Linas reviewing those articles that I'm already familiar with, mostly in number theory and special functions.
- Jitse Niesen — working on 15-XX Linear algebra.
- Mindspillage (spill yours?) History and biography, for the moment.
- Bgohla 12:14, 2005 Jun 3 (UTC) I have so far contributed definitions that I came across in category theory and foundations.
- Arthur Rubin For the moment, Mathematical logic and foundations. For the future, who knows?
- Rich Farmbrough 22:18, 22 August 2005 (UTC) Combinatorics plus any bits and pieces. Please improve my work, I am not an active mathematician!
- Drini 16:01, 26 August 2005 (UTC) Combinatorics, graph theory, algebra and a bit of number theory.
- Jtwdog 19:46, 26 September 2005 (UTC) At the moment, I'm working on getting all the articles in associative/non-associative algebras, algebraic geometry and group theory reviewed. Once that's done, I may do some of the copying and merging there too.
- AdamSmithee 19:55, 19 December 2005 (UTC) - various unreferenced entries
- Jeekc 15:07, 8 January 2006 (UTC) Just hopping around entries that a common nonMath student can understand - mainly geometry
- Tompw (talk) 14:33, 21 March 2007 (UTC) Geometry - more advanced material (complement of Jeekc's work). Also Algebraic Topology
**Corbin ∫ 1 ɱ p s ɔ ♫**^{Rock on, dude!}Just working on making stubs for now; I don't know much beyond single-variable calculus.- General Eisen hower (My War Years)
- DavidCBryant Most interested in continued fractions and other topics in complex analysis.
- User:Cronholm144 Calculus and complex analysis, I will get started on this when my other projects settle down.
- --Mathemens (talk) 22:10, 30 April 2008 (UTC) Updates are slow nowadays it seems, so I'll just copy over missing pages.
- User:Chenxlee Working in the Number Theory section, mostly transcendence theory stuff.
- ArkianNWM (talk) Going to start in linear and multi-linear algebra.

## Editor contributions[edit]

User | Total | N | A | C | M | NC | NM |
---|---|---|---|---|---|---|---|

Paul August | 593 | 20 | 311 | 10 | 18 | 27 | 155 |

AdamSmithee | 439 | 47 | 281 | 7 | 34 | 10 | 60 |

Linas | 370 | 34 | 196 | 26 | 21 | 28 | 65 |

Jtwdog | 313 | 25 | 200 | 23 | 6 | 7 | 52 |

Oleg Alexandrov | 223 | 22 | 140 | 39 | 8 | 4 | 7 |

CryptoDerk | 124 | 12 | 83 | 17 | 10 | 1 | |

Bjcairns | 82 | 5 | 41 | 8 | 5 | 3 | 19 |

Jeekc | 78 | 4 | 61 | 2 | 6 | 5 | |

Jitse Niesen | 78 | 8 | 37 | 4 | 24 | 1 | 1 |

Blotwell | 69 | 2 | 43 | 6 | 18 | ||

Rich Farmbrough | 39 | 1 | 12 | 19 | 7 | ||

Mikkalai | 34 | 2 | 21 | 2 | 4 | 3 | 2 |

Tompw | 13 | 1 | 3 | 8 | |||

Drini | 11 | 3 | 3 | 4 | 1 | ||

Juliusross | 7 | 2 | 5 | ||||

Charles Matthews | 6 | 1 | 1 | ||||

Porcher | 6 | 1 | 4 | 1 | |||

CorbinSimpson | 5 | 3 | 2 | ||||

Mathemens | 5 | 2 | 3 | ||||

Trovatore | 4 | 3 | |||||

Hv | 3 | 3 | |||||

Teorth | 3 | 3 | |||||

CompositeFan | 2 | 2 | |||||

Anton Mravcek | 2 | 2 | |||||

Tdvance | 1 | 1 | |||||

Physicistjedi | 1 | 1 | |||||

Circeus | 1 | 1 | |||||

Arthur Rubin | 1 | 1 | |||||

Cholerashot | 1 | 1 | |||||

Daniele.tampieri | 1 | 1 | |||||

Alba | 1 | 1 | |||||

Kompik | 1 | 1 | |||||

DavidCBryant | 1 | 1 | |||||

Simon12 | 1 | 1 | |||||

Lunch | 1 | ||||||

Mindspillage | 1 | 1 | |||||

PrimeFan | 1 | 1 | |||||

Tokek | 1 | 1 | |||||

Lethe | 1 | 1 | |||||

Doctormatt | 1 | 1 |