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
[AL94]
W. ADAMS -
P. LOUSTAUNAU,
An introduction to Groebner bases,
Graduate Studies in Math. 3,
Amer. Math. Soc., Providence,
1994. |
fulltext (doi) |
MR 1287608[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[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[KR05]
M. KREUZER -
L. ROBBIANO,
Computational Commutative Algebra 2,
Springer,
2005, to appear. |
MR 2159476 |
Zbl 1090.13021[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