| figure | 9MVN1V5K92 | definition | open | Wikipedia Glossary of logic#NCUD |
| Figure axis | W3GNF9EJ6D | unknown | open | Wikipedia Moment of inertia#QPKO |
| Figure Five, Arkansas | 499SCE9MT3 | unknown | open | Wikipedia List of places with numeric names#30OQ |
| Figure of the Earth | NYDTDHBW7R | definition | open | Wikipedia Figure of the Earth, Wikidata Q437882 |
| figure-eight knot | AXCTZNXY2C | 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.18803#U6K6 |
| figure-eight knot | P0K9JJCAK3 | definition | open | Wikidata Q168697, MathWorld FigureEightKnot, Wikipedia Figure-eight knot (mathematics) |
| Figure-eight knot (mathematics) | 42CEG7E1GA | definition | open | Wikipedia List of mathematical knots and links#R8EV |
| File drawer problem | M0VXT6T3BT | definition | open | Wikipedia List of statistics articles#HVYF |
| File size bound | HG5QRN57HJ | 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.11007#ZV3S |
| File size bound under bounded-average compliance | AX64WN8MVP | 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.11007#PNBN |
| File size bound, full version | M4Y08ZHAB4 | 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.11007#UWMG |
| Filecoin | DPECTDM1RB | definition | open | Wikipedia Filecoin, Wikidata Q39048590 |
| Filesystem-level encryption | 2WZKXBXEQG | definition | open | Wikipedia Filesystem-level encryption, Wikidata Q5448402 |
| FileVault | KP3SM0C25Q | definition | open | Wikipedia FileVault, Wikidata Q1305323 |
| Filigree | Y14YJ75P48 | 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 2304.02722#AP03 |
| Filip Lundberg | 2BFGNH382N | topic | open | Wikipedia Filip Lundberg, Wikidata Q5448496 |
| Filip Lundberg | FAVMB0EWZ0 | topic | open | Wikipedia List of actuaries#KVJ7 |
| Filip Rindler | 9E78QB7HWR | topic | open | Wikipedia Filip Rindler, Wikidata Q102392445 |
| Filippo Antonio Revelli | ETH9VQ8PDG | topic | open | Wikipedia Filippo Antonio Revelli, Wikidata Q18945263 |
| Filippo Corridi | B2SDAWQT8Z | topic | open | Wikipedia List of Italian mathematicians#W01O |
| Filippo Corridi | Z8BSP4Z2GQ | topic | open | Wikipedia Filippo Corridi, Wikidata Q3745155 |
| Filippov | 3JSP7347X4 | 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.32174#WXV0 |
| Filippov solution | 9ES48YSS63 | 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.20031#VWQG |
| Filippov-Plis-like Lemma | 47N0RMDFWZ | 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.27414#M1MG |
| Fill device | WDKZWJ2GP8 | definition | open | Wikipedia Fill device, Wikidata Q5448789 |
| Fill-edge interaction graph | QC6GJP2AKS | 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.19669#51SA |
| Filling area conjecture | 4VVP6NCCTP | conjecture | open | Wikipedia List of differential geometry topics#B3IA |
| Filling area conjecture | BRHGQ3E3CP | conjecture | open | Wikipedia List of unsolved problems in mathematics#5R06 |
| Filling area conjecture | DANTE19DW2 | statement | open | Wikipedia Systolic geometry#9ZIY |
| Filling area conjecture | KKY3PC7Y7K | conjecture | open | Wikipedia Filling area conjecture, Wikidata Q5448828 |
| Filling area conjecture | PGBTCY4XDY | statement | open | Wikipedia Pu's inequality#XXYB |
| Filling radius | M6BBA5W4C2 | definition | open | Wikipedia List of differential geometry topics#EGZZ |
| Filling radius | NE56SX95HD | definition | open | Wikipedia Filling radius, Wikidata Q2602832 |
| Fillomino | 27YRJEW32D | unknown | open | Wikipedia List of NP-complete problems#W4HY |
| Fillrate | T7JGXXBTK0 | unknown | open | Wikipedia List of computer graphics and descriptive geometry topics#5UBE |
| Film plane | HCHYFA9PAC | definition | open | Wikipedia Film plane, Wikidata Q5449029 |
| Filon quadrature | YZEAF9RM66 | definition | open | Wikipedia Filon quadrature, Wikidata Q124727399 |
| Filter | 1YH2W8MZKB | definition | open | Wikipedia Filter (large eddy simulation), Wikidata Q5449219 |
| Filter | 3DD234GZ23 | definition | open | Wikipedia List of general topology topics#LF8M |
| filter | 4ZVSPDR1MM | unknown | open | mathlib_overview Topology > General topology > filter, Mathlib Filter |
| filter | 8TYWJT0QJ2 | definition | open | Wikipedia List of forcing notions#4S6U |
| filter | A2T4XSZWY5 | definition | open | Wikidata Q1052692, EoM Filter, MathWorld Filter, nLab filter, ProofWiki Definition:Filter, Wikipedia Filter (mathematics) |
| Filter | AEPF9NTG86 | definition | open | Wikipedia Glossary of general topology#0D3O |
| filter | WVJJZK9T5D | definition | open | Wikipedia Glossary of real and complex analysis#8V4W |
| filter | X09JDS3PFM | definition | open | Wikipedia Glossary of set theory#OGCT |
| filter characterisation | 4SY7SXXMJQ | 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#QG93 |
| filter characterisation | K74NQ2BT4C | 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#P2DZ |
| Filter on a set | QYK7PCKA0V | definition | open | Wikipedia Filter on a set, Wikidata Q16545258 |
| Filter quantifier | BZAEFHBFBZ | definition | open | Wikipedia Filter quantifier, Wikidata Q97359288 |
| Filter soundness | 6M31WMQ10W | 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.20492#I2ZN |
| Filter subbase | JR7EFJRHES | unknown | open | Wikipedia Filter on a set#XCGV |
| Filter-large certificates give branchwise refinement | AQY71ZF2XN | 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.32078#8VOD |
| filtered | 4SYM6DP8NN | definition | open | Wikipedia Glossary of category theory#3TG8 |
| Filtered algebra | 7001CP4KSN | definition | open | Wikipedia List of algebras#DHYU |
| filtered algebra | ST3AZ97N4G | definition | open | Wikidata Q5449241, nLab filtered ring, Wikipedia Filtered algebra |
| Filtered and graded tangent fibre | 9KTHNVT04J | 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.20801#0FIW |
| Filtered back-projection | Z350HGBPT0 | definition | open | Wikipedia List of algorithms#HAJC |
| filtered category | 1EJYWWXX00 | definition | open | Wikidata Q5449247, nLab filtered category, Wikipedia Filtered category |
| Filtered comparison | 3KFVG0SVY2 | 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.05892#GNQ1 |
| Filtered equivariance class | TX6ANNRNGH | 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.25987#FIQR |
| Filtered equivariance of a feed-forward network | 1B02SKMSFB | 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.25987#PLSS |
| Filtered group | W7GR2EBMAQ | unknown | open | Wikipedia Filtration (mathematics)#E7QT |
| Filtered linear transfer under \textup{(G4 | RFMXPRPFPC | 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#E01D |
| Filtered module | 8ZAZ6BP9SY | unknown | open | Wikipedia Filtration (mathematics)#NJSZ |
| Filtered Random Dynamical System | 8D88R33164 | 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.06321#F1D6 |
| Filtered reduced-sector contraction | K4AF7Y0PN5 | 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#8JI0 |
| filtered ring | 67XD13R0SW | definition | open | Wikipedia Glossary of ring theory#KR2D |
| Filtered torus backprojection | SGS4KQVADD | 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.16453#SEY9 |
| Filtering problem | C7JG2JTJCQ | problem | open | Wikipedia Filtering problem (stochastic processes), Wikidata Q5449244 |
| Filtering problem (stochastic processes) | ADV5T4NQFA | problem | open | Wikipedia List of statistics articles#SZDL |
| Filtering the opposite-pair components | DBC9Y234N6 | 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.26576#2XLV |
| Filtering theory | DVCR6W346X | problem | open | Wikipedia List of named differential equations#HT1D |
| Filters | ZW7JWZSVZ0 | 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#YSKQ |
| Filters in topology | DKVTT0FCSG | definition | open | Wikipedia Filters in topology, Wikidata Q104901581 |
| Filters, random fields, and maximum entropy model | NAS4PJH818 | definition | open | Wikipedia Filters, random fields, and maximum entropy model, Wikidata Q98079235 |
| Filtration | 3QVKZZB86H | definition | open | Wikipedia Filtration (probability theory), Wikidata Q55647796 |
| filtration | 9A96CEASEX | definition | open | Wikidata Q1187724, MathWorld Filtration, Wikipedia Filtration (mathematics) |
| Filtration | KSPJKD3Q9Y | 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 math/0003117#K684 |
| Filtration | WAEF825N7K | 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.00295#0UFC |
| Filtration (abstract algebra) | WA974F4G77 | definition | open | Wikipedia List of homological algebra topics#Q7FS |
| Filtration (mathematics) | CAQ4J3D413 | definition | open | Wikipedia List of abstract algebra topics#OR1A |
| Filtration by single-step quotients | PYVN8W0D72 | 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.05892#G2YM |
| Filtrations on $\cot_{\leq n}$ | R0TRDCQQJH | 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.20801#Q3WV |
| Fin | M8HZJTD0Q5 | definition | open | Wikipedia Fin (extended surface), Wikidata Q604165 |
| Finagle's law | 9WGW1539RE | statement | open | Wikipedia Finagle's law, Wikidata Q1349727 |
| final | HBJH4JHBCW | definition | open | Wikipedia Glossary of algebraic geometry#OYHL |
| final | JS6K066WDV | definition | open | Wikipedia Glossary of category theory#DKHN |
| Final ADHH decomposition | FR49NC2E9Y | 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.27181#NZKE |
| final functor | MAB5890G17 | definition | open | Wikidata Q18207102, nLab final functor, Wikipedia Final functor |
| Final interior error decomposition and convergence | QBS4SQT7DF | 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.10484#FMG9 |
| Final rounds are tail-free | J2N0VE8E0B | 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.07379#J2EK |
| Final state conjecture | KVNFADTSWW | statement | open | Wikipedia Final state conjecture, Wikidata Q113451153 |
| final stellation of the icosahedron | PM2QF6VHND | definition | open | Wikidata Q5449472, MathWorld Echidnahedron, Wikipedia Final stellation of the icosahedron |
| Final topology | 8WCZ3JHWWD | definition | open | Wikipedia List of topologies#QU2H |
| Final topology | C4327JG7TZ | definition | open | Wikipedia Final topology, Wikidata Q1416138 |
| Final topology | F89T80JH6W | definition | open | Wikipedia Glossary of general topology#X6F5 |
| Final Value Theorem | 5QARDQ6J04 | statement | open | Wikipedia Final value theorem#8MY5 |
| Final value theorem | 7Y2SD61RPG | statement | open | Wikipedia List of theorems#ENTJ |
| Final value theorem | 8X5P5C6X76 | statement | open | Wikipedia Advanced z-transform#LW2U |
| Final value theorem | THXPJQATAB | statement | open | mathlib_1000 Q4272645, Wikidata Q4272645, thousand_plus Q4272645, Wikipedia Final value theorem |