Solve vector space problems using SymPy and Z3.
npx skills add https://github.com/scooter-lacroix/Maestro --skill vector-spaces
Please help me install this Agent Skill. Skill: vector-spaces Source: https://github.com/scooter-lacroix/Maestro/tree/main/maestro/skills/math/math/linear-algebra/vector-spaces Command: npx skills add https://github.com/scooter-lacroix/Maestro --skill vector-spaces
This Skill provides a structured approach to solving common problems encountered in linear algebra, specifically related to vector spaces.
Use the vector-spaces skill to check if a set of vectors is linearly independent.
High-intent search queries and answers about installing and using this skill.
To check if a set forms a valid subspace, verify that it contains the zero vector and maintains closure under addition and scalar multiplication. This Skill guides you through these necessary checks and uses computational tools for verification.
You can determine linear independence by assessing whether a set of vectors can be written as a linear combination of each other. This Skill utilizes SymPy for RREF calculations to systematically verify linear independence.
The best way to find a basis and calculate dimension is to identify the linearly independent vectors that span the space. This Skill identifies a basis for your vector space and determines its exact dimension.
To compute the transition matrix for a change of basis, you need to transform coordinate systems relative to the new basis vectors. This Skill computes the transition matrix to perform change of basis operations accurately.
Yes, Z3 can be used for formal proofs in linear algebra. This Skill leverages Z3 alongside SymPy to provide structured problem-solving strategies and formally verify properties of vector spaces.
parcadeiSolve vector space problems using SymPy and Z3 symbolic computation.
agentscope-aiCalculate Jacobian matrices to linearize nonlinear state-space systems.
jackspacePerform unit-aware astronomical computations with coordinates, FITS I/O, and cosmology.
flonatVerifies algebraic expressions and identities using sympy.
