Inventory: M
The rows of the inventory whose names start with M. 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 3801–3900 of 4894.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Move (CO): Collapse | 9WFSHE6ADT | 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.01915#GI1F |
| Move (I-): Insplitting | KXV9855S12 | 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.01915#KIPO |
| Move (O): Outsplitting | Z6CBP2GX51 | 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.01915#YHDC |
| Move (S): Remove a regular sink | TQG4BDHDYZ | 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.01915#8Z7Q |
| Move-Up Process | BAK2F1Z40N | 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.12732#FPJ9 |
| Movement bound for the regularized objective | M2XJ83VRMX | 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.08152#IL2U |
| Movement bound in the oversampled case | JQJF3NN00A | 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.08152#JL2X |
| Moving and fixed inner boundaries | CFB8QXPJXN | 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.21328#NJ0R |
| moving average | SJMCA7CTR8 | unknown | open | Wikidata Q1130194, MathWorld MovingAverage |
| Moving convex sweeping process with memory | GXYMDV9JEW | 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.27414#7FPP |
| Moving endpoints | EQZYNA0TD7 | 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.02531#4S1I |
| Moving equilibrium theorem | WBRV07MHM6 | statement | open | mathlib_1000 Q6927135, Wikidata Q6927135, thousand_plus Q6927135, Wikipedia Moving equilibrium theorem |
| Moving restrictions | FY84FD9F9J | 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.08821#12HK |
| moving sofa problem | T96QJ0SGZR | problem | open | Wikidata Q2635526, MathWorld MovingSofaProblem |
| Moving-head clock length and locality | 19KGQXM8MR | 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.16351#4N2P |
| MP vs.\ DP | KYAYSX3ST5 | 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 2204.09167#3LCV |
| MP0B1BHAC4 | MP0B1BHAC4 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-42 |
| MP0GCT0JRW | MP0GCT0JRW | 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 2609.37769#5QJJ |
| MP0MGHTE7A | MP0MGHTE7A | 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.14310#IZYA |
| MP0MRT84YH | MP0MRT84YH | statement | open | open_logic content/set-theory/ordinals/opps.tex#prop-1 |
| MP160JMV2Z | MP160JMV2Z | 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.24465#RDSL |
| MP2B3KJY78 | MP2B3KJY78 | 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.09019#ZZGV |
| MP2VMCBKY7 | MP2VMCBKY7 | statement | open | open_logic content/incompleteness/theories-computability/inseparability.tex#lem-1 |
| MP2WJ2AXQT | MP2WJ2AXQT | 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.39293#J0T5 |
| MP31HR5NW7 | MP31HR5NW7 | 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.31910#5M2Y |
| MP32PAVB7J | MP32PAVB7J | 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.19658#GZVD |
| MP3QVTJK3N | MP3QVTJK3N | 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.30033#7FKL |
| MP3SQDQVKN | MP3SQDQVKN | 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 2510.07095#UD5W |
| MP49S2YKWJ | MP49S2YKWJ | exercise | open | lebl_scv scv.tex#exercise-175 |
| MP4XJK2SVG | MP4XJK2SVG | unknown | open | arXiv 2610.13680#NS2Y |
| MP56TQPNBD | MP56TQPNBD | example | open | levin_dmoi ptx/sec_counting-proofs.ptx#ex-comb-proof-rowsum |
| MP581CFJR0 | MP581CFJR0 | 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.36279#5K6B |
| MP5B56BAA8 | MP5B56BAA8 | 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.24553#HFTU |
| MP5TD17FAH | MP5TD17FAH | 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 2501.17009#5GH0 |
| MP5WJ75KQ3 | MP5WJ75KQ3 | 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.28507#QD1K |
| MP6AT8SDEJ | MP6AT8SDEJ | exercise | open | open_logic content/incompleteness/representability-in-q/beta-function.tex#prob-1 |
| MP6FR6S4V1 | MP6FR6S4V1 | 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.35404#KWBG |
| MP7J31QSVV | MP7J31QSVV | 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.26033#E3A0 |
| MP7ZMXPFEP | MP7ZMXPFEP | 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.14973#NKLB |
| MP9AZW8J8R | MP9AZW8J8R | 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.07596#QHUK |
| MPA5DKDPRT | MPA5DKDPRT | 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.07695#TLPX |
| MPA6VGJNCE | MPA6VGJNCE | 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.38250#XEAN |
| MPAR8N9VX8 | MPAR8N9VX8 | exercise | open | applied_combinatorics source/s_networkflow_exercises.ptx#ex_networkflow_do-update |
| MPB287RRYC | MPB287RRYC | definition | open | lebl_ra ch-real-nums.tex#defn-5 |
| MPB57AX752 | MPB57AX752 | 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.12857#BFHV |
| MPBVG109J0 | MPBVG109J0 | 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.39103#NB64 |
| MPCM8NP50Y | MPCM8NP50Y | 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.16853#8AWQ |
| MPCSNCCNM3 | MPCSNCCNM3 | 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.17070#I726 |
| MPD4CYCXYV | MPD4CYCXYV | 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.30480#FNSW |
| MPDGV9ZD51 | MPDGV9ZD51 | 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.34193#WEKN |
| MPDNHMP616 | MPDNHMP616 | 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 1512.06981#YK62 |
| MPEGAV792B | MPEGAV792B | 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.28220#WDQ2 |
| MPF668KW4Y | MPF668KW4Y | 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.24314#HW78 |
| MPGAYFP0V6 | MPGAYFP0V6 | 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.28702#NX1W |
| MPGQMZ7XDW | MPGQMZ7XDW | statement | open | napkin tex/homology/excision.tex#theorem-1 |
| MPGTZSMW8S | MPGTZSMW8S | 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.20915#I2UA |
| MPH7JQWP9T | MPH7JQWP9T | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-44 |
| MPJ29VHY1A | MPJ29VHY1A | 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.21768#AE1C |
| MPJ4XZHBBT | MPJ4XZHBBT | 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.30018#WY6W |
| MPJJF0M2G0 | MPJJF0M2G0 | 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#MG8S |
| MPKR06ARDP | MPKR06ARDP | 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.26479#NPWW |
| MPM5CPG98B | MPM5CPG98B | 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.13833#P1QL |
| MPM8GKH1ND | MPM8GKH1ND | 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.34876#OAK9 |
| MPMR4GKNH9 | MPMR4GKNH9 | 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.09390#R0X1 |
| MPMRW3HS32 | MPMRW3HS32 | 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.20050#LDAP |
| MPNKE1JVEA | MPNKE1JVEA | 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 2607.28337#Q55X |
| MPP2V6DQSH | MPP2V6DQSH | 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.14318#33TL |
| MPR44GGHKV | MPR44GGHKV | 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.12430#3T1D |
| MPRA2KJDX2 | MPRA2KJDX2 | 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.39293#O8OP |
| MPRNRZT1ZP | MPRNRZT1ZP | 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.26262#APYW |
| MPS bond dimension | 2ES69JQWQQ | 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.02166#XTSB |
| MPS4YARNQE | MPS4YARNQE | statement | open | lebl_scv scv.tex#prop:complexificationofrasurface |
| MPSKHHE3AM | MPSKHHE3AM | statement | open | hott_book basics.tex#thm:equiv-eqrel |
| MPSKYN6XD6 | MPSKYN6XD6 | 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.24789#3D7Y |
| MPSNJ2JBW9 | MPSNJ2JBW9 | 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#I0D3 |
| MPSRWWHPCG | MPSRWWHPCG | 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.28650#LDWB |
| MPSVE1ZE7V | MPSVE1ZE7V | 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.05391#OPEC |
| MPT08N4GGE | MPT08N4GGE | 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.30821#133N |
| MPTD96YR4A | MPTD96YR4A | proof | open | hott_book equivalences.tex#proof-2 |
| MPTK7XAKDD | MPTK7XAKDD | 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.16339#M721 |
| MPV1WGQXYQ | MPV1WGQXYQ | 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.02481#3U42 |
| MPV88A4YQK | MPV88A4YQK | 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.35632#IYZ3 |
| MPVZFK8SYM | MPVZFK8SYM | 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.17135#0QJ0 |
| MPWACAZGST | MPWACAZGST | 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.01915#695T |
| MPWBS9NTW3 | MPWBS9NTW3 | 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.31445#ZW39 |
| MPWRDBVHY6 | MPWRDBVHY6 | 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.20916#ULXB |
| MPXBH512HC | MPXBH512HC | 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.18620#OVGT |
| MPY2ECRF5G | MPY2ECRF5G | 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.27023#IG5Y |
| MPY3XEJWEV | MPY3XEJWEV | 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.24917#TPV3 |
| MPY4S9AQHP | MPY4S9AQHP | 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.03520#DUEQ |
| MPY9HMH27H | MPY9HMH27H | 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.06544#3LLZ |
| MPYC2ZCVX7 | MPYC2ZCVX7 | 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.02079#MMAQ |
| MPYRG98VS4 | MPYRG98VS4 | 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.26455#8QPK |
| MPYZ78VNQM | MPYZ78VNQM | 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 2208.05276#CR8I |
| MPZ41JAFH4 | MPZ41JAFH4 | 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 2608.00864#P8YM |
| MPZ68A20T9 | MPZ68A20T9 | 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.16779#KYE3 |
| MPZM0YT6JG | MPZM0YT6JG | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-61 |
| MQ011PFMXT | MQ011PFMXT | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-3 |
| MQ0Z0SYMEV | MQ0Z0SYMEV | 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.09084#AOTF |
| MQ12QBKNQQ | MQ12QBKNQQ | 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.38865#SQRB |