Search for tag: "category theory"

5 Media

50:13 19 - Matrices of Linear Transformations with… 19 - Matrices of Linear Transformations with Abstract Vectors Session 19	19 - Matrices of Linear Transformations with Abstract Vectors Session 19 2009-03-02 13:19:12+00 vector space elementary mathematics solution geography terminology equation b.. matrix vector algebra coordinate question interrogative words and phrases computer programming thing equations grammar matrix theory computer security linear abstract algebra spring 2009 learning documents problem solving communication numerical linear algebra calculation linear algebra greek alphabet equal caption complete coefficient videonote egyptian artefact types alternative medicine mathematical notation transformation latin alphabet elementary algebra arithmetic representation binary operations group theory column problem number components multiplication category theory basis walt disney records singles independent concepts in physics mechanics times minus combination From [email protected] 50 plays
52:12 35 - Eigenthings continued and diagonalization… 35 - Eigenthings continued and diagonalization Session 35	35 - Eigenthings continued and diagonalization Session 35 2009-04-15 09:05:32+00 elementary algebra systems theory transformation graph theory group theory research system determinants potential diagonalization vector lambda abstract algebra cybernetics diagrams elementary mathematics geodesy x.. column elementary geometry basis morphisms ring theory water equations representation structural engineering mechanics chemical processes motivation b.. electricity topology philosophical terminology equal number videonote geography independent times differential calculus design of experiments polynomials vectors analytic geometry coordinate decision theory geometry phases of matter concepts in physics sparse matrices continuum mechanics electromagnetism matrix theory current fluid mechanics multiplicity randomness linear algebra egyptian artefact types solutions tensors engineering probability theory mathematical notation geography terminology matrix linear demography eigenvector equation materials science happiness spring 2009 category theory latin alphabet civil engineering numerical linear algebra binary operations fluid dynamics density thing hydrology caption complete mathematical physics coefficients classical mechanics algebra dynamical systems multiplication From [email protected] 42 plays
51:24 16 - Vector spaces and isomorphisms Session 16 16 - Vector spaces and isomorphisms Session 16	16 - Vector spaces and isomorphisms Session 16 2009-02-23 09:06:33+00 formal sciences function binary operations category theory equations latin alphabet transformation linear operators in calculus combination dimension prime definition educational psychology parameter matrices real numbers n.. group theory abstraction column zero c.. mathematical logic lexicography videonote statements linear w.. writing elementary mathematics mathematical analysis semantics set theory philosophy of mathematics mathematical objects equal multiplication logic philosophical logic syntactic entities proof theory abstract algebra types of functions thing spring 2009 grammar vector caption complete equation mathematical notation differential calculus elementary algebra space differentiation numbers evaluation functions and mappings matter differential equations description algebra counterexample question egyptian artefact types generalization topology middle english personal pronouns number non-parametric statistics linear algebra meaning (philosophy of language) isomorphism concepts in physics From [email protected] 33 plays
45:58 18 - Abstract vectors continued and change of… 18 - Abstract vectors continued and change of basis Session 18	18 - Abstract vectors continued and change of basis Session 18 2009-02-27 09:11:20+00 times cognitive science question videonote caption complete semantics concepts in physics thing group theory linear algebra t.. linear transformation vector space elementary algebra basis spring 2009 space coordinate diagram geodesy multiplication logic polynomial matrix didactics symbols component numerical linear algebra number vectors polynomials abstract algebra algebra binary operations matrix theory arithmetic exponentials functions and mappings geography terminology solution c.. vector notation b.. t.v. mathematical notation abstract isomorphism latin alphabet elementary mathematics marketing category theory representation independent transformation matrices diagrams From [email protected] 23 plays
01:42:40 CFEM Seminar - Dennis Ignatovich and Grant… CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms	CFEM Seminar - Dennis Ignatovich and Grant Passmore: Formal Verification for Safety and Fairness of Financial Algorithms abstract algebra programming languages evaluation x.. mathematical proofs proof theory test suites low level nasa long time time series analysis philosophical logic elementary mathematics data types dark pool inductive reasoning electronic circuit verification safety logical consequence formal mathematical matching logic numbers financial markets a.m.d. theoretical computer science sorting algorithms cybernetics binary operations key thing reference price concepts in physics financial services mathematical induction grammar big issues syntax (logic) notation high frequency eng derivatives (finance) ordinal numbers signal processing meaning (philosophy of language) safety engineering order types mathematical terminology formal verification measurement mathematical finance market making economics terminology primitive types hazards on premise artificial intelligence wireless financial terminology semantics algorithms functional analysis business period social philosophy engineering concepts language called caption complete formal sciences natural numbers mathematical logic research methods mediasite elementary algebra software testing empty list computability theory elementary number theory computer systems u.s. broadcasting qualities of thought physical quantities eng various production and manufacturing business terms risk analysis stock market programming language number theory high performance time step data type formal methods thought sorting function category theory logic in computer science From E. Cornelius 0 plays