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
- Comprehensive Gröbner Bases in a Java Computer Algebra System
- Using machine learning to improve cylindrical algebraic decomposition
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Parallel algorithms for Gröbner-basis construction
- On approximate triangular decompositions in dimension zero
- Parallelization of modular algorithms
- Computational D-module theory with singular, comparison with other systems and two new algorithms
- 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.
- Semantic-Aware Fingerprints of Symbolic Research Data
- Mathematical Research Data and Information Services
- DGD Gallery: Storage, Sharing, and Publication of Digital Research Data
- Letterplace
- Factoring linear differential operators in n variables
- Computing minimal associated primes in polynomial rings over the integers
- Representation and automated transformation of geometric statements
- On the Design and Implementation of a Geometric Knowledge Base
- Slimgb: Gröbner bases with slim polynomials
- Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra.
- Solving via Modular Methods
- The SDEval benchmarking toolkit
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: SymbolicData