Inventory: F
The rows of the inventory whose names start with F. 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 901–1000 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FA1AESFVRD | FA1AESFVRD | exercise | open | lebl_scv scv.tex#exercise-108 |
| FA1BV9VV2N | FA1BV9VV2N | 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.09900#P8E4 |
| FA1HJF78GT | FA1HJF78GT | proof | open | napkin tex/diffgeo/multivar.tex#proof-2 |
| FA1J7CZ7DA | FA1J7CZ7DA | 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.02692#I5UJ |
| FA1K2CJKT6 | FA1K2CJKT6 | proof | open | hott_book homotopy.tex#proof-37 |
| FA274TAMX8 | FA274TAMX8 | 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 1001.1196#HSZ5 |
| FA28TAG18V | FA28TAG18V | 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.14435#XT52 |
| FA2QTWKVCJ | FA2QTWKVCJ | 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 0809.0068#XQGM |
| FA3859A9T5 | FA3859A9T5 | 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.15982#8ZFW |
| FA410B62VZ | FA410B62VZ | example | open | levin_dmoi ptx/sec_addtops-numbth.ptx#example-7 |
| FA4DQ5AA1F | FA4DQ5AA1F | definition | open | open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#Closure |
| FA4Y7EAA7A | FA4Y7EAA7A | 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 2409.03423#E93U |
| FA688E5ZFZ | FA688E5ZFZ | 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.07930#XANS |
| FA6AWCTDYY | FA6AWCTDYY | 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.29699#EC1F |
| FA6HWH5H94 | FA6HWH5H94 | 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.33070#KP04 |
| FA6J36GJ5H | FA6J36GJ5H | 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.19845#G5L0 |
| FA8QPH806Q | FA8QPH806Q | 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 1804.05688#VI7V |
| FA8V4Y0VWK | FA8V4Y0VWK | 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 2202.10212#ZKQY |
| FA983ZWC2G | FA983ZWC2G | 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.05354#YST2 |
| FA9A2A934H | FA9A2A934H | 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.21662#CYWT |
| FA9H5C99JZ | FA9H5C99JZ | 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.13913#YUI8 |
| FA9J178A3B | FA9J178A3B | 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.21929#28P0 |
| FA9NJT25PW | FA9NJT25PW | 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.30086#AFNJ |
| FA9WCRJGBF | FA9WCRJGBF | 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 2208.07401#S3GV |
| Fa\`a di Bruno's formula; cf.\ | 1JCHEHPMMC | 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.21725#76Y8 |
| FAA83N2CSY | FAA83N2CSY | 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 2406.19866#1XL1 |
| FAA94CR4GH | FAA94CR4GH | 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#ZJ8M |
| FAAGS4D9QB | FAAGS4D9QB | 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 2308.05066#BHRN |
| FAB3PY2QA5 | FAB3PY2QA5 | statement | open | hott_book basics.tex#lem:ap-functor |
| FAB6E59N68 | FAB6E59N68 | 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.11097#OO7Z |
| FAB74YGQZY | FAB74YGQZY | 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.33018#5NXG |
| Faber polynomials | 27VK83B27J | unknown | open | Wikidata Q4298932, MathWorld FaberPolynomial |
| Faber-Krahn | VH441ZER79 | 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.13180#PB6B |
| FABGRVBT4E | FABGRVBT4E | unknown | open | arXiv 1712.02437#0NYT |
| Fabien Morel | BJFB6D855Q | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q726473, nLab Fabien Morel |
| FABPVGW75V | FABPVGW75V | 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.06338#AJQD |
| FABTZVD0ER | FABTZVD0ER | 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 2607.00146#68AD |
| face | 6W01H4M58J | concept | open | applied_combinatorics index/5.5/face |
| face | CE4X9VTNJS | unknown | open | Wikidata Q3064117, MathWorld Face |
| Face differential | HF0EVTKM84 | 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.27799#KCG3 |
| face ownership | 6H9WGCKNQX | 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.39511#ULJ1 |
| face ownership | CASTJVWWQD | 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.39511#PMN8 |
| Face uniqueness and coface counts | CDXBXWDCZS | 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.28028#VO31 |
| Face-free action constraint | 4SVE7G0WY3 | 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.22082#C2BJ |
| faces | SGD4H8CDFH | concept | open | levin_dmoi index/5.3/faces |
| Faces of $P_n$ | 9Z6NX5ZSA2 | 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.03081#10UH |
| facet | KW618QFK2M | unknown | open | Wikidata Q3847020, MathWorld Facet |
| facet budget | Z1C23K6GHE | 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.32733#AGTT |
| facet budget, graded | NHG43JPS1Z | 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.32733#KYHZ |
| Facet shape and inball | SJBYRKG16N | 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.25120#UADS |
| faceting | SR2KESJJ58 | unknown | open | Wikidata Q3064125, MathWorld Faceting |
| Facewise abelian BF comparison | T6REQNBD6K | 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.27799#3W6B |
| Fact | PJ559EX6BV | 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.26337#VIGF |
| factor | PG0CC8XN4Z | unknown | open | Wikidata Q54640195, MathWorld Factor |
| factor analysis | X57ACD8NY1 | unknown | open | Wikidata Q726474, MathWorld FactorAnalysis |
| Factor descent | H6WRFC8NB1 | 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.34522#TX2U |
| Factor of iid | 33FFANFEHJ | 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 2203.01511#V8YA |
| Factor pattern of minimum height span | P1ESZJV6ZG | 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.26066#N38E |
| Factor synchronization and critical descent | BA9WM3N6YR | 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.10950#OD7T |
| factor theorem | 9VBFS7SEGJ | statement | node (a node has the same Wikidata item as the row) | Wikidata Q1108687, MathWorld PolynomialFactorTheorem, ProofWiki Polynomial_Factor_Theorem |
| Factor-eight estimate for arbitrary feasible splits | QJX74SKBK3 | 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.24931#EFCR |
| Factor-position heights | KY19YEZCV3 | 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.26066#PJ4J |
| Factor-resolved formula for the rectangular Weyl matrix | P87962WSTZ | 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.26066#ET00 |
| Factor-sixteen parent comparison | ACB4VBAXQ4 | 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.24931#BJ7G |
| factorial | 3CNS4CR6C7 | concept | open | levin_dmoi index/2.3/factorial |
| factorial | MQDPN6144H | object | node (a node has the same Wikidata item as the row) | Wikidata Q120976, EoM Factorial, Mathlib Nat.factorial, MathWorld Factorial, nLab factorial, OEIS A000142, ProofWiki Definition:Factorial |
| Factorial moments of isolated clusters | CCKNE6YXNS | 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.39699#LCCT |
| factorial prime | 5YWG3J0Y1Q | unknown | open | Wikidata Q973861, MathWorld FactorialPrime, OEIS A088054 |
| factorial sampling | BF2S27DDBP | 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.27458#QMLF |
| Factorial tracially complete $C^*$-algebras have weak CPoU | YD377P4TG2 | 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#UDE0 |
| Factorial upper bound | 604HGH7ZPF | 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.00396#YEEM |
| factorial, definition | CMXVMJC67Q | concept | open | applied_combinatorics index/2.2/factorial-definition |
| factorial, recursive definition | R9YRYE4MZB | concept | open | applied_combinatorics index/3.3/factorial-recursive-definition |
| Factoring $3$ in the integers of $\QQ(\sqrt{-17})$ | QB1EADCF38 | example | open | napkin tex/alg-NT/dedekind.tex#example-4 |
| Factoring $5$ in a Galois/non-Galois extension | JGZA81TDCQ | example | open | napkin tex/alg-NT/ramification.tex#example-3 |
| Factoring $6$ in the integers of $\QQ(\sqrt{-5})$ | HDS0J760MW | example | open | napkin tex/alg-NT/dedekind.tex#example-3 |
| Factoring $77$: generating the periodic state | 6Q7KZAHMJQ | example | open | napkin tex/quantum/shor.tex#example-2 |
| Factoring $x^3-2 \pmod 5$ | 3BQZWB807Z | example | open | napkin tex/alg-NT/frobenius.tex#example-2 |
| Factoring algorithm / Dedekind-Kummer theorem | HZRYEZXTAB | statement | open | napkin tex/alg-NT/dedekind.tex#thm:factor_alg |
| factorion | H1AT3C0A74 | unknown | open | Wikidata Q1977759, MathWorld Factorion, OEIS A014080 |
| factorisation | A1ZVAV8850 | 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.27458#XRYU |
| Factorisation in $\Z[\pi]$ | THCAMVP97G | 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.07905#XCYM |
| Factorisation of graph Newton polynomials | 6QR8XWKYH5 | 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.20368#UW7T |
| Factorisation of loose plots | 9JV1YPG8G7 | 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.26270#VQ6R |
| Factorisation of separated marginals | R4D785ATQR | 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.03683#4RPU |
| Factorisation of the Schrödinger bridge | GGFCYS6YCD | 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.27103#VN82 |
| Factorization | 1WESK0MSPQ | 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.27966#IE1A |
| factorization | GWFVKKF3P2 | unknown | open | Wikidata Q188804, EoM Factorization, MathWorld Factorization |
| Factorization | RF94TM2A1H | 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.21662#BWEW |
| Factorization | W1020TD5GA | 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.14695#YNSF |
| factorization algebra | ZKZZWJVDVA | unknown | open | Wikidata Q117019164, nLab factorization algebra |
| Factorization and polynomials for geometrically spaced roots | SWA4M5440Z | 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.08568#VPLS |
| Factorization at $t=0$ | 1S38B4GBHE | 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.18350#AOUT |
| Factorization characterization of invariant sufficiency | D96TNP9STP | 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.29348#DU2Y |
| factorization homology | M8P85YX4HG | unknown | open | Wikidata Q39046233, nLab factorization homology |
| Factorization identities | 7Y0W8J06RZ | 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.19192#1Z32 |
| factorization lemma | X3S9CVAGFH | statement | open | Wikidata Q5428744, nLab factorization lemma |
| Factorization of Boolean morphisms | A8QETAZ3Z7 | 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 2102.12931#S4LV |
| factorization of polynomials | NSGAZNFH8Y | topic | open | Wikidata Q392477, MathWorld PolynomialFactorization |
| Factorization of the conditional inverse | 86AZJEAXQ4 | 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.14906#DSYY |