# Tre Amici e la Computer Algebra

• Volume: 9-A, Issue: 1, page 1-23
• ISSN: 0392-4041

top

## Abstract

top
We listen in to some conversations of a dancer, a photographer, and a mathematical gardener. They speak of many things ranging from queens to oil wells, from logic problems to sundials with palindromes. We shall hear about colourful maps, CoCoA and gin, and short squares and magic squares. They even mention Hilbert functions and Groebner bases. All with the practicality of a gardener, the perspicacity of a photographer, and the delicacy of a dancer. And also a little knowledge of computational algebra. It is not a popular science article. It is a story, a tale around and about computer algebra. I often mention the two-volume book "Computational Commutative Algebra", which I wrote with Martin Kreuzer, because it explains the mathematics behind the various topics that appear in the story. I often mention the CoCoA program, lovingly crafted over the last twenty years by my research team in Genoa; it helps solve the mathematical conundrums we shall encounter. For those readers who have enjoyed the tale and are fascinated by the glimpses of mathematics, I have prepared an appendix and a short bibliography. The appendix explains some of the mathematical ideas and reasoning hidden behind the scenes. The bibliography contains a list of modern books about computer algebra and some of its vast palette of applications.

## How to cite

top

Robbiano, Lorenzo. "Tre Amici e la Computer Algebra." Bollettino dell'Unione Matematica Italiana 9-A.1 (2006): 1-23. <http://eudml.org/doc/289546>.

@article{Robbiano2006,
abstract = {Seguendo le conversazioni di un matematico Orticultore, un Fotografo e un Ballerino, si incontrano quadrati corti e quadrati magici, CoCoA e gin, carte geografiche, problemi logici, funzioni di Hilbert, palindromi dipinte su meridiane, basi di Gröbner, regine e pozzi petroliferi; il tutto filtrato dall'esperienza contadina, la magia del colore e della musica e una certa conoscenza dell'algebra computazionale. Non si tratta di un articolo divulgativo (la dimostrazione di questo fatto è alla fine), sitratta di un racconto, un oggetto letterario che ha come tema la computer algebra. Vengono spesso citati i due volumi del libro Computational Commutative Algebra scritto da me e da Martin Kreuzer, percheÂ in esso si trovano molte spiegazioni tecniche ai fatti matematici descritti nel racconto stesso. Viene spesso citato il software CoCoA, frutto del lavoro quasi ventennale del mio gruppo di ricerca di Genova, con il quale si mostra come risolvere i problemi. Chiaramente per il lettore non specialista possono sorgere delle difficoltaÁ, nel caso in cui il suo interesse si sposti dal piano letterario a quello matematico. Per agevolare questo tipo di lettore, e forse anche gli altri, alla fine del racconto si trovano una appendice e una bibliografia essenziale. Nella prima vengono chiarite alcune questioni tecniche discusse, usate, o comunque citate nel testo. Nella seconda viene fornito un elenco di libri attuali, nei quali sono trattati i vari temi della computer algebra e delle sue molteplici e multiformi applicazioni.},
author = {Robbiano, Lorenzo},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {ita},
month = {4},
number = {1},
pages = {1-23},
publisher = {Unione Matematica Italiana},
title = {Tre Amici e la Computer Algebra},
url = {http://eudml.org/doc/289546},
volume = {9-A},
year = {2006},
}

TY - JOUR
AU - Robbiano, Lorenzo
TI - Tre Amici e la Computer Algebra
JO - Bollettino dell'Unione Matematica Italiana
DA - 2006/4//
PB - Unione Matematica Italiana
VL - 9-A
IS - 1
SP - 1
EP - 23
AB - Seguendo le conversazioni di un matematico Orticultore, un Fotografo e un Ballerino, si incontrano quadrati corti e quadrati magici, CoCoA e gin, carte geografiche, problemi logici, funzioni di Hilbert, palindromi dipinte su meridiane, basi di Gröbner, regine e pozzi petroliferi; il tutto filtrato dall'esperienza contadina, la magia del colore e della musica e una certa conoscenza dell'algebra computazionale. Non si tratta di un articolo divulgativo (la dimostrazione di questo fatto è alla fine), sitratta di un racconto, un oggetto letterario che ha come tema la computer algebra. Vengono spesso citati i due volumi del libro Computational Commutative Algebra scritto da me e da Martin Kreuzer, percheÂ in esso si trovano molte spiegazioni tecniche ai fatti matematici descritti nel racconto stesso. Viene spesso citato il software CoCoA, frutto del lavoro quasi ventennale del mio gruppo di ricerca di Genova, con il quale si mostra come risolvere i problemi. Chiaramente per il lettore non specialista possono sorgere delle difficoltaÁ, nel caso in cui il suo interesse si sposti dal piano letterario a quello matematico. Per agevolare questo tipo di lettore, e forse anche gli altri, alla fine del racconto si trovano una appendice e una bibliografia essenziale. Nella prima vengono chiarite alcune questioni tecniche discusse, usate, o comunque citate nel testo. Nella seconda viene fornito un elenco di libri attuali, nei quali sono trattati i vari temi della computer algebra e delle sue molteplici e multiformi applicazioni.
LA - ita
UR - http://eudml.org/doc/289546
ER -

## References

top
1. ABBOTT, J., Sparse squares of polynomials, Math. Comp.71 (2002), 407- 413. Zbl0994.11010MR1863010DOI10.1090/S0025-5718-00-01294-1
2. ABHYANKAR, S., Historical ramblings in algebraic geometry and related algebra. Amer. Math. Monthly83 (1976), 409-448. Zbl0339.14001MR401754DOI10.2307/2318338
3. ADAMS, W. - LOUSTAUNAU, P., An introduction to Groebner bases, Graduate Studies in Math.3, Amer. Math. Soc., Providence, 1994. MR1287608DOI10.1090/gsm/003
4. BECKER, T. - WEISPFENNING, V., Groebner bases, Springer, New York, 1993. MR1213453DOI10.1007/978-1-4612-0913-3
5. Cox, D. - LITTLE, J. - O'SHEA, D., Ideals, varieties, and algorithms, Springer, New York, 1992. MR1189133DOI10.1007/978-1-4757-2181-2
6. COX, D. - LITTLE, J. - O'SHEA, D., Using algebraic geometry, second ed., Springer, New York, 2004. MR2122859
7. CHOU, S.-C., Mechanical geometry theorem proving, Math. and Its Appl.41, D. Reidel Publ. Comp., Dordrecht, 1988. MR998773
8. A. DICKENSTEIN - I. EMIRIS (eds.), Solving polynomial equations: foundations, algorithms and applications, Springer, Berlin, 2005. Zbl1061.12001MR2161984DOI10.1007/b138957
9. VON ZUR GATHEN, J. - GERHARD, J., Modern computer algebra, second ed., Cambridge Univ. Press, Cambridge, 2003. Zbl1055.68168MR2001757
10. J. GRABMEIER - E. KALTOFEN - V. WEISPFENNING (eds.), Computer algebra handbook, Springer, Heidelberg, 2003. MR1984421DOI10.1007/978-3-642-55826-9
11. GREUEL, G.-M. - PFISTER, G., A Singular introduction to commutative algebra, Springer, Berlin, 2002. MR1930604DOI10.1007/978-3-662-04963-1
12. KREUZER, M. - ROBBIANO, L., Computational Commutative Algebra 1, Springer, 2000. Zbl0956.13008MR1790326DOI10.1007/978-3-540-70628-1
13. KREUZER, M. - ROBBIANO, L., Computational Commutative Algebra 2, Springer, 2005, to appear. Zbl1090.13021MR2159476
14. STETTER, H., Numerical polynomial algebra, SIAM, Philadelphia, 2004. Zbl1058.65054MR2048781DOI10.1137/1.9780898717976
15. STURMFELS, B., Groebner bases and convex polytopes, University Lect. Ser.8, Amer. Math. Soc., Providence, 1996. MR1363949
16. STURMFELS, B., Solving systems of polynomial equations, CBMS Regional Conference Series in Math.97, Amer. Math. Soc., Providence, 2002. MR1925796DOI10.1090/cbms/097
17. WU, W.T., Mechanical theorem proving in geometries, Texts and Monographs in Symb. Comput., Springer, Berlin, 1994. MR1284925DOI10.1007/978-3-7091-6639-0

## NotesEmbed?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.