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