Contribution: LinAlg
Linear Algebra
Authors
- Jasper Stein
Description
A development of some preliminary linear algebra based on Chapter 1 of "Linear Algebra" by Friedberg, Insel and Spence
Keywords
linear algebra
README
The Linear Algebra distribution by Jasper Stein (jasper@cs.kun.nl) extending the algebra distribution by Loic Pottier (required!) To install after unpacking this distribution, run the script install.sh Share and enjoy! Jasper Stein
Available files
- LinAlg.examples.trivial_spaces.html
- LinAlg.support.pointwise.html
- LinAlg.LinAlg.maxlinindepsubsets.html
- LinAlg.support.distinct_facts.html
- LinAlg.examples.vecspace_Mmn.html
- LinAlg.examples.vecspace_Fn.html
- LinAlg.support.seq_set_facts.html
- LinAlg.extras.Equality_structures.html
- LinAlg.support.Map2.html
- LinAlg.LinAlg.lin_dep_facts.html
- LinAlg.examples.Matrices.html
- LinAlg.first_page.html
- LinAlg.extras.matrix_algebra.html
- LinAlg.extras.finite_misc.html
- LinAlg.LinAlg.vecspaces_verybasic.html
- LinAlg.LinAlg.direct_sum.html
- LinAlg.support.counting_elements.html
- LinAlg.support.modify_seq.html
- LinAlg.examples.up_lo_triang_mat.html
- LinAlg.support.arb_intersections.html
- LinAlg.support.random_facts.html
- LinAlg.LinAlg.bases_from_generating_sets.html
- LinAlg.support.const.html
- LinAlg.support.omit.html
- LinAlg.support.seq_equality.html
- LinAlg.examples.antisymmetric_matrices.html
- LinAlg.LinAlg.lin_combinations.html
- LinAlg.support.omit_facts.html
- LinAlg.LinAlg.replacement_corollaries.html
- LinAlg.support.seq_set_seq.html
- LinAlg.LinAlg.Lin_trafos.html
- LinAlg.support.sums2.html
- LinAlg.support.cast_between_subsets.html
- LinAlg.support.seq_equality_facts.html
- LinAlg.LinAlg.bases_finite_dim.html
- LinAlg.support.sums.html
- LinAlg.extras.restrict.html
- LinAlg.extras.Matrix_related_defs.html
- LinAlg.examples.infinite_sequences.html
- LinAlg.support.equal_syntax.html
- LinAlg.support.concat.html
- LinAlg.support.mult_by_scalars.html
- LinAlg.support.concat_facts.html
- LinAlg.extras.ring_module.html
- LinAlg.examples.symmetric_matrices.html
- LinAlg.support.subseqs.html
- LinAlg.support.finite_subsets.html
- LinAlg.extras.before_after.html
- LinAlg.extras.Inter_intersection.html
- LinAlg.LinAlg.subspace_dim.html
- LinAlg.LinAlg.lin_dependence.html
- LinAlg.LinAlg.lin_comb_facts.html
- LinAlg.support.has_n_elements.html
- LinAlg.examples.vecspace_functionspace.html
- LinAlg.support.more_syntax.html
- LinAlg.LinAlg.algebraic_span_facts.html
- LinAlg.support.empty.html
- LinAlg.LinAlg.alt_build_vecsp.html
- LinAlg.LinAlg.Linear_Algebra_by_Friedberg_Insel_Spence.html
- LinAlg.support.cast_seq_lengths.html
- LinAlg.support.seq_set.html
- LinAlg.LinAlg.subspace_bases.html
- LinAlg.support.finite.html
- LinAlg.LinAlg.replacement_theorem.html
- LinAlg.LinAlg.spans.html
- LinAlg.support.Map_embed.html
- LinAlg.LinAlg.subspaces.html
- LinAlg.support.conshdtl.html
- LinAlg.support.distinct.html
- LinAlg.support.distribution_lemmas.html
- LinAlg.LinAlg.bases.html
- LinAlg.support.algebra_omissions.html
- LinAlg.examples.Matrix_multiplication.html
