The following pages link to homalg (Q13171):
Displaying 30 items.
- On subdirect factors of a projective module and applications to system theory. (Q335927) (← links)
- Recent progress in an algebraic analysis approach to linear systems (Q335929) (← links)
- Grade filtration of linear functional systems. (Q385589) (← links)
- Formal algorithmic elimination for PDEs (Q468363) (← links)
- Coxeter and crystallographic arrangements are inductively free (Q655359) (← links)
- Almost direct sum decomposition and implementation of 2D behaviors (Q661006) (← links)
- On the ext-computability of Serre quotient categories (Q743917) (← links)
- conley: Computing connection matrices in Maple (Q1012145) (← links)
- Linear systems over localizations of rings (Q1650744) (← links)
- Gauge backgrounds and zero-mode counting in F-theory (Q1706896) (← links)
- A constructive approach to Freyd categories (Q2035866) (← links)
- A constructive study of the module structure of rings of partial differential operators. (Q2255606) (← links)
- Factoring and decomposing a class of linear functional systems (Q2463621) (← links)
- Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace} (Q2674006) (← links)
- Current Challenges in Developing Open Source Computer Algebra Systems (Q2807814) (← links)
- An Overview of the Computational Aspects of Nonunique Factorization Invariants (Q2826742) (← links)
- (Q3000950) (← links)
- (Q3000952) (← links)
- AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION (Q3006042) (← links)
- On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture (Q4992840) (← links)
- An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties (Q5018379) (← links)
- Letterplace (Q5145988) (← links)
- Computation of free non-commutative gröbner bases over Z with Singular:Letterplace (Q5145989) (← links)
- LocalizeRingForHomalg (Q5175276) (← links)
- Simplicial blowups and discrete normal surfaces in simpcomp (Q5175313) (← links)
- The SDEval benchmarking toolkit (Q5268959) (← links)
- numericalsgps, a GAP package for numerical semigroups (Q5270189) (← links)
- (Q5431985) (← links)
- Formalized linear algebra over Elementary Divisor Rings in Coq (Q5739892) (← links)
- Computing the nonfree locus of the moduli space of arrangements and Terao’s freeness conjecture (Q5879126) (← links)
