Inventory: J
The rows of the inventory whose names start with J. 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 1401–1500 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JEN27T6BSE | JEN27T6BSE | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-11 |
| JEN8RSH0HA | JEN8RSH0HA | 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.33313#H6RM |
| JENQ46N5ST | JENQ46N5ST | 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.04809#THIR |
| Jens Eisert | C69PNY3P69 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6179652, nLab Jens Eisert |
| Jensen | KF323KE160 | 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.17547#YSF4 |
| Jensen bound | TARE0A2DPT | 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.31300#X9CK |
| Jensen field bound | NFCM6P4048 | 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.37479#AU9M |
| Jensen gap for $\log\det$ | 2KQDXK47RZ | 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.12271#7AMT |
| Jensen lower discretisation | S8CFC0DV1F | 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.12713#EF5O |
| Jensen's formula | XBHY0GWPZV | statement | open | Wikidata Q1048466, MathWorld JensensFormula |
| Jensen's inequality | 1MF6T6W1R0 | statement | open | lebl_scv scv.tex#thm-53 |
| Jensen's inequality | 3JCYB7PPN7 | topic | node (a node has the same Wikidata item as the row) | Wikidata Q518131, EoM Jensen_inequality, MathWorld JensensInequality, ProofWiki Jensen's_Inequality |
| Jensen's Inequality | JA7W2WS69W | 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.30105#JM99 |
| Jensen's inequality | RBGA3NBQDQ | 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.28143#HLSM |
| Jensen's inequality (finite sum version) | KW5EC8A164 | unknown | open | mathlib_overview Analysis > Convexity > Jensen's inequality (finite sum version), Mathlib ConvexOn.map_sum_le |
| Jensen's inequality (integral version) | 69QZQ5T7P0 | unknown | open | mathlib_overview Analysis > Convexity > Jensen's inequality (integral version), Mathlib ConvexOn.map_integral_le |
| Jensen's operator inequality | 5QPDQCQY4N | 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.01498#8RC3 |
| Jensen's theorem | 5SJRG070N6 | unknown | open | Wikidata Q16799603, MathWorld JensensTheorem |
| JENWHDFTC6 | JENWHDFTC6 | 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.07963#TQV0 |
| Jeong-Hyuck Park | T8CBS4FVN5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q74229394, nLab Jeong-Hyuck Park |
| JEPAKWS8JK | JEPAKWS8JK | statement | open | hott_book setmath.tex#thm:ordord |
| JEPY8W53FB | JEPY8W53FB | 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 math/9201244#D6HY |
| JEQAKYVMJZ | JEQAKYVMJZ | 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.20391#T9L8 |
| JEQMMC5XYH | JEQMMC5XYH | 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.26340#4KC7 |
| JEQZ9W3KJK | JEQZ9W3KJK | 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 2505.04593#BOT9 |
| JER8Y9629E | JER8Y9629E | unknown | open | arXiv 2610.09206#AJIF |
| Jerabek hyperbola | BDNZYRQM6F | concept | open | Wikidata Q13729699, MathWorld JerabekHyperbola |
| Jeremiah P. Ostriker | 3CP4Q7XJA6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1351917, nLab Jeremiah Ostriker |
| Jeremy Avigad | SBWDS27ATT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15631390, nLab Jeremy Avigad |
| Jeremy Butterfield | NQ7E79GJB2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6181183, nLab Jeremy Butterfield |
| jerk | BC41BJWQ9B | unknown | open | Wikidata Q497332, MathWorld Jerk |
| JERMYGRBPJ | JERMYGRBPJ | 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.28211#DNN6 |
| Jerome Gauntlett | 5AP4ZVGBJG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q73546944, nLab Jerome Gauntlett |
| Jerrold E. Marsden | 30VMD7JB8E | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q574589, nLab Jerrold Marsden |
| JERT8ZX5VW | JERT8ZX5VW | 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.36622#J0TV |
| JERYZZFZZ4 | JERYZZFZZ4 | 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.08912#SCW1 |
| JESC3Q0A5X | JESC3Q0A5X | 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 2404.06445#9QB9 |
| JESF92NWXN | JESF92NWXN | exercise | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#prob-1 |
| Jessen's icosahedron | FYXD4K59P1 | unknown | open | Wikidata Q6187017, MathWorld JessensOrthogonalIcosahedron |
| jet | Z6G67NKWN3 | concept | open | Wikidata Q923480, EoM Jet, ProofWiki Definition:Jet |
| jet bundle | G56KP0R4S6 | definition | open | Wikidata Q6188933, nLab jet bundle, ProofWiki Definition:Jet_Bundle |
| jet group | GKNM7TE5X9 | unknown | open | Wikidata Q17098315, nLab jet group |
| Jet recurrences | G6BTCKCC8A | 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.05164#WICZ |
| JET6XBP9FR | JET6XBP9FR | 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.20466#RUAN |
| JET8E9PJXH | JET8E9PJXH | 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.24610#0CP8 |
| JETKR0V6FS | JETKR0V6FS | 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.19132#FRVY |
| Jets | WYHH68MFSP | 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.06480#K8O0 |
| Jets and their stability | BGT3C9Z3C7 | 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.06490#53CY |
| JETXMH9M99 | JETXMH9M99 | 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.17817#Y4B8 |
| JEV7A17XAV | JEV7A17XAV | statement | open | open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#prop:god-infty-m |
| Jevons' number | XRRN8V1MSK | unknown | open | Wikidata Q1100748, MathWorld JevonsNumber, ProofWiki 8,616,460,799, ProofWiki Definition:Jevons'_Number |
| JEVY3GBA4T | JEVY3GBA4T | 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.39409#9OHP |
| JEW52VM3BE | JEW52VM3BE | 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.18847#S12D |
| JEW9QH70PG | JEW9QH70PG | example | open | napkin tex/cats/categories.tex#example-1 |
| JEWK5ZNVYN | JEWK5ZNVYN | example | 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.11292#ICW7 |
| JEWWREJD5X | JEWWREJD5X | 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 2410.22607#4CSQ |
| JEX1PWDDJW | JEX1PWDDJW | 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.28594#7LTR |
| JEX8392EED | JEX8392EED | 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.06785#WW1N |
| JEX9CBKSRN | JEX9CBKSRN | example | 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 1107.2621#C0VF |
| JEX9SWWFSZ | JEX9SWWFSZ | proof | open | lebl_scv scv.tex#proof-72 |
| JEXC4CJBQK | JEXC4CJBQK | 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.39706#YAZZ |
| JEXJKC7V6R | JEXJKC7V6R | 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.35307#0YKX |
| JEXQ14RM56 | JEXQ14RM56 | 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.20391#N5W9 |
| JEXTCZFXCE | JEXTCZFXCE | definition | open | napkin tex/diffgeo/stokes.tex#definition-1 |
| JEY55GVYE0 | JEY55GVYE0 | exercise | open | open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#prob-1 |
| JEYB4TXPBW | JEYB4TXPBW | definition | open | lebl_scv scv.tex#defn-18 |
| JEYS99ADYY | JEYS99ADYY | 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.36410#BPJN |
| JEYYZPSVK8 | JEYYZPSVK8 | example | 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.06108#DFH0 |
| JEZ75V075H | JEZ75V075H | example | 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.25111#U0JN |
| JEZNJJ9V0N | JEZNJJ9V0N | exercise | open | lebl_ra ch-contfunc.tex#exercise-64 |
| JEZWVJDS78 | JEZWVJDS78 | 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 2207.07461#BKEW |
| JEZXAN5KQW | JEZXAN5KQW | 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.00856#UTDV |
| JF0KFF6VF7 | JF0KFF6VF7 | 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.02642#OTZZ |
| JF1HSB6344 | JF1HSB6344 | 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.18929#IC3D |
| JF1PRB7D8D | JF1PRB7D8D | 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.04694#Y1V4 |
| JF2DV14M4Z | JF2DV14M4Z | proof | open | levin_dmoi ptx/exercises/seq-induction.ptx#proof-3 |
| JF2ENKX2F1 | JF2ENKX2F1 | proof | open | napkin tex/measure/large-laws.tex#proof-2 |
| JF2V63XVJ3 | JF2V63XVJ3 | 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.18078#ZDS5 |
| JF2VSPNT5N | JF2VSPNT5N | 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.35683#IZQH |
| JF3G3X2J3Q | JF3G3X2J3Q | 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.29450#CISP |
| JF4D656DWM | JF4D656DWM | exercise | open | levin_dmoi ptx/exercises/gt-conc.ptx#exercise-2 |
| JF4FWQYGPB | JF4FWQYGPB | 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.03555#ID1L |
| JF4V2JMF1S | JF4V2JMF1S | 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.11793#RBQW |
| JF4W8G17RE | JF4W8G17RE | 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.18287#IRWE |
| JF627A87WP | JF627A87WP | 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 1503.05744#Y67G |
| JF6E12TAAV | JF6E12TAAV | 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 2310.17520#X735 |
| JF6HVGR0XW | JF6HVGR0XW | 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.40123#2S3J |
| JF6SBW0J6Q | JF6SBW0J6Q | 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.03856#YUQK |
| JF7279QZ1N | JF7279QZ1N | 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.40096#UKSS |
| JF7CZ62QHF | JF7CZ62QHF | 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.34213#4CVT |
| JF7HQT8ZNA | JF7HQT8ZNA | example | 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.12489#FF7A |
| JF7VQ8EV5B | JF7VQ8EV5B | 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.03835#X0HL |
| JF89X4WKMZ | JF89X4WKMZ | exercise | open | open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#prob-3 |
| JF8VNNG13S | JF8VNNG13S | 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.07718#GW0I |
| JF8XFW3VAG | JF8XFW3VAG | statement | open | hott_book basics.tex#thm:idtoeqv |
| JF9MT7QPSJ | JF9MT7QPSJ | 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 0905.1489#2U62 |
| JF9PY6BT9Z | JF9PY6BT9Z | 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.33775#TXGX |
| JFA4QSKF4E | JFA4QSKF4E | 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.39700#0Y6P |
| JFAGZ2ZXQW | JFAGZ2ZXQW | 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.08039#HIHP |
| JFAMA3841Q | JFAMA3841Q | 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.25168#CHNW |