Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 701–800 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| $YC_bC_r$ color model | YAXY23AFJH | concept | open | austin_ula index/3.3.2/yc-bc-r-color-model |
| ${[a,b]}$-difference labelling | 8D31WRH74S | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14681#LVQI |
| % | EME7SFPWTD | unknown | open | Wikidata Q7559698, MathWorld PercentSign |
| 't Hooft loop | DQSA2XHYSX | unknown | open | Wikidata Q4540599, nLab 't Hooft operator |
| 't Hooft–Polyakov monopole | 5FGHPVQSSJ | unknown | open | Wikidata Q8170996, nLab 't Hooft-Polyakov monopole |
| (0,1,−1)-matrix | DAHDY6JCGQ | topic | open | Wikidata Q43148722, MathWorld -101-Matrix |
| (1,−1)-matrix | XBHSBVADQX | unknown | open | Wikidata Q43217162, MathWorld -11-Matrix |
| (3,2)-tadpole graph | FYQFB1PC0P | unknown | open | Wikidata Q137527916, House of Graphs 330 |
| (smooth) direct sum of vector bundles | PPPR5QPV8Z | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) direct sum of vector bundles, Mathlib Bundle.Prod.contMDiffVectorBundle |
| (smooth) Hom bundle | YCVKX7173W | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) Hom bundle, Mathlib ContMDiffVectorBundle.continuousLinearMap |
| (smooth) pullback vector bundle | SJ76G221X4 | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) pullback vector bundle, Mathlib ContMDiffVectorBundle.pullback |
| (smooth) trivial vector bundle | QDM33VCP41 | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) trivial vector bundle, Mathlib Bundle.Trivial.contMDiffVectorBundle |
| (smooth) vector bundle | YDG12C9QD1 | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) vector bundle, Mathlib ContMDiffVectorBundle |
| (topological) fiber bundle | SR24YZM7VA | unknown | open | mathlib_overview Geometry > Smooth vector and fiber bundles > (topological) fiber bundle, Mathlib FiberBundle, mathlib_overview Topology > General topology > topological fiber bundle |
| (ε, δ)-definition of limit | ZMMC815Q5W | unknown | open | Wikidata Q1042034, nLab 엡실론-델타 논법 |
| *-algebra | DC9SXZTCTZ | unknown | open | Wikidata Q2836000, MathWorld InvolutiveAlgebra |
| *-algebra | VAZPX7R5GH | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37074#55XD |
| *{Conj.\ 3.15 | CS08VQ2QB8 | conjecture | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20306#5MAC |
| *{Conj.\ 6.2 | 7F253BXHV6 | conjecture | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20306#V3TG |
| *{Corollary 2.4 | D377JMD1T5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#OLIB |
| *{Corollary 3.9 | KJJ392FANR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03138#2X5J |
| *{Corollary 5.2 | G0NN1F5XK0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20153#BMFK |
| *{Definition 12.1 | NGJTA29E80 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#8HEJ |
| *{Definition 2.2 | K48GYA1GMK | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#Q294 |
| *{Definition 2.2}, *{Definition 2.39 | TKGB60N093 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#HMOO |
| *{Definition 2.7 | 8Q76Z3VC3T | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06521#UI0Y |
| *{Definition 3.1 | C89XWEDGKS | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#PRDI |
| *{Definition 3.13 | HG4N7ZVM88 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#YTRB |
| *{Definition 5.1 | GGXJK123TY | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15255#020W |
| *{Definition 5.14 | ZE5PSTF96K | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#8TOR |
| *{Definition 5.9 | 7046QEBX4C | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#YVU4 |
| *{Lemma 2.5.2 | Y9X3RJ9XYD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04876#7UNA |
| *{Lemma 2.7 | PXMH5HY0KX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15255#498A |
| *{Lemma 2.8 | YZPPBXPT5X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36922#M18D |
| *{Lemma 3.2 | A07AEX5GNP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#QKZ7 |
| *{Lemma 3.3 | PHEZKWV6G6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#1X9C |
| *{Lemma 4.2.6 | 2STXNG1NF1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.02275#VR1J |
| *{Lemma 4.5 | 8XSQ5T4AMA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#SF8C |
| *{Lemma 5 | 28C4MGH81J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03323#IERM |
| *{Lemma 5.5 | N0RGA8V0F3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#79VN |
| *{Lemma 6.2 | 3DVJXXZJHR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05708#EH89 |
| *{Lemma 6.3 | H077VRR0Z9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05708#KUTV |
| *{Lemma 7.1 | ZGE611A0PB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05708#XD2V |
| *{Lemmata 2.1, 2.2, 2.3, 2.4, 2.5 | 5N8N8NEE8X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30575#UP6G |
| *{Proposition 2.1 | NQ4V2AX4P1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37739#1F6D |
| *{Proposition 2.3 | 8PZA30Z507 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37739#GIU2 |
| *{Proposition 2.5 | XZ0MV2W1JT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#126C |
| *{Proposition 2.8 | GAQR0YB7DS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15255#MSKR |
| *{Proposition 3.1 | ZFM391Z0S1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06521#EPWU |
| *{Proposition 5.6 | YV81QZ431W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31216#AQH7 |
| *{Propositions 2.4.2 and 2.4.4 | WMY52J0M8Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02669#TMSV |
| *{Remark 3.8 | 2HB42BXWVM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#13OJ |
| *{Sec.\ 2.1}, *{Sec.\ 2.4}, *{Sec.\ 3.2 | P0H7MBVJ28 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20306#MM64 |
| *{Theorem 1 | C8TJPZ44E5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#YGCQ |
| *{Theorem 1.1 | XBWVBMRX70 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30575#32YW |
| *{Theorem 1.1 | XQEBWN9K3E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#78ZX |
| *{Theorem 1.2 | DQKQP93WJM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30575#GLYW |
| *{Theorem 1.2 | KE5PX06WCG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30575#09RL |
| *{Theorem 1.20 | CKXZHBK113 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37739#70IQ |
| *{Theorem 1.3 | GJ7ZXQZX74 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30575#JWSL |
| *{Theorem 1.3 | SZGEA3ZY51 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#9AU5 |
| *{Theorem 1.3.1 | 9YZCM843NY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#NUYX |
| *{Theorem 1.4 | Z9614WX6QQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.02275#A2CD |
| *{Theorem 1.6 | XFC5HRXQPZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#VXD7 |
| *{Theorem 11.4 | TWYETAAFQK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#FILD |
| *{Theorem 2.1.1 | MTVDSY1Y5Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02669#MSWA |
| *{Theorem 2.3 | B63VFZQH8P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04876#N4D3 |
| *{Theorem 3 | 485ECBV14N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#M97A |
| *{Theorem 3.1 | CAZZH92HNM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#N0XQ |
| *{Theorem 3.1 | RMQJ5PNW1H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03323#TV6P |
| *{Theorem 3.10 | XEH6QMX527 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16362#27FB |
| *{Theorem 3}, *{Lemma 3.1.2 | PDPQG54ZMC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06521#4ZKD |
| *{Theorem 4 (Variational characterisation of the information | R75KHVN85G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19076#5OHI |
| *{Theorem 4.1 | D30GV440SX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21945#6ICR |
| *{Theorem 4.1 | WAKR1HG5NT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#MT7Q |
| *{Theorem 4.10 | N6FZCSFBEW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.02275#ZPFE |
| *{Theorem 4.18}, *{Corollary 6.6(2 | N9TARN2QM3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#L9DB |
| *{Theorem 4.4}, *{Corollary 6.6(1)}, *{Theorem 5.8 | MKZC3Y3AH2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#IJX1 |
| *{Theorem 4.6 | TX0MDQVDXA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#OPVM |
| *{Theorem 5.15 | 5ZHHEA3YGR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.17227#UAOO |
| *{Theorem 5.41 | 2QDYC7A44E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04876#Q8K8 |
| *{Theorem 5.5 | TTST66DC7Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#Q7XX |
| *{Theorem 7.1 | 9W854MPM8G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27518#UYP1 |
| *{Theorem 8.2 | KYFDBM1QDK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02669#6S7D |
| *{Theorem A | GGE672TDZW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20153#UMKY |
| *{Theorem C | M261ZMCX00 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20153#8VFZ |
| 0,1-simple lattice | K50ZWQNAXN | concept | open | Wikidata Q4545495, MathWorld 01-SimpleLattice |
| 0-manifolds are discrete spaces | B7R38SM8ZP | unknown | open | mathlib_overview Geometry > Differentiable manifolds > 0-manifolds are discrete spaces, Mathlib ChartedSpace.discreteTopology |
| 0.999... | DGBZ49ZJX4 | statement | node (a node has the same Wikidata item as the row) | Wikidata Q713113, ProofWiki 0.999...=1 |
| 1 | BP1226TQR9 | statement | open | Wikidata Q199, MathWorld 1, ProofWiki 1 |
| 1,000,000,000 | 6QN3PQMJFJ | unknown | open | Wikidata Q16021, MathWorld Milliard |
| 1-based ruler function | PFZ6JDD77Y | object | open | Wikidata Q122695881, OEIS A001511 |
| 1-norm | P9AZWCVDQZ | unknown | open | Wikidata Q2365298, MathWorld L1-Norm |
| 1-planar graph | DP6Z7FMW5S | unknown | open | Wikidata Q4545823, MathWorld 1-PlanarGraph |
| 10 | 6GTX66544A | statement | open | Wikidata Q23806, MathWorld 10, ProofWiki 10 |
| 10,000,000 | 8EQ6W13326 | statement | open | Wikidata Q115362, ProofWiki 10,000,000 |
| 100 | 87TXAC9SJ7 | statement | open | Wikidata Q37413, MathWorld Hundred, ProofWiki 100 |
| 100,000 | 4DQ80Q9G1S | statement | open | Wikidata Q720751, ProofWiki 100,000 |
| 10000 | SAF2PNXN65 | statement | open | Wikidata Q427923, ProofWiki 10,000 |
| 1000000 | 3E3TBD2KKB | statement | open | Wikidata Q38526, MathWorld Million, ProofWiki 1,000,000 |