Contents - Student subdomain for University of Bath
Contents - Student subdomain for University of Bath
Contents - Student subdomain for University of Bath
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
BIBLIOGRAPHY 245<br />
[BCM94]<br />
[BCR98]<br />
[BCR11]<br />
[BD89]<br />
[BD02]<br />
[BD07]<br />
W. Bosma, J. Cannon, and G. Matthews. Programming with algebraic<br />
structures: design <strong>of</strong> the Magma language. In Proceedings<br />
ISSAC 1994, pages 52–57, 1994.<br />
J. Bochnak, M. Coste, and M.-F. Roy. Real algebraic geometry.<br />
Ergebnisse der Mathematik 38 (translated from the French and<br />
revised by the authors), 1998.<br />
A. Bigatti, M. Caboara, and L. Robbiano. Computing inhomogeneous<br />
Grbner bases. J. Symbolic Comp., 46:498–510, 2011.<br />
R.J. Brad<strong>for</strong>d and J.H. Davenport. Effective Tests <strong>for</strong> Cyclotomic<br />
Polynomials. In P. Gianni, editor, Proceedings ISSAC 1988, pages<br />
244–251, 1989.<br />
R.J. Brad<strong>for</strong>d and J.H. Davenport. Towards Better Simplification<br />
<strong>of</strong> Elementary Functions. In T. Mora, editor, Proceedings ISSAC<br />
2002, pages 15–22, 2002.<br />
C.W. Brown and J.H. Davenport. The Complexity <strong>of</strong> Quantifier<br />
Elimination and Cylindrical Algebraic Decomposition. In C.W.<br />
Brown, editor, Proceedings ISSAC 2007, pages 54–60, 2007.<br />
[BdB22] F.F.D. Budan de BoisLaurent. Nouvelle méthode pour la<br />
résolution des équations numériques d’un degré quelconque.<br />
Dondey-Dupré, 1822.<br />
[BDS09]<br />
[BDS10]<br />
[Ber70]<br />
[BF91]<br />
[BF93]<br />
[BFSS06]<br />
R.J. Brad<strong>for</strong>d, J.H. Davenport, and C.J. Sangwin. A Comparison<br />
<strong>of</strong> Equality in Computer Algebra and Correctness in Mathematical<br />
Pedagogy. In J. Carette et al., editor, Proceedings Intelligent<br />
Computer Mathematics, pages 75–89, 2009.<br />
R.J. Brad<strong>for</strong>d, J.H. Davenport, and C.J. Sangwin. A Comparison<br />
<strong>of</strong> Equality in Computer Algebra and Correctness in Mathematical<br />
Pedagogy (II). International Journal <strong>of</strong> Technology in<br />
Mathematical Education 2, 17:93–98, 2010.<br />
E.R. Berlekamp. Factoring Polynomials over Large Finite Fields.<br />
Math. Comp., 24:713–735, 1970.<br />
J. Backelin and R. Fröberg. How we proved that there are exactly<br />
924 cyclic 7-roots. In S.M. Watt, editor, Proceedings ISSAC 1991,<br />
pages 103–111, 1991.<br />
M. Bartolozzi and R. Franci. La regola dei segni dall’ enunciato<br />
di R. Descartes (1637) alla dimostrazione di C.F. Gauss (1828).<br />
Archive <strong>for</strong> History <strong>of</strong> Exact Sciences 335-374, 45, 1993.<br />
A. Bostan, P. Flajolet, B. Salvy, and É. Schost. Fast computation<br />
<strong>of</strong> special resultants. J. Symbolic Comp., 41:1–29, 2006.