A Cellular Howe Theorem
This is a modal window.
The media could not be loaded, either because the server or network failed or because the format is not supported.
Formal Metadata
Title |
| |
Subtitle |
| |
Title of Series | ||
Number of Parts | 56 | |
Author | ||
License | CC Attribution 3.0 Germany: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
Identifiers | 10.5446/49314 (DOI) | |
Publisher | ||
Release Date | ||
Language |
Content Metadata
Subject Area | |
Genre |
00:00
Cellular automatonTheoremInvertible matrixXMLUMLComputer animation
00:20
Similarity (geometry)TheoremStatement (computer science)Computer programmingFormal languageEndliche ModelltheorieCellular automatonFamilyTheoremEndliche ModelltheorieLevel (video gaming)Formal languageComputer programmingRight angleStatement (computer science)Direction (geometry)Position operatorSuite (music)Computer animation
00:51
State of matterFile formatPlot (narrative)Semantics (computer science)Algebraic numberMonad (category theory)Reduction of orderCellular automatonExpressionEndliche ModelltheorieFocus (optics)Primitive (album)Meta elementTheoremTheoryElectronic signatureReduction of orderFile formatSubstitute goodExpressionMechanism designCountingProgramming languageSemantics (computer science)Electronic signatureDirection (geometry)Latent heatFormal languageCellular automatonEndliche ModelltheorieCongruence subgroupTheoremTheoryFamilyMetreSquare numberComputer animation
02:16
Similarity (geometry)Context awarenessComputer programmingElectronic signatureSimulationoutputCongruence subgroupAbstractionProof theoryAnalogyExtension (kinesiology)HypothesisRule of inferenceTheoremCellular automatonSubstitute goodExpert systemKey (cryptography)INTEGRALHypothesisFile formatProgramming languageGroup actionProof theoryResultantExtension (kinesiology)Set (mathematics)Context awarenessElectronic signatureOpen setSemantics (computer science)Formal languageOcean currentImperative programmingAbstractionCartesian coordinate systemLambda calculusSimilarity (geometry)Congruence subgroupAnalogySelection ruleComputer animation
03:29
Similarity (geometry)Context awarenessEndliche ModelltheorieRule of inferenceTheoremCellular automatonEndliche ModelltheorieFile formatResultantContext awarenessStatement (computer science)Software frameworkSubstitute goodCondition numberOrder (biology)Similarity (geometry)State of matterLambda calculusGroup actionComputer animation
04:03
Point cloudCalculusPresentation of a groupExtension (kinesiology)Similarity (geometry)Term (mathematics)Variable (mathematics)Cellular automatonTheoremFunctional (mathematics)Term (mathematics)Presentation of a groupPerformance appraisalBitOrder (biology)NeuroinformatikTheory of relativityCartesian coordinate systemKey (cryptography)Parameter (computer programming)Execution unitLambda calculusResultantRule of inferenceFree variables and bound variablesComputer animation
04:57
Cellular automatonInterior (topology)Context awarenessSheaf (mathematics)Variable (mathematics)outputSource codeAbelian categoryTheoremSet (mathematics)CASE <Informatik>Level (video gaming)Context awarenessArrow of timeCategory of beingObject (grammar)Vulnerability (computing)Ferry CorstenNatural numberPerformance appraisalVector potentialOffice suiteoutputTerm (mathematics)Source codePressureProcess (computing)MorphismusFree variables and bound variablesDivisorObservational studyComputer animation
06:10
Variable (mathematics)Endliche ModelltheorieStandard deviationLink (knot theory)Data modelData structureCondition numberMonoidCellular automatonTheoremOperations researchSimilarity (geometry)Substitute goodMereologyFamilySquare numberSineCASE <Informatik>Heat waveOperator (mathematics)Group actionSpeech synthesisData structureVariable (mathematics)SpeciesVector potentialPoisson-KlammerEccentricity (mathematics)Interactive televisionSummierbarkeitSoftware frameworkEndliche ModelltheorieSigma-algebraSet (mathematics)Multiplication signAlgebraic structureMorphismusP (complexity)Einbettung <Mathematik>AbstractionMappingAdditionTensorLambda calculusMobile appFree variables and bound variablesCondition numberComputer animation
08:54
FreewareAbelian categoryCellular automatonTheoremEndliche ModelltheorieRule of inferenceData modelState transition systemCondition numberSource codeFunktorVertical directionAlgebraDigital photographyValuation (algebra)Endliche ModelltheorieVertex (graph theory)MetreTelecommunicationLevel (video gaming)Order (biology)Medical imagingConstraint (mathematics)Performance appraisalGroup actionCategory of beingCondition numberChannel capacityTerm (mathematics)Source codeLatent heatElectronic signatureBitVulnerability (computing)MathematicsRule of inferenceState transition systemReduction of orderAlgebraFunktorSigma-algebraSelf-organizationMonoidSet (mathematics)Parameter (computer programming)MorphismusNatural numberFree variables and bound variablesArrow of timeComputer animation
11:34
Similarity (geometry)Element (mathematics)Source codeLemma (mathematics)Cellular automatonTheoremLogical constantClosed setCorrespondence (mathematics)Point (geometry)Element (mathematics)Category of beingArrow of timeLemma (mathematics)Substitute goodMorphismusPerformance appraisalBitComputer animation
12:24
SimulationSimilarity (geometry)TheoremCellular automatonFinitary relationExecution unitSubstitute goodTheory of relativityState of matterArithmetic meanSimulationArrow of timeComputer simulationQuantum stateWritingCommutatorBit rateSquare numberSound effectGroup actionDisk read-and-write headClosed setPerformance appraisalElement (mathematics)ResultantOffice suiteCASE <Informatik>Bounded variationMorphismusEndomorphismenmonoidPrime idealSource codeLemma (mathematics)Sigma-algebraComplete metric spaceMappingTerm (mathematics)Computer animation
15:37
Similarity (geometry)Data modelProof theoryFinitary relationExtension (kinesiology)TheoremCellular automatonInclusion mapAbelian categorySkewnessData structureFunktorExtension (kinesiology)Theory of relativityCategory of beingLambda calculusEinbettung <Mathematik>TensorCASE <Informatik>Cartesian coordinate systemArrow of timeNatural numberSigma-algebraOpen setSimilarity (geometry)SimulationSubstitute goodGroup actionBasis <Mathematik>Electric generatorData structureObservational studyComputer animation
16:20
Electronic signatureSimilarity (geometry)Congruence subgroupTheoremCellular automatonContext awarenessInclusion mapRow (database)Operator (mathematics)ResultantWebsiteElectronic signatureSubstitute goodEndliche ModelltheorieTensorCongruence subgroupSimilarity (geometry)Sigma-algebraComputer animation
16:54
Proof theoryLogical constantLemma (mathematics)SimulationCellular automatonTheoremSimilarity (geometry)Junction (traffic)SimulationAlgebraic closureArrow of timeState of matterCommutatorMeasurementDiagramDivisorRoboticsGreen's functionMedical imagingRight angleCategory of beingCondition numberGroup actionSigma-algebraFunktorSquare numberKey (cryptography)Theory of relativityMonoidLemma (mathematics)Computer animation
18:04
HypothesisElectronic signatureTheoremSimulationoutputCellular automatonSimilarity (geometry)OrthogonalityComa BerenicesContext awarenessSet (mathematics)Rule of inferenceType theoryCASE <Informatik>Set (mathematics)Right angleGroup actionConstraint (mathematics)Source codeCorrespondence (mathematics)AreaTerm (mathematics)Square numberObject (grammar)Office suiteArrow of timeParity (mathematics)System callProduct (business)INTEGRALDescriptive statisticsCondition numberInheritance (object-oriented programming)Junction (traffic)Computer simulationSubstitute goodRule of inferenceElectronic signatureShape (magazine)File format1 (number)CommutatorPhysicalismLogical constantSimulationPoint (geometry)WritingMorphismusBeta functionForm (programming)Cellular automatonOrthogonalityParameter (computer programming)Row (database)BijectionSigma-algebraTheoremHypothesisFree variables and bound variablesSelection ruleComputer animation
21:58
TheoremCellular automatonMaxima and minimaCalculusSimulationIdentity managementPoint (geometry)Junction (traffic)IRIS-TSystem callIdentity managementCASE <Informatik>Beta functionLemma (mathematics)Stability theoryRule of inferenceContext awarenessAreaCoroutineSubstitute goodINTEGRALProduct (business)Ocean currentTheory of relativityFile formatOffice suiteRight angleSemantics (computer science)Point (geometry)Computer animation
23:30
Congruence subgroupFile formatSimilarity (geometry)outputSimulationCellular automatonTheoremPerspective (visual)Forced inductionNormal (geometry)Integrated development environmentCompilerCongruence subgroupFile formatCompilerSimilarity (geometry)Substitute goodInductive reasoningSemantics (computer science)Lambda calculusLemma (mathematics)Rule of inferenceNormal (geometry)Inheritance (object-oriented programming)Prisoner's dilemma2 (number)ResultantComputer animation
Transcript: English(auto-generated)