<--- Back to Details
First PageDocument Content
Algebra / Mathematics / Linear algebra / Linear map / Vector space / Basis / Linear subspace / Rank / Linear combination / Operator / Dual space / Kernel
Date: 2009-03-24 07:43:21
Algebra
Mathematics
Linear algebra
Linear map
Vector space
Basis
Linear subspace
Rank
Linear combination
Operator
Dual space
Kernel

FORMALIZED MATHEMATICS 2007, Vol. 15, No. 3, Pages

Add to Reading List

Source URL: fm.mizar.org

Download Document from Source Website

File Size: 148,05 KB

Share Document on Facebook

Similar Documents

TENSOR PRODUCTS II KEITH CONRAD 1. Introduction Continuing our study of tensor products, we will see how to combine two linear maps M −→ M 0 and N −→ N 0 into a linear map M ⊗R N → M 0 ⊗R N 0 . This leads t

DocID: 1uvru - View Document

A Globally Convergent Algorithm for MAP Estimation in the Linear Model with Non-Gaussian Priors K. Kreutz-Delgado ∗ ECE Department Univ. of California San Diego La Jolla, CA 92093

DocID: 1tRv5 - View Document

TOPOLOGICAL PRINCIPLES IN CARTOGRAPHY James P. Corbett ABSTRACT CHARACTER OF A MAP A map may be described as a linear graph embedded in a orientable, two-dimen sional manifold. A manifold, aside from being a two-dimensio

DocID: 1rG6c - View Document

Graphical models / Mathematical analysis / Mathematics / Probability / Mathematical optimization / Operations research / Linear programming / Probability theory / Markov random field / Linear programming relaxation / Relaxation / Bayesian network

Rounding Guarantees for Message-Passing MAP Inference with Logical Dependencies Stephen H. Bach Computer Science Dept. University of Maryland

DocID: 1rhNI - View Document

Algebra / Mathematics / Numerical linear algebra / Linear algebra / Abstract algebra / Vectors / Portable /  Extensible Toolkit for Scientific Computation / Matrix / Bill Gropp / Euclidean vector / Array data type / Linear map

Building a Successful Scalable Parallel Numerical Library: Lessons From the PETSc Library William D. Gropp www.cs.uiuc.edu/homes/wgropp

DocID: 1rfn0 - View Document