SymbolicData
From MaRDI portal
Cited in
(56)- Plural
- ALLTYPES
- GEOTHER 1.1
- BERGMAN
- EG-Models
- PoSSo
- Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra.
- ApCoCoA
- PoCaB
- Slimgb: Gröbner bases with slim polynomials
- GBNP
- Using machine learning to improve cylindrical algebraic decomposition
- MAS
- Modular techniques for noncommutative Gröbner bases
- ProjectionCAD
- GeoProver
- DiscreteZOO: a fingerprint database of discrete objects
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Parallelization of modular algorithms
- Parallel algorithms for Gröbner-basis construction
- On approximate triangular decompositions in dimension zero
- Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers.
- FRISCO
- Phcmaple
- NCPOLY
- SDeval
- Factoring linear partial differential operators in \(n\) variables
- OpenDreamKit
- NCGB
- Comprehensive Gröbner bases in a Java computer algebra system
- Semantic-aware fingerprints of symbolic research data
- Mathematical research data and information services
- DGD Gallery: storage, sharing, and publication of digital research data
- Enhanced computations of Gröbner bases in free algebras as a new application of the letterplace paradigm
- On the design and implementation of a geometric knowledge base
- SumTools
- Ant
- Factoring linear differential operators in \(n\) variables
- Solving via modular methods
- BranchCuts
- rStandard.lib
- DiscreteZOO
- Small Graph Database
- primdecint.lib
- assprimeszerodim.lib
- modstd.lib
- Standard bases with special generators of the leading idea
- Representation and automated transformation of geometric statements
- Letterplace
- Implementation and applications of fundamental algorithms relying on Gröbner bases in free associative algebras.
- Letterplace
- Ncpoly
- The \textsc{SDEval} benchmarking toolkit
- Computational D-module theory with singular, comparison with other systems and two new algorithms
- An algorithm for primary decomposition in polynomial rings over the integers
- Computing minimal associated primes in polynomial rings over the integers
This page was built for software: SymbolicData
