Groebner bases with symbolic exponents
134528
Eliminating variables from system of equation using Eliminate or Solve
62484
Proving Hartshorne's Exercise I-1.9 by using exercise I-1.8
512
Finding generator for the ideal generated by $a$ and $b$ in an euclidean domain
127029
Ring of formal power series finitely generated as algebra?
40502
The Degree of Zero Polynomial.
88013
injective linear transformation basis.
132165
"Polynomials" with non-integer exponents
36325
Embedding ordinals in $\mathbb{Q}$
149381
Relating the base-p periodic expansion of a rational to its p-adic representation
145039
Algebraic independence over $\overline{\mathbb Q}$ and over $\mathbb Q$
72350
Constructing Idempotent Generator of Idempotent Ideal
107089
finding rational roots of polynomials
66933
Solving an exponential equation with different bases
158156
Finding the dual basis for the space of polynomials of degree $\leq$ 2
360
Modular exponentiation by hand ($a^b\bmod c$)
83116
Uncountability of basis of $\mathbb R^{\mathbb N}$
7954
Roots of monic polynomial over a number ring