`Shortcut: WD:MATH`

# Wikidata:WikiProject Mathematics

## Contents

## Goals[edit]

### Long term goals[edit]

- Organize data about mathematics

### Short term goals[edit]

- Use the property has facet polytope (P1312) on all applicable items (7/??), and create missing items
- Gather information from infoboxes
- Create more properties that semantically describe items
- Create featured items that show how properties should be used
- Create "has part" property entries for formula components / identifiers -> discussion

## Infoboxes[edit]

## Useful lists and queries[edit]

- List of integers in Wikidata
- Subclass tree for number (Q11563): http://tools.wmflabs.org/wikidata-todo/tree.html?q=11563&rp=279&lang=en
- Table of all theorems
- Table of notable numbers
- Uses of OEIS ID

Error detection: please make sure the query below returns zero results, and fix any item that appears.

## Properties[edit]

See also: Wikidata:List_of_properties/Terms

property does not exist. Use "id=new" if it's to be created. property does not exist. Use "id=new" if it's to be created.

Title | ID | Data type | Description | Examples | Inverse |
---|---|---|---|---|---|

defining formula | P2534 | Mathematical expression | formula: mathematical formula representing a theorem or law | mass–energy equivalence <defining formula> E=mc^2 |
- |

has facet polytope | P1312 | Item | facet: facet of a polytope, in the next-lower dimension | dodecahedron <has facet polytope> pentagon |
has vertex figure |

cardinality of the group | P1164 | Quantity | cardinality: number of elements in a finite group | Dihedral group of order 6 <cardinality of the group> 6 |
- |

numeric value | P1181 | Quantity | numerical value of a number, a mathematical constant, or a physical constant | golden ratio <numeric value> 1,6180339887±0,0000000001 |
- |

approximation algorithm | P1171 | Item | approximation algorithm: method used to approximate a number | pi <approximation algorithm> Gauss–Legendre algorithm |
- |

OEIS ID | P829 | External identifier | On-Line Encyclopedia of Integer Sequences: identifer on the On-Line Encyclopedia of Integer Sequences | Fermat number <OEIS ID> A000215 |
- |

dual to | P1322 | Item | duality: dual of a polytope, graph or curve | cube <dual to> octahedron |
- |

proved by | P1318 | Item | person who proved something | Poincaré conjecture <proved by> Grigori Perelman |
- |

discoverer or inventor | P61 | Item | inventor, innovator and discoverer: discovered, first described, or invented by | Poincaré conjecture <discoverer or inventor> Henri Poincaré |
- |

domain | P1568 | Item | domain of a function: set of "input" or argument values for which the function is defined | square function <domain> real number |
- |

codomain | P1571 | Item | codomain: codomain of a function | square function <codomain> real number |
- |

has vertex figure | P1678 | Item | vertex figure: the figure exposed when a corner of a polytope is sliced off | cuboctahedron <has vertex figure> rectangle |
has facet polytope |

statement describes | P2384 | Item | a formalization of the statement contains a bound variable in this class | Pythagorean theorem <statement describes> right triangle |
- |

### External Identifiers[edit]

Title | ID | Data type | Description | Examples | Inverse |
---|---|---|---|---|---|

OEIS ID | P829 | External identifier | On-Line Encyclopedia of Integer Sequences: identifer on the On-Line Encyclopedia of Integer Sequences | Fermat number <OEIS ID> A000215 |
- |

Mathematics Genealogy Project ID | P549 | External identifier | Mathematics Genealogy Project: identifier for mathematicians and computer scientists at the Mathematics Genealogy Project | Patrick Ion <Mathematics Genealogy Project ID> 8691 |
- |

zbMATH author ID | P1556 | External identifier | mathematician: identifier of a person in the Zentralblatt MATH database | Patrick Ion <zbMATH author ID> ion.patrick-d-f |
- |

zbMATH work ID | P894 | External identifier | identifier in the zbMath database | Game Theory: A Multi-Leveled Approach <zbMATH work ID> 1147.91001 |
- |

MathWorld identifier | P2812 | External identifier | MathWorld: Identifier for entries in MathWorld, online mathematics reference work. | aleph null <MathWorld identifier> Aleph-0 |
- |

## Polytopes[edit]

Root item | Query | Query description | Count date | Count quantity | Count link |
---|---|---|---|---|---|

polytope (Q747980) | tree[747980][][279] | subclasses | 2014-10-07 | 813 | autolist2 |

vertex (Q26401) | web[26401][1312] | polytopes with property "has facet polytope" (direct, not inherited) | 2014-10-07 | 534 | autolist2 |

## Participants[edit]

The participants listed below can be notified using the following template in discussions:

`{{Ping project|Mathematics}}`

- Opensofias (talk)
- Tobias1984 (talk)
- Micru (talk)
- Arthur Rubin (talk)
- Cuvwb (talk)
- Danneks (talk)
- TomT0m (talk)
- Tylas (talk)
- Physikerwelt (talk)
- Lymantria (talk)
- Bigbossfarin (talk)
- Infovarius (talk)
- Helder (talk)
- PhilMINT (talk)

## Related WikiProjects[edit]

### Wikidata[edit]

- Shared symmetry properties (crystallography):