# Questions tagged [computer-algebra]

Using computer-aid approach to solve algebraic problems. Questions with this tag should typically include at least one other tag indicating what sort of algebraic problem is involved, such as ac.commutative-algebra or rt.representation-theory or ag.algebraic-geometry.

**1**

**0**answers

### Fitting point on a Quadric curve [closed]

**0**

**0**answers

### Algorithm to compute automorphism group of a finite group

**3**

**1**answer

### Number of rings with additive group $(\mathbb{Z}_{16})^2$. A341547(16) in OEIS

**30**

**4**answers

### How does Mathematica do symbolic integration?

**7**

**0**answers

### Is it easy to certify whether a given set of solutions to a polynomial system is complete?

**2**

**0**answers

### Transforming a symmetric matrix into pentadiagonal form

**10**

**1**answer

### Where to publish a long classification?

**2**

**0**answers

### Checking for norm-Euclidean with a computer

**4**

**1**answer

### String compression algorithms for simplifying an expression by introducing variables

**1**

**1**answer

### Algorithms for Polynomials Over a Real Algebraic Number Field, a reference

**1**

**1**answer

### Find basis for the set of torsion points E[m]

**0**

**1**answer

### Efficiently computing Groebner basis to prove no solution to polynomial constraints

**4**

**0**answers

### Finding all nice ideals for quiver algebras

**3**

**0**answers

### For which $n$ is this ring an euclidean domain?

**1**

**1**answer

### Sufficient syntactic conditions for zero-dimensionality of polynomial systems

**1**

**0**answers

### Polynomial systems and algebraic functions

**2**

**0**answers

### Computer program which computes the automorphism group of Gram Matrix of lattice?

**5**

**0**answers

### Quiver and relations of $F\mathrm{SL}(2,q)$

**4**

**2**answers

### Using computer algebra to check if a family of algebras are pair-wise non-isomorphic

**3**

**0**answers

### How to solve special Diophantine equation systems (which one can solve by hand) with the computer?

**2**

**1**answer

### How to compute cup product of derived limits / presheaf cohomology

**4**

**0**answers

### Computing homology class of curve in product of elliptic curves

**5**

**1**answer

### Software computing dimension and degree

**1**

**0**answers

### Using Bertini software to determine whether or not a variety is empty

**5**

**2**answers

### Checking if Hochschild cohomology $\mathit{HH}^2(A)=0$

**5**

**0**answers

### A practical way to check whether a module is periodic

**2**

**1**answer

### Software for $S$-unit equation

**6**

**1**answer

### Constructing M-curves à la Hilbert

**4**

**0**answers

### Parabolic Bruhat graphs for exceptional types

**2**

**0**answers

### Linear relation between polynomial roots

**1**

**1**answer

### How to verify that an element in the root lattice is an imaginary root of a non-hyperbolic root system?

**2**

**1**answer

### A question on a Macaulay2 computation

**4**

**1**answer

### All rational periodic points

**17**

**3**answers

### What is the minimum size of a partial order containing all partial orders of size 5?

**45**

**2**answers

### Does there exist a complete implementation of the Risch algorithm?

**2**

**2**answers

### How to find a solution of a large system of linear diophantine inequalities?

**11**

**0**answers

### When is cohomology of a finitely presented dg-algebra computable?

**8**

**2**answers

### Is there a CAS that can solve a given system of equations in a finite group algebra $kG$?

**1**

**1**answer

### Problem while multiplying under a set of relators [closed]

**9**

**2**answers

### A “subtle” isomorphism testing problem: $\mathbb{Z}\ltimes_{A} \mathbb{Z}^5\cong \mathbb{Z}\ltimes_{B}\mathbb{Z}^5$ or not?

**4**

**1**answer

### Is there a point in 6-dimensional space satisfying these polynomial inequalities?

**2**

**0**answers

### Computing whether a set of polynomials cuts out a projective variety

**2**

**0**answers

### Saturated ideals in computational algebra

**0**

**0**answers

### Stabilizers in the action of $\mathrm{GL}(n, \mathbb Z)$ on $\mathbb Z^n$

**6**

**2**answers

### Is the matrix positive definite given the Gauss-Seidel method converges?

**2**

**0**answers

### Affine projection of polynomials for a given set of points

**3**

**0**answers

### Frobenius algebras of small dimensions

**7**

**0**answers

### Classification of Frobenius algebras of small dimensions

**0**

**0**answers

### Low rank approximation

**5**

**0**answers