SymbolicData
From MaRDI portal
Software:16792
No author found.
Related Items (27)
Factoring linear differential operators in n variables ⋮ Solving via Modular Methods ⋮ Factoring linear partial differential operators in \(n\) variables ⋮ Computational D-module theory with singular, comparison with other systems and two new algorithms ⋮ Modular techniques for noncommutative Gröbner bases ⋮ Unnamed Item ⋮ Enhanced computations of gröbner bases in free algebras as a new application of the letterplace paradigm ⋮ Parallelization of modular algorithms ⋮ DiscreteZOO: a fingerprint database of discrete objects ⋮ Slimgb: Gröbner bases with slim polynomials ⋮ An algorithm for primary decomposition in polynomial rings over the integers ⋮ Representation and automated transformation of geometric statements ⋮ On the Design and Implementation of a Geometric Knowledge Base ⋮ Parallel algorithms for Gröbner-basis construction ⋮ On approximate triangular decompositions in dimension zero ⋮ Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra. ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4--6, 2002. Revised papers. ⋮ Computing minimal associated primes in polynomial rings over the integers ⋮ Unnamed Item ⋮ Comprehensive Gröbner Bases in a Java Computer Algebra System ⋮ Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition ⋮ Semantic-Aware Fingerprints of Symbolic Research Data ⋮ Mathematical Research Data and Information Services ⋮ DGD Gallery: Storage, Sharing, and Publication of Digital Research Data ⋮ Letterplace ⋮ The SDEval benchmarking toolkit
This page was built for software: SymbolicData
