×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [manipulation of indices]
Bishop, Goldberg - Tensor Analysis on Manifolds(dover 1980)(288s).pdf
1.286 views
Bishop, Goldberg - Tensor Analysis on Manifolds(dover 1980)(288s).pdf
363 views
A Locally Nameless Theory of Objects 1.Introduction: -calculus and De Bruijn notation 2.locally nameless technique 3.formalization in Isabelle and proofs
219 views
Tensor Calculus on Manifolds
231 views
Cape June 2011 Pure Mathematics Sr
51 views