The following pages link to SymbolicData (Q16792):
Displaying 27 items.
- Representation and automated transformation of geometric statements (Q488928) (← links)
- An algorithm for primary decomposition in polynomial rings over the integers (Q657376) (← links)
- Computing minimal associated primes in polynomial rings over the integers (Q719750) (← links)
- Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra. (Q1760102) (← links)
- Slimgb: Gröbner bases with slim polynomials (Q1958670) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- Modular techniques for noncommutative Gröbner bases (Q2183734) (← links)
- DiscreteZOO: a fingerprint database of discrete objects (Q2209260) (← links)
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition (Q2287902) (← links)
- Parallelization of modular algorithms (Q2430024) (← links)
- Parallel algorithms for Gröbner-basis construction (Q2462061) (← links)
- On approximate triangular decompositions in dimension zero (Q2470055) (← links)
- Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers. (Q2492148) (← links)
- Factoring linear partial differential operators in \(n\) variables (Q2635073) (← links)
- Comprehensive Gröbner Bases in a Java Computer Algebra System (Q2799554) (← links)
- Semantic-Aware Fingerprints of Symbolic Research Data (Q2819250) (← links)
- Mathematical Research Data and Information Services (Q2819254) (← links)
- DGD Gallery: Storage, Sharing, and Publication of Digital Research Data (Q2832784) (← links)
- Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm (Q2963244) (← links)
- On the Design and Implementation of a Geometric Knowledge Base (Q3003226) (← links)
- Factoring linear differential operators in <i>n</i> variables (Q3452394) (← links)
- Solving via Modular Methods (Q3455092) (← links)
- (Q4569464) (← links)
- Letterplace (Q5145988) (← links)
- (Q5248555) (← links)
- The SDEval benchmarking toolkit (Q5268959) (← links)
- Computational D-module theory with singular, comparison with other systems and two new algorithms (Q5301620) (← links)
