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 1601–1700 of 4245.

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 homomorphismGFFEGM9DK9definitionopenWikipedia Induced homomorphism, Wikidata Q17098095
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 liftingBK55S2Z5VRstatementrecord (an 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.21388#9SDP
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 metric2TKK25WCGSdefinitionopenWikidata Q3855711, nLab induced metric, Wikipedia Induced metric
Induced metric3XWGJTQW9RdefinitionopenWikipedia List of differential geometry topics#EOFU
Induced order topologyS3ATYD2EBAunknownopenWikipedia Order topology#6TCF
Induced path3FQR623XKCdefinitionopenWikipedia List of NP-complete problems#HBAW
Induced pathVEPZ6T1PTWdefinitionopenWikipedia Induced path, Wikidata Q15704639
Induced realisation of primitive idealsH0V514SFJMstatementrecord (an 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.20230#N6FA
Induced representationD2QSE210QDdefinitionopenWikidata Q3427423, MathWorld InducedRepresentation, nLab induced representation, Wikipedia 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 representationZSC0BXHQ6QdefinitionopenWikipedia List of harmonic analysis topics#POOS
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 subgraph4KVZ4FY2NEdefinitionrecord (an 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.20606#YYJH
induced subgraphJEHAWTZXZJdefinitionnode (a node has the same name as the row)Wikidata Q24743362, MathWorld Vertex-InducedSubgraph, Wikipedia Induced subgraph
induced subgraphQPZRW90WTHconceptopenlevin_dmoi index/5.1/induced-subgraph
Induced subgraph isomorphism problem9EGTZQ82Y0problemopenWikipedia Induced subgraph isomorphism problem, Wikidata Q6027240
Induced subgraph isomorphism problemWW186SAY0AproblemopenWikipedia List of NP-complete problems#ETI3
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
InductanceNSE8KWTGCRdefinitionopenWikipedia Inductance, Wikidata Q177897
induction36XCQK32G2conceptopenlevin_dmoi index/3.5/induction
Induction9SMFAS32MZstatementrecord (an 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.21043#OF9D
inductionA157Y6RG86definitionopenWikipedia Glossary of representation theory#WG5S
inductionEQD252MRBEdefinitionopenWikipedia Glossary of logic#0G7I
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 hypothesisAJSKYDZ0H8definitionopenWikipedia List of mathematical abbreviations#AE8Y
Induction hypothesisQYV19HRXG9unknownopenWikipedia Mathematical induction#7MBE
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 on well-formed formulasNWZWXN5J0JdefinitionopenWikipedia Glossary of logic#174Q
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 principleZ3WHJJFF3AstatementopenWikipedia Inductive type#HBBI
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 puzzlesKN7Q5PK92BproblemopenWikipedia Induction puzzles, Wikidata Q6027276
Induction puzzlesXQ06TW3RFVproblemopenWikipedia List of algebraic coding theory topics#KKKJ
induction schemaNXVCYWY1T9definitionopenWikipedia Glossary of logic#90AD
Induction theoremsKWAGG714TPstatementopenWikipedia Representation theory of finite groups#JOPS
Induction, bounding and least number principles3M46X7CHK6statementopenWikipedia Induction, bounding and least number principles, Wikidata Q106639366
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-inductionCCE1TPMY0DdefinitionopenWikipedia Induction-induction, Wikidata Q60790335
Induction-recursionC7DYB2AKYDdefinitionopenWikipedia Induction-recursion, Wikidata Q17092423
induction>, double8TQS6VBJ8Fconceptopenlevin_dmoi index/3.5/induction-double
inductive6SK74SZ1N1definitionopenWikipedia Glossary of set theory#32ML
inductiveK4AS7TPABKdefinitionopenWikipedia Glossary of Principia Mathematica#PHJ3
inductiveVJTTNW5YZTdefinitionopenWikipedia Glossary of graph theory#6M9C
inductive argumentCXMF6Y8F34definitionopenWikipedia Glossary of logic#FFR4
inductive dimension28R3F8SJA1definitionopenWikidata Q841816, EoM Inductive_dimension, Wikipedia Inductive dimension
Inductive dimensionZJZF1ST073definitionopenWikipedia List of general topology topics#EXZP
Inductive fallacyP095E0E0DAdefinitionopenWikipedia List of fallacies#L8LU
Inductive familyGFS7ZRJQQMunknownopenWikipedia Intuitionistic type theory#PXQL
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 inferencePJ9A3X083MdefinitionopenWikipedia List of statistics articles#8RMS
inductive limitD3641Y8NZFdefinitionopenWikipedia Glossary of category theory#SGP4
Inductive logic programmingKMQ0JMBEW0definitionopenWikipedia Inductive logic programming, Wikidata Q1464197