user avatar
user avatar
user avatar
Chris
  • Member for 5 years, 1 month
  • Last seen more than a month ago
  • London, UK
14 votes
1 answer
363 views

Closest cyclotomic integer to a cyclotomic number?

4 votes
3 answers
307 views

Finite sum $\sum_{k=1}^{p-1} \frac{1-\cos\left(\frac{2\pi k r}{p}\right)}{1-\cos\left(\frac{2\pi k s}{p}\right)}$ for $\gcd(p,rs)=1$.

4 votes
1 answer
56 views

Unit of the form $n\alpha + m \beta \sqrt{d}$ in real quadratic fields

4 votes
1 answer
90 views

Linear combination of two vectors in complex space

4 votes
1 answer
307 views

Proof for known values of the Hermite constant

4 votes
1 answer
74 views

Which totally complex number field's embeddings correspond to geometric rotations/reflections in an argand diagram?

3 votes
1 answer
93 views

Determinant of a block matrix, blocks are transformations of the same matrix

3 votes
3 answers
2k views

Expand $\cos^n (x)$ in terms of $\cos{kx}$, $k=1,\dots,n$.

2 votes
1 answer
86 views

Prove that $||u||\cdot ||v|| \geq |\langle u,v \rangle|$ for defined inner product

2 votes
1 answer
329 views

Norm-Euclidean Domains Division Algorithm

2 votes
1 answer
55 views

On the cardinality of rationals vs irrationals

2 votes
2 answers
406 views

Volume of an $n$-dimensional ellipsoid

1 vote
0 answers
68 views

Determining Maximal Orders of a Quaternion Algebra

1 vote
1 answer
43 views

System of linear simultaneous equations

1 vote
1 answer
95 views

Multiplication over a cyclotomic field in terms of polynomials over the generators.

1 vote
1 answer
417 views

How does one define an inner product on the space $V=\mathbb{Q}_p^n$?

0 votes
1 answer
112 views

Calculate the integral $\int_{-1}^{1} \frac{(x-a)^2}{\sqrt{(1-x)}\ (1-ax)^4} dx$

0 votes
1 answer
68 views

Show that the set of elements of a field whose valuation is less than or equal to 1 is the ring of integers of that field.

0 votes
1 answer
130 views

Positive definite quadratic form over positive integer vectors

0 votes
1 answer
45 views

Maximising a multivariate linear function that includes the rounding in SAGE