SymbolicData
From MaRDI portal
Software:16792
swMATH4621MaRDI QIDQ16792FDOQ16792
Author name not available (Why is that?)
Cited In (27)
- DiscreteZOO: a fingerprint database of discrete objects
- Modular techniques for noncommutative Gröbner bases
- Using machine learning to improve cylindrical algebraic decomposition
- The \textsc{SDEval} benchmarking toolkit
- Comprehensive Gröbner bases in a Java computer algebra system
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Standard bases with special generators of the leading idea
- Semantic-aware fingerprints of symbolic research data
- Factoring linear differential operators in \(n\) variables
- Mathematical research data and information services
- DGD Gallery: storage, sharing, and publication of digital research data
- Implementation and applications of fundamental algorithms relying on Gröbner bases in free associative algebras.
- Parallel algorithms for Gröbner-basis construction
- On approximate triangular decompositions in dimension zero
- Parallelization of modular algorithms
- On the design and implementation of a geometric knowledge base
- Computational D-module theory with singular, comparison with other systems and two new algorithms
- Solving via modular methods
- Factoring linear partial differential operators in \(n\) variables
- Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers.
- Letterplace
- Computing minimal associated primes in polynomial rings over the integers
- Representation and automated transformation of geometric statements
- Slimgb: Gröbner bases with slim polynomials
- Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra.
- An algorithm for primary decomposition in polynomial rings over the integers
- Enhanced computations of Gröbner bases in free algebras as a new application of the letterplace paradigm
This page was built for software: SymbolicData
