<--- Back to Details
First PageDocument Content
Orthonormal basis / Orthonormality / Orthogonality / Orthogonal basis / Gram–Schmidt process / Orthogonal matrix / Inner product space / Dot product / Standard basis / Algebra / Linear algebra / Mathematics
Date: 2010-06-05 15:40:12
Orthonormal basis
Orthonormality
Orthogonality
Orthogonal basis
Gram–Schmidt process
Orthogonal matrix
Inner product space
Dot product
Standard basis
Algebra
Linear algebra
Mathematics

Add to Reading List

Source URL: www.math.umn.edu

Download Document from Source Website

File Size: 231,97 KB

Share Document on Facebook

Similar Documents

Cryptography / Algebra / Mathematics / Linear algebra / Computational number theory / Lattice points / Lattice-based cryptography / Post-quantum cryptography / LenstraLenstraLovsz lattice basis reduction algorithm / Lattice reduction / Lattice / GramSchmidt process

arXiv:1805.03418v1 [cs.SC] 9 MayComputing an LLL-reduced basis of the orthogonal lattice Jingwei Chen Chongqing Key Lab of Automated Reasoning & Cognition,

DocID: 1xU0M - View Document

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer Max Planck Institute for Software Systems

DocID: 1sRSd - View Document

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (Technical Appendix) Ralf Jung MPI-SWS & Saarland University

DocID: 1ncIs - View Document

Algebra / Abstract algebra / Mathematics / Semigroup theory / Monoid / Monad / Separation logic / Invariant / Modal logic / Free monoid / Syntactic monoid

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey

DocID: 1mFQv - View Document

Mathematics / OSI protocols / Computational number theory / Lattice points / Algebra / Orthogonal frequency-division multiplexing / MIMO / Cyclic prefix / Lenstra–Lenstra–Lovász lattice basis reduction algorithm / Radio resource management / Information theory / IEEE 802

Lattice-Reduction-Aided Receivers for MIMO-OFDM in Spatial Multiplexing Systems Inaki Berenguer1 , Jaime Adeane1 , Ian J. Wassell1 , and Xiaodong Wang2 1 Laboratory for Communication Engineering Department of Engineering

DocID: 195pA - View Document