bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Referenza completa

Robbiano, Lorenzo:
Tre Amici e la Computer Algebra
Bollettino dell'Unione Matematica Italiana Serie 8 9-A (2006) —La Matematica nella Società e nella Cultura, fasc. n.1, p. 1-23, Unione Matematica Italiana (Italian)
pdf (403 Kb), djvu (202 Kb). | MR2227814 | Zbl 1135.13013

Sunto

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.
Referenze Bibliografiche
[A02] J. ABBOTT, Sparse squares of polynomials, Math. Comp. 71 (2002), 407- 413. | fulltext (doi) | MR 1863010 | Zbl 0994.11010
[Abh76] S. ABHYANKAR, Historical ramblings in algebraic geometry and related algebra. Amer. Math. Monthly 83 (1976), 409-448. | fulltext (doi) | MR 401754 | Zbl 0339.14001
[AL94] W. ADAMS - P. LOUSTAUNAU, An introduction to Groebner bases, Graduate Studies in Math. 3, Amer. Math. Soc., Providence, 1994. | fulltext (doi) | MR 1287608
[BW93] T. BECKER - V. WEISPFENNING, Groebner bases, Springer, New York, 1993. | fulltext (doi) | MR 1213453
[CLS92] D. Cox - J. LITTLE - D. O'SHEA, Ideals, varieties, and algorithms, Springer, New York, 1992. | fulltext (doi) | MR 1189133
[CLS04] D. COX - J. LITTLE - D. O'SHEA, Using algebraic geometry, second ed., Springer, New York, 2004. | MR 2122859
[Ch88] S.-C. CHOU, Mechanical geometry theorem proving, Math. and Its Appl. 41, D. Reidel Publ. Comp., Dordrecht, 1988. | MR 998773
[DE05] A. DICKENSTEIN - I. EMIRIS (eds.), Solving polynomial equations: foundations, algorithms and applications, Springer, Berlin, 2005. | fulltext (doi) | MR 2161984 | Zbl 1061.12001
[GG03] J. VON ZUR GATHEN - J. GERHARD, Modern computer algebra, second ed., Cambridge Univ. Press, Cambridge, 2003. | MR 2001757 | Zbl 1055.68168
[GKW03] J. GRABMEIER - E. KALTOFEN - V. WEISPFENNING (eds.), Computer algebra handbook, Springer, Heidelberg, 2003. | fulltext (doi) | MR 1984421
[GP02] G.-M. GREUEL - G. PFISTER, A Singular introduction to commutative algebra, Springer, Berlin, 2002. | fulltext (doi) | MR 1930604
[KR00] M. KREUZER - L. ROBBIANO, Computational Commutative Algebra 1, Springer, 2000. | fulltext (doi) | MR 1790326 | Zbl 0956.13008
[KR05] M. KREUZER - L. ROBBIANO, Computational Commutative Algebra 2, Springer, 2005, to appear. | MR 2159476 | Zbl 1090.13021
[Ste04] H. STETTER, Numerical polynomial algebra, SIAM, Philadelphia, 2004. | fulltext (doi) | MR 2048781 | Zbl 1058.65054
[Stu96] B. STURMFELS, Groebner bases and convex polytopes, University Lect. Ser. 8, Amer. Math. Soc., Providence, 1996. | MR 1363949
[Stu02] B. STURMFELS, Solving systems of polynomial equations, CBMS Regional Conference Series in Math. 97, Amer. Math. Soc., Providence, 2002. | fulltext (doi) | MR 1925796
[Wu94] W.T. WU, Mechanical theorem proving in geometries, Texts and Monographs in Symb. Comput., Springer, Berlin, 1994. | fulltext (doi) | MR 1284925

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali