The MAGMA algebra system I: the user language
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Enumerating solutions to p(a) + q(b) = r(c) + s(d)
Mathematics of Computation
Efficient solution of rational conics
Mathematics of Computation
Hi-index | 0.00 |
We describe explicit methods of exhibiting elements of the Brauer groups of diagonal quartic surfaces. Using these methods, we compute the algebraic Brauer-Manin obstruction in two contrasting examples. In the second example, the obstruction is found to be trivial but a computer search reveals no points of small height on the surface.