Division in $A[[x]]$
135303
Formal power series are a euclidean ring
5765
Show that $[2x]+[2y] \geq [x]+[y]+[x+y]$
118314
How to define $x^a$ for arbitrary real numbers $x$ and $a$
76661
Checking the maximality of a principal ideal in $R[x]$
29452
Divisor in $\mathbb{C}[X]$ $\implies$ divisor in $\mathbb{R}[X]$?
33030
Proof that $\inf A = -\sup(-A)$
44689
Explicit bijection between $[0,1)$ and $(0,1)$
5639
No \xrightrightarrow[a]{b}?
27821
A problem on rank of $A$ and $\operatorname{adj}(A)$
121706
Show $\text{det}(A)$ is divisible by $2^{n-1}$
155136
$x\in \{\{\{x\}\}\}$ or not?
111515
Proving that $-a=(-1)\cdot a$
132150
How to show the full remainder in polynomial long division?
126816
Question of remainder on dividing by 7
39830
Is "Arithmetic Expansion" the expected action on vars inside `[[` tests?
148550
Units in quotient ring of $\mathbb Z[X]$
119546
Array Division - What is the best way to divide two numbers stored in an array?