Math 2.0

Inventory: I

The rows of the inventory whose names start with I. 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.

Rows 401–500 of 1391.

NameIdKindOutcomeSources
Induced graphs, subgraphsMYDS9DCNA6definitionrecord (an 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.25188#ZCEO
Induced impulse-to-energy normCJKF1DX60Gdefinitionrecord (an 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.21355#9GOP
Induced maps of relative homologyA3S93YBTT4statementopennapkin tex/homology/excision.tex#lemma-2
Induced Markov mapHKKWN9RTNXstatementrecord (an 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#TCTI
induced metric2TKK25WCGSunknownopenWikidata Q3855711, nLab induced metric
Induced representationD2QSE210QDtopicopenWikidata Q3427423, MathWorld InducedRepresentation, nLab induced representation
Induced representationQK02K3V6A1definitionrecord (an 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.13892#9X34
Induced sub-matrixRMX1RVY34Bdefinitionrecord (an 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.30203#E4HN
induced subgraphJEHAWTZXZJunknownnode (a node has the same name as the row)Wikidata Q24743362, MathWorld Vertex-InducedSubgraph
induced subgraphQPZRW90WTHconceptopenlevin_dmoi index/5.1/induced-subgraph
induced topologyYZH7B69BTCunknownopenmathlib_overview Topology > General topology > induced topology, Mathlib TopologicalSpace.induced, mathlib_undergrad Topology > Topology and Metric Spaces > induced topology
induced torsorsMSQTAK9S8Kstatementrecord (an 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.07508#V9U7
induction36XCQK32G2conceptopenlevin_dmoi index/3.5/induction
inductionQ0KQZ3A0RCconceptopenlevin_dmoi index/3.5.2/induction
Induction argument 1CQN24EEQ2Qstatementrecord (an 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.30957#38EA
Induction argument 2JY5CPEHFXZstatementrecord (an 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.30957#5JSF
Induction argument 3RQGSE94GD7statementrecord (an 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.30957#9OYD
induction hypothesis7WF47BFGVPdefinitionopenWikidata Q54505027, ProofWiki Definition:Induction_Hypothesis
Induction on !!{formula}s4JGF8630B4definitionopenopen_logic content/sets-functions-relations/inductive-defs-proofs/introduction.tex#defn-4
Induction on $\Nat$VVBDQQWGB6definitionopenopen_logic content/sets-functions-relations/inductive-defs-proofs/introduction.tex#defn-3
Induction OrderAR1C9N4WA7definitionrecord (an 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#7F8Q
induction principle2ER0HRGFAYconceptopenhott_book index/4.2.4/induction-principle
induction principleQQMKBKMS75conceptopenhott_book index/8.1/induction-principle
induction principleWARAZ1NYZTconceptopenhott_book index/A.5/induction-principle
induction principle, for $\Sn^1$J4HKB8AS2Jconceptopenhott_book index/5.4/induction-principle-for-sn-1
induction principle, for $\Sn^1$TG3EHWFCQFconceptopenhott_book index/5.2/induction-principle-for-sn-1
induction principle, for $\Sn^2$MGTBNC2N3Hconceptopenhott_book index/5.4/induction-principle-for-sn-2
induction principle, for $\w$-typesG57R3F6TR8conceptopenhott_book index/8.3/induction-principle-for-w-types
induction principle, for a modalityRS70P25FNNconceptopenhott_book index/6.7/induction-principle-for-a-modality
induction principle, for accessibilityN9YY7ZT518conceptopenhott_book index/C.3/induction-principle-for-accessibility
induction principle, for an inductive typeDQZM85AW2Kconceptopenhott_book index/8.6/induction-principle-for-an-inductive-type
induction principle, for Cauchy realsJX1B53VSMBconceptopenhott_book index/B.3.2/induction-principle-for-cauchy-reals
induction principle, for connected mapsS59C3FRYDCconceptopenhott_book index/6.5/induction-principle-for-connected-maps
induction principle, for coproductAV276C07EBconceptopenhott_book index/A.7/induction-principle-for-coproduct
induction principle, for cumulative hierarchyYJWFY31213conceptopenhott_book index/C.5/induction-principle-for-cumulative-hierarchy
induction principle, for dependent pair typeQKQC0EXHQTconceptopenhott_book index/A.6/induction-principle-for-dependent-pair-type
induction principle, for empty type87DE2AY5GGconceptopenhott_book index/A.7/induction-principle-for-empty-type
induction principle, for equivalences1Q5QWWA7CYconceptopenhott_book index/8.8/induction-principle-for-equivalences
induction principle, for homotopies18DJNHDSQCconceptopenhott_book index/8.8/induction-principle-for-homotopies
induction principle, for identity type1W6JV1ZBBCconceptopenhott_book index/A.12.1/induction-principle-for-identity-type
induction principle, for identity typeDHZA5156SYconceptopenhott_book index/1/induction-principle-for-identity-type
induction principle, for identity type, based845EKXS1NHconceptopenhott_book index/A.12.1/induction-principle-for-identity-type-based
induction principle, for integersPH0EFJJFXNconceptopenhott_book index/5.10/induction-principle-for-integers
induction principle, for interval typeN5YQ34RK54conceptopenhott_book index/5.3/induction-principle-for-interval-type
induction principle, for natural numbersMCPENQBCPZconceptopenhott_book index/A.9/induction-principle-for-natural-numbers
induction principle, for productMX3M3XKBFDconceptopenhott_book index/A.5/induction-principle-for-product
induction principle, for surreal numbers4PAJZ0CSEGconceptopenhott_book index/B.6/induction-principle-for-surreal-numbers
induction principle, for suspensionSZ8F8GEEDBconceptopenhott_book index/5.5/induction-principle-for-suspension
induction principle, for torus19H1AFXV96conceptopenhott_book index/5.6/induction-principle-for-torus
induction principle, for truncation3RK3JQB91Vconceptopenhott_book index/5.9/induction-principle-for-truncation
induction principle, for truncationHSV7R3BB1Fconceptopenhott_book index/9.11/induction-principle-for-truncation
induction principle, for truncationXEDY1FCQE3conceptopenhott_book index/6.3/induction-principle-for-truncation
induction principle, for type of booleansTQGZWXX9YXconceptopenhott_book index/A.8/induction-principle-for-type-of-booleans
induction principle, for type of vectorsW2R0CS09QBconceptopenhott_book index/8.7/induction-principle-for-type-of-vectors
Induction propertyR31VD6JRKBstatementrecord (an 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#75GY
induction, principle of mathematical27NN9MG4EEconceptopenapplied_combinatorics index/3.6/induction-principle-of-mathematical
induction, principle of mathematical58RWS5PFP0conceptopenapplied_combinatorics index/B.7/induction-principle-of-mathematical
induction, strong8NW6BW2JN9conceptopenapplied_combinatorics index/3.9/induction-strong
induction, strongX9E89GTR09conceptopenlevin_dmoi index/3.5.4/induction-strong
induction>, double8TQS6VBJ8Fconceptopenlevin_dmoi index/3.5/induction-double
inductive dimension28R3F8SJA1unknownopenWikidata Q841816, EoM Inductive_dimension
Inductive graphical extension457HE9DZ86statementrecord (an 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.10790#MEZS
inductive hypothesis4CCJG4C3W9conceptopenlevin_dmoi index/3.5.2/inductive-hypothesis
inductive hypothesis7J5MTC8VT1conceptopenapplied_combinatorics index/3.8/inductive-hypothesis
inductive setW1EPV0F82KunknownopenWikidata Q504608, MathWorld InductiveSet
inductive step937GZ4J5ACconceptopenapplied_combinatorics index/3.8/inductive-step
inductive stepV16FCM9FMQdefinitionopenWikidata Q54504866, ProofWiki Definition:Induction_Step
inductive tensor productEDC8E40ZNDunknownopenWikidata Q96382131, nLab inductive tensor product
inductive typeE7DJ8TN5NCunknownopenWikidata Q17092426, nLab inductive type
inductive, definitionTD50FE9846conceptopenhott_book index/8/inductive-definition
inductive, hypothesisWKM9H7ASN0conceptopenhott_book index/A.9/inductive-hypothesis
inductive, predicateDYM72AJ7PHconceptopenhott_book index/8.7/inductive-predicate
inductive, type familyKR4EAQAM88conceptopenhott_book index/8.7/inductive-type-family
inductive-inductive typeZWSX7RTDEHconceptopenhott_book index/8.7/inductive-inductive-type
inductive-inductive type, higher4K7YXZZBBZconceptopenhott_book index/B.3.1/inductive-inductive-type-higher
inductive-recursive typeZNKT0YCZA2conceptopenhott_book index/8.7/inductive-recursive-type
inelastic scatteringEW4DE22DDAunknownopenWikidata Q3027672, nLab inelastic scattering
inequalityVKC82WJNJQconceptopenWikidata Q28113351, EoM Inequality, MathWorld Inequality, ProofWiki Definition:Inequality
Inequality at the minimizer26NGHA06MZstatementrecord (an 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.21461#3T1N
Inequality feasibility of the affine targetBWD897ET1Vstatementrecord (an 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.38132#ZJH6
inequationASDAX8XWCXunknownopenWikidata Q165309, MathWorld Inequation
Inertia in a prime-square extension8GYGZ22KA7statementrecord (an 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.30301#5GXJ
inertia stack2RTSPT8TMWunknownopenWikidata Q135512580, nLab inertia orbifold
Inertial degree and ramification indices are all equalGG0ATEBVDQstatementopennapkin tex/alg-NT/ramification.tex#theorem-2
Inertial limit of finite-energy weak solutionsCEEAKX356Sstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2603.11432#TCRZ
Inertial manifold around a periodic mild solutionSJ0ANXK1W8statementrecord (an 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.11084#4WZC
inexact differentialPCY844XVC8conceptopenWikidata Q6028641, MathWorld InexactDifferential
Inexact line searchB8XZ2R62MNstatementrecord (an 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.21461#UC95
Inexact polynomial evaluation from fresh SFO callsNHPAH1EVAYstatementrecord (an 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.03633#43S0
Inexact preconditioned step3JA3T2QE0Xstatementrecord (an 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.20106#WJDW
Inexact preconditioned step in operator norm, without Galerkin truncationD5Y8AERF6Estatementrecord (an 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.20106#MPS3
Inexact reduced cubic solves60KC6MZM70statementrecord (an 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.06557#LYTW
Inexact vertex oraclesAD1FKAEYJYstatementrecord (an 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.17127#I72U
Inexact whitening preserves cross-optimalityW6YH8DBVAHstatementrecord (an 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.33021#WJWT
Inf-sup conditions1JST92WG4Tstatementrecord (an 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.01501#A9A8
Infeasibility of the first half-step for primal extragradient on curved constraints3NHCZDT1MBstatementrecord (an 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.32981#J33D
Inference for causal functions; Corollary S1D6CQDGGD7Bstatementrecord (an 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.11076#CL0U
Inference pairs in $C$THQ4DZQESYexamplerecord (an 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.26776#DCYD
Inference pairs in $L$ZZZNFJA109examplerecord (an 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.26776#F3QE
Inference pairs in $S$4NDCRYYXCWexamplerecord (an 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.26776#U0YG