C
O
C
O
A
|
|
commutative
computer
algebra
|
BibTeX
@PREAMBLE{ {\newcommand{\cocoa}
{\mbox{\rm C\kern-.13em o\kern-.07em C\kern-.13em o\kern-.15em A}}} }
@string{BULAM3 = {Bull. Amer. Math. Soc. (N.S.)}}
@string{COMMA2 = {Comm. Algebra}}
@string{JPURA1 = {J. Pure Appl. Algebra}}
@string{JSYMC = {J. Symb. Comput.}}
@string{LNCS = {Lecture Notes in Comp.Sci.}}
@string{MATHC3 = "Math. Comp."}
@string{PROAM = {Proc. Amer. Math. Soc.}}
@string{TRAAM = {Trans. Amer. Math. Soc.}}
@Article{Abbott96,
author = {J. Abbott},
title = {The {O}pen{M}ath Project},
journal = {{SAC} Newsletter},
year = 1996,
volume = 1,
number = 1,
month = {Nov},
note = {also published electronically at
{\tt http://www.can.nl/SAC{$\underline{\hbox{\
}}$}Newsletter/}}
}
@Unpublished{Abbott97,
author = {J. Abbott},
title = {{O}pen{M}ath Design Committee Report},
note = {To appear as a RIACA Technical Report},
year = {1996},
month = {Dec}
}
@Unpublished{Abbott98,
author = {J. Abbott},
title = {Univariate Factorization over the Integers},
note = {Preprint},
year = 1998
}
@Article{Abbott00,
author = {J. Abbott},
title = {Sparse Squares of polynomials},
journal = MATHC3 ,
year = 2002,
volume = 71,
pages = {407--413}
}
@InProceedings{Abbott06,
author = {John Abbott},
title = {Challenges in Computational Commutative Algebra},
booktitle = {Challenges in Symbolic Computation Software},
year = {2006},
editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt },
number = {06271},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
OPTaddress = {Dagstuhl, Germany},
OPTURL = {http://drops.dagstuhl.de/opus/volltexte/2006/768
[date of citation: 2006-01-01]},
note = {$<$http://drops.dagstuhl.de/opus/volltexte/2006/768$>$
[date of citation: 2006-01-01]},
OPTannote = {Keywords: Academic recognition implementation OpenMath CoCoA},
}
@inproceedings{Abbott06-ICMS,
author = {John Abbott},
title = {The Design of CoCoALib.},
booktitle = {ICMS},
year = {2006},
pages = {205-215},
ee = {http://dx.doi.org/10.1007/11832225_18},
crossref = {DBLP:conf/icms/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@Proceedings{AbbottBigatti06,
title = {CoCoA: Computations in Commutative Algebra },
year = 2006,
booktitle = {ICM 2006},
note = {To appear}}
@Proceedings{AbbottBigatti10,
title = {{C}o{C}o{A}{L}ib: A {C}++ library for Computations in Commutative Algebra... and Beyond},
BOOKTITLE = {Mathematical software---{ICMS} 2010},
SERIES = {Lecture Notes in Comp.Sci.},
VOLUME = {6327},
PAGES = {73--76},
PUBLISHER = {Springer},
YEAR = {2010},
NOTE = {Invited talk}
}
@Article{AbbottBigattiCaboaraRobbiano07,
author = {J. Abbott and A. Bigatti and M. Caboara and L. Robbiano},
title = {CoCoA: Computations in Commutative Algebra},
YEAR = 2007,
NOTE = {also presented as Software Demo of the ISSAC07 Conference},
JOURNAL = {SIGSAM Communications in Computer Algebra},
PUBLISHER = {ACM}
}
@Article{AbbottBigattiKreuzerRobbiano00,
author = {J. Abbott and A. Bigatti and M. Kreuzer and L. Robbiano},
title = {Computing Ideals of Points},
journal = JSYMC,
year = 2000,
volume = {30},
number = {4},
pages = {341--356},
ISSN = {0092-7872},
CODEN = {COALDM},
MRCLASS = {13D40 (13D02 13E10 13H10)},
MRNUMBER = {MR1971070 (2004f:13020)},
MRREVIEWER = {Juan C. Migliore},
}
@ARTICLE{AbbottDiazSutor96,
author = {J. Abbott and A. D{\'\i}az and R. Sutor},
title = {A Report on {O}pen{M}ath},
journal = { {SIGSAM} Bulletin},
year = {1996},
volume = {30},
number = {1},
pages = {21--24}
}
@Article{AbbottFassinoTorrente07
author = {John Abbott and Claudia Fassino and Maria Laura Torrente},
title = {Thinning Out Redundant Empirical Data},
journal = {Mathematics in Computer Science},
year = 2007,
volume = 1,
number = 2,
pages = {375--392}}
@Article{AbbottFassinoTorrente08,
author = {John Abbott and Claudia Fassino and Maria Laura Torrente},
title = {Stable Border Bases for Ideals of Points},
journal = JSYMC,
year = 2008,
volume = 43,
number = 12,
pages = {375--392}}
@Article{AbbottKreuzerRobbiano05,
author = {John Abbott and
Martin Kreuzer and
Lorenzo Robbiano},
title = {Computing zero-dimensional schemes.},
journal = JSYMC,
year = 2005,
volume = 39,
number = 1,
pages = {31--49},
ISSN = {0747-7171},
MRCLASS = {13P10 (68W30)},
MRNUMBER = {MR2168239 (2006g:13050)},
MRREVIEWER = {Thomas Garrity},
ee = {http://dx.doi.org/10.1016/j.jsc.2004.09.001}
}
@InProceedings{AbbottShoupZimmermann00,
author = {John Abbott and Victor Shoup and Paul Zimmermann},
title = {Factorization in $Z[x]$: the searching phase},
booktitle = {Proc. {ISSAC} '00},
editor = {C. Traverso},
year = 2000,
publisher = {ACM Press},
pages = {1--7}
}
@Unpublished{AbbottTraverso95,
author = {J. Abbott and C. Traverso},
title = {Specification of the {POSSO} External Data
Representation},
note = {Available by ftp from {\tt
posso.dm.unipi.it: /pub/posso/Deliverables/PossoXDR4.tex.gz}},
year = {1995},
month = {Sep}
}
@INPROCEEDINGS{AlonsoMoraEtAl92a,
author = {M.E. Alonso and T. Mora and G. Niesi and M. Raimondo},
title = {Local parametrization of space curves at singular
points},
booktitle = {Proc. Computer Graphics and Mathematics},
year = 1992,
editor = {B. Falcidieno, I. Herman and C. Pienovi},
number = {},
series = {Eurographic Seminar Series},
pages = {61--90},
organization = {},
publisher = {Springer Verlag},
address = {Berlin-Heidelberg-New York},
}
@INPROCEEDINGS{AlonsoMoraEtAl92b,
author = {M.E. Alonso and T. Mora and G. Niesi and M. Raimondo},
title = {An Algorithm for Computing Analytic Branches
of Space Curves at Singular Points},
booktitle = {Proc. of the 1992 International Workshop on
Mathematics
Mechanization},
year = 1992,
editor = {Wu Wen-Ts{\"u}n and Cheng Min-De},
number = {},
series = {},
pages = {135--166},
organization = {},
publisher = {International Academic Publishers},
address = {},
}
@TechReport{AvLS95,
author = {J. Abbott and A. van Leeuwen and A. Strotmann},
title = {Objectives of {O}pen{M}ath},
institution = {RIACA},
year = {1996},
type = {Technical Report},
number = {12},
address = {Technische Universiteit Eindhoven},
month = {Jun}
}
@InProceedings{BazzottiDalzottoRobbiano01,
author = {L. Bazzotti and G. Dalzotto and L. Robbiano},
title = {Remarks on Geometric Theorem Proving},
booktitle = {Proceedings of ADG 2000},
series = LNAI,
number = 2061,
year = 2001,
publisher = {Springer Verlag},
note = {To appear}
}
@INPROCEEDINGS{BeckerMarinariMoraTraverso94,
author = {E. Becker and M.G. Marinari and T. Mora and C.
Traverso},
title = {The shape of the Shape Lemma},
booktitle = {Proc. {ISSAC} '94},
year = 1994,
publisher = {ACM Press},
address = {New York},
}
@ARTICLE{Bigatti93,
author = {A. M. Bigatti},
title = {Upper Bounds for the {B}etti Numbers of a Given
{H}ilbert Function},
journal = COMMA2,
year = 1993,
volume = 21,
number = 7,
pages = {2317--2334}
}
@PhdThesis{Bigatti95,
author = {A. M. Bigatti},
title = {Aspetti Combinatorici e Computazionali dell'Algebra
Commutativa},
school = {Universit{\`a} di {T}orino},
year = 1995
}
@Article{Bigatti97,
author = {A. M. Bigatti},
title = {Computation of {H}ilbert-{P}oincar{\'e} Series},
journal = JPURA1,
year = 1997,
volume = 119,
number = 3,
pages = {237--253}
}
@Article{BigattiCaboaraRobbiano10,
author = {A. Bigatti and M. Caboara and L. Robbiano},
title = {Computing Inhomogeneous Gr\"obner Bases},
note = {arXiv:0901.1105},
YEAR = 2010
}
@Article{BigattiConcaRobbiano05,
author = {A. M. Bigatti and A. Conca and L. Robbiano},
title = {Generic Initial Ideals and Distractions},
journal = {Communications in Algebra},
year = 2005,
volume = 33,
number = 6
pages = {1709--1732}
}
@InProceedings{BigattiContiRobbianoTraverso93,
author = {A. M. Bigatti and P. Conti and L. Robbiano and C.
Traverso},
title = {A {Divide and Conquer} Algorithm for
{H}ilbert-{P}oincar{\'e} Series, Multiplicity and
Dimension of Monomial Ideals},
booktitle = {Proceedings of AAECC-10},
series = LNCS,
number = 673,
year = 1993,
publisher = {Springer Verlag},
pages = {76--88}
}
@Article{BigattiGeramitaMigliore94,
author = {A.M. Bigatti and A.V. Geramita and J.C. Migliore},
title = {Geometric Consequences of Extremal Behavior in a
Theorem of {M}acaulay},
journal = TRAAM,
year = 1994,
volume = 346,
number = 1,
pages = {203--235}
}
@Article{BigattiGeramita03,
author = {A.M. Bigatti and A.V. Geramita},
title = {Level Algebras, Lex Segments and Minimal Hilbert Functions},
journal = COMMA2,
year = 2003,
volume = 31,
number = 3,
pages = {1427--1451},
ISSN = {0092-7872},
CODEN = {COALDM},
MRCLASS = {13D40 (13D02 13E10 13H10)},
MRNUMBER = {MR1971070 (2004f:13020)},
MRREVIEWER = {Juan C. Migliore},
}
@Article{BigattiLascalaRobbiano99,
author = {A.M. Bigatti and R. LaScala and L. Robbiano},
title = {Computing Toric Ideals},
year = 1999,
journal = JSYMC,
volume = 27,
pages = {351--365}
}
@Article{BigattiRobbiano97,
author = {A. M. Bigatti and L. Robbiano},
title = {{B}orel Sets and Sectional Matrices},
journal = {Annals of Combinatorics},
year = 1997,
volume = 1,
number = 3,
pages = {197--213}
}
@Article{BigattiRobbiano01,
author = {A. M. Bigatti and L. Robbiano},
title = {Toric Ideals},
journal = {Matem{\'a}tica Contempor{\^a}nea},
year = 2001,
volume = 21,
pages = {1--25}
}
@INPROCEEDINGS{Caboara93,
author = {M. Caboara},
title = {A Dynamic Algorithm for {G}r\"obner basis computation},
booktitle = {Proc. {ISSAC} '93},
year = 1993,
pages = {275--283},
publisher = {ACM Press},
address = {New York},
}
@PhdThesis{Caboara98,
author = {M. Caboara},
title = {Optimization of basic algorithms in Commutative Algebra},
school = {Universit{\`a} di {P}isa},
year = 1998
}
@Article{CaboaraCaruso08,
AUTHOR = {M. Caboara and F. Caruso},
TITLE = {Group Action on Gr\"obner Bases of Saturated Zero-Dimensional Binomial Ideals},
JOURNAL = {Communications in Computer Algebra},
VOLUME = {42},
YEAR = {2008},
NUMBER = {3},
PUBLISHER = {ACM}
}
@incollection{CaboaraCarusoTraverso08,
AUTHOR = {M. Caboara and F. Caruso and C. Traverso},
TITLE = {Gr\"obner bases for public key cryptography},
BOOKTITLE = {I{SSAC} 2008},
PAGES = {315--323},
PUBLISHER = {ACM},
ADDRESS = {New York},
YEAR = {2008}
}
@Article{CaboaraCarusoTraverso08-02,
author = {M. Caboara and F. Caruso and C. Traverso},
title = {Block lattice polly cracker, theory and practice},
JOURNAL = {Second Workshop on Mathematical Cryptology},
YEAR = 2008,
PAGES = {75--82}
}
@Article{CaboaraCarusoTraverso08-03,
author = {M. Caboara and F. Caruso and C. Traverso},
title = {Heterogeneous lattice metrics and the NTWO cryptosystem},
JOURNAL = {Poster for Second Workshop on Mathematical Cryptology},
YEAR = 2008,
PAGES = {118--121}
}
@Article{CaboaraCarusoTraverso09,
author = {M. Caboara and F. Caruso and C. Traverso},
title = {Block Lattice Polly Cracker: design, implementation and security},
note = {accepted in JSYMC},
YEAR = 2009,
}
@InProceedings{CaboaraContiTraverso97,
author = {M. Caboara and P. Conti and C. Traverso},
title = {Yet Another Algorithm for Ideal Decomposition},
booktitle = {Proceedings of AAECC-12},
series = LNCS,
number = 1255,
year = 1997,
publisher = {Springer Verlag},
pages = {39--54}
}
@INPROCEEDINGS{CaboaraDedominicisRobbiano96,
author = {M. Caboara and G. DeDominicis and L. Robbiano},
title = {Multigraded {H}ilbert Functions and {B}uchberger Algorithm},
booktitle = {Proc. {ISSAC} '96},
year = 1996,
editor = {Y. N. Lakshman},
number = {},
series = {},
pages = {72--78},
organization = {},
publisher = {ACM Press},
address = {New York},
}
@Article{CaboaraFaridi09,
author = {M. Caboara and S. Faridi},
title = {Odd-Cycle-Free Facet Complexes and the K\"onig property},
note = {accepted in \emph{Rocky Mountain Journal of Mathematics}},
YEAR = {2009},
}
@Article{CaboaraFaridiSelinger05,
AUTHOR = {M. Caboara and S. Faridi and P. Selinger},
TITLE = {Tree Computations},
JOURNAL = {Proc. {MEGA} '05},
YEAR = {2005}
}
@Article{CaboaraFaridiSelinger06,
AUTHOR = {M. Caboara and S. Faridi and P. Selinger},
TITLE = {Simplicial cycles and the computation of symplicial trees},
JOURNAL = JSYMC,
VOLUME = {342},
YEAR = {2006},
NUMBER = {1-2},
PAGES = {74--88}
}
@InProceedings{CaboaraFaridiSelinger06-ICMS,
author = {M. Caboara and S. Faridi and P. Selinger},
BOOKTITLE = {Mathematical software---{ICMS} 2006},
SERIES = {Lecture Notes in Comput. Sci.},
VOLUME = {4151},
PAGES = {110--121},
PUBLISHER = {Springer},
ADDRESS = {Berlin},
YEAR = {2006}
}
@Article{CaboaraMora02,
author = {M. Caboara and T. Mora},
title = {The Chen-Reed-Helleseth-Truong Decoding Algorithm and the
Gianni-Kalkbrenner Shape Theorem},
journal = {Appl. Alg. in Eng., Comm. and Comp.},
year = 2002,
volume = 13,
number = 3,
pages = {209--232}
}
@InProceedings{CaboaraKreuzerRobbiano02,
author = {M. Cabora and M. Kreuzer and L. Robbiano},
title = {Minimal Set of Critical Pairs},
booktitle = {Proceedings of the First Congress of Mathematical Software},
editor = {B. Cohen and X. Gao and N. Takayama},
year = 2002,
publisher = {World Scientific},
pages = {390--404}
}
@InProceedings{CaboaraKreuzerRobbiano04,
author = {M. Caboara and M. Kreuzer and L. Robbiano},
title = {Efficiently computing minimal Sets of Critical Pairs},
booktitle = {Special Issue of Journal of Symbolic Computation for ICMS
2002 (The First International Congress of Mathematical Software)},
journal = JSYMC,
volume = 38,
year = 2004,
pages = {1169--1190}
}
@Article{CaboaraRiccomagno98,
author = {M. Caboara and E. Riccomagno},
title = {An algebraic computational approach to the
identifiability of {F}ourier models},
journal = JSYMC,
year = 1998,
volume = 26,
pages = {245--260}
}
@InProceedings{CaboaraRobbiano97,
author = {M. Caboara and L. Robbiano},
title = {Families of Ideals in {S}tatistics},
booktitle = {Proc. {ISSAC} '97},
editor = {K{\"u}chlin},
year = 1997,
publisher = {ACM Press},
address = {New York},
month = {July},
pages = {404--409}
}
@InProceedings{CaboaraRobbiano00,
author = {M.Caboara and L.Robbiano},
title = {CoCoA},
booktitle = {Proc. 2nd IFAC Workshop on LINEAR TIME DELAY SYSTEMS},
pages = {31-36},
year = 2000,
editor = {A.M. Perdon},
month = {September}
}
@InProceedings{CaboaraRobbiano01,
author = {M.Caboara and L.Robbiano},
title = {Families of Estimable Terms},
booktitle = {Proc. {ISSAC} '01},
year = 2001,
pages = {56--63}
}
@Article{CaboaraSilvestri99,
author = {M. Caboara and M. Silvestri},
title = {A Classification of compatible module ordering},
journal = JPURA1,
year = 1999,
volume = 142,
number = 1,
pages = {13--24}
}
@InProceedings{CaboaraTraverso98,
author = {M. Caboara and C. Traverso},
title = {Efficient algorithms for ideal operations},
booktitle = {ISSAC 98: Proceedings of the 1998 International Symposium on
Symbolic and Algebraic Computation},
year = 1998,
publisher = {ACM Press},
pages = {147--152},
note = {Extended Abstract}
}
@INPROCEEDINGS{CapaniDedominicis96,
author = {A. Capani and G. DeDominicis},
title = {Web Algebra},
editor = {},
booktitle = {Proc. of WebNet 96},
series = { },
pages = { },
year = 1996,
address = {Charlottesville, USA},
publisher = {Association for the Advancement of Computing
in Education (AACE)},
}
@Article{CapaniDedominicisNiesiRobbiano97,
author = {A. Capani and G. DeDominicis and G. Niesi and L.
Robbiano},
title = {Computing Minimal Finite Free Resolutions},
journal = JPURA1,
year = 1997,
volume = {117--118},
pages = {105--117},
note = {Special volume: {A}lgorithms for {A}lgebra}
}
%the cocoa macro should be defined in your .tex file
\def\cocoa{{\hbox{\rm C\kern-.13em o\kern-.07em C\kern-.13em o\kern-.15em A}}}
@InProceedings{CapaniNiesi98,
author = {A. Capani and G. Niesi},
title = {The {\cocoa} 3 Framework for a Family of
{B}uchberger-like Algorithms},
booktitle = {{G}r{\"o}bner {B}ases and Applications (Proc. of the
Conf. 33 Years of {G}r{\"o}bner {B}ases)},
editor = {B.Buchberger and F. Winkler},
year = 1998,
publisher = {Cambridge University Press},
series = {London Mathematical Society Lecture Notes Series},
volume = 251,
pages = {338--350}
}
%the cocoa macro should be defined in your .tex file
\def\cocoa{{\hbox{\rm C\kern-.13em o\kern-.07em C\kern-.13em o\kern-.15em A}}}
@Article{CapaniNiesiRobbiano96,
author = {A. Capani and G. Niesi and L. Robbiano},
title = {Some Features of {\cocoa} 3},
journal = {Comput. Sci. J. of Moldova},
year = 1996,
volume = 4,
number = 3,
pages = {296--314}
}
@Manual{CocoaMan95,
title = {CoCoA 3.0 User's Manual},
author = {A. Capani and G. Niesi},
organization = {Dipartimento di Ma\-te\-ma\-ti\-ca, Universit\`a
di Genova},
address = {Via Dodecaneso, 35, I-16146 Genova (Italy)},
year = 1995
}
@Misc{CoCoALib,
author = {J. Abbott and A.M. Bigatti},
title = {{CoCoALib}: a C++ library for doing {C}omputations
in {C}ommutative {A}lgebra},
howpublished ={Available at \/ {\tt http://cocoa.dima.unige.it/cocoalib}},
}
%the cocoa macro should be defined in your .tex file
\def\cocoa{{\hbox{\rm C\kern-.13em o\kern-.07em C\kern-.13em o\kern-.15em A}}}
@Misc{CocoaSystem,
author = {{CoCoA}Team},
title = {{{\hbox{\rm C\kern-.13em o\kern-.07em
C\kern-.13em o\kern-.15em A}}}: a system for doing {C}omputations
in {C}ommutative {A}lgebra},
howpublished ={Available at \/ {\tt http://cocoa.dima.unige.it}},
}
@Unpublished{DedominicisKreuzer96,
author = {G. DeDominicis and M. Kreuzer},
title = {K{\"a}hler differentials for points in $P^n$},
journal = JPURA1,
year = 1999,
volume = 141,
pages = {153--173}
}
@Article{Fassino10,
author = {C. Fassino},
title = {Almost Vanishing Polynomials for Sets of Limited Precision Points},
journal = JSYMC,
VOLUME = {45},
YEAR = {2010},
NUMBER = {1},
PAGES = {19--37}
}
@ARTICLE{GeramitaKreuzerRobbiano93,
author = {A. V. Geramita and M. Kreuzer and L. Robbiano},
title = {{C}ayley-{B}acharach schemes and their
canonical modules},
journal = TRAAM,
year = 1993,
volume = 339,
pages = {163--189}
}
@InProceedings{GioviniMorandoCapani92,
author = {A. Giovini and F. Morando and A. Capani},
title = {Implementation of a Toolset for Prototyping Algebraic
Specifications of Concurrent Systems},
booktitle = {Proceedings of {ALP-92}},
series = LNCS,
number = 632,
year = 1992,
publisher = {Springer Verlag},
pages = {335--349}
}
@InProceedings{KehreinKreuzerRobbiano03,
author = {A. Kehrein and M. Kreuzer and L. Robbiano},
title = {An Algebraist's View on Border Bases},
booktitle = {Special Volume of CIMPA, Buenos Aires},
year = 2003,
publisher = {Springer Verlag}
}
@incollection{KreuzerPoulisseRobbiano09,
AUTHOR = {M. Kreuzer and H. Poulisse and L. Robbiano},
TITLE = {From Oil Fields to Hilbert Schemes},
BOOKTITLE = {Approximate Commutative Algebra},
SERIES = {Texts and Monographs in Symbolic Computation},
EDITOR = {L. Robbiano and J. Abbott},
PAGES = {1--54},
PUBLISHER = {Springer-Verlag Wien},
YEAR = {2009}
}
@ARTICLE{KreuzerRobbiano95,
author = {M. Kreuzer and L. Robbiano},
title = {On Maximal {C}ayley-{B}acharach Schemes},
journal = COMMA2,
year = 1995,
volume = 23,
pages = {3357--3378},
}
@Book{KreuzerRobbianoBook1,
AUTHOR = {Kreuzer, Martin and Robbiano, Lorenzo},
TITLE = {Computational commutative algebra. 1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin},
YEAR = {2000},
PAGES = {x+321},
ISBN = {3-540-67733-X},
MRCLASS = {13P10 (13-01)},
MRNUMBER = {MR1790326 (2001j:13027)},
MRREVIEWER = {John B. Little},
}
@Book{KreuzerRobbianoBook2,
AUTHOR = {Kreuzer, Martin and Robbiano, Lorenzo},
TITLE = {Computational commutative algebra. 2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin},
YEAR = {2005},
PAGES = {x+586},
ISBN = {978-3-540-25527-7; 3-540-25527-3},
MRCLASS = {13P10 (68W30)},
MRNUMBER = {MR2159476 (2006h:13036)},
MRREVIEWER = {Paulo F. Machado},
}
@InProceedings{KreuzerRobbiano03,
author = {M. Kreuzer and L. Robbiano},
title = {Basic Tools for Computing in Multigraded Rings},
booktitle = {Commutative Algebra, Singularities and Computer Algebra},
editor = {J. Herzog and V. Vuletescu},
year = 2003,
publisher = {Kluwer Academic Publishers},
pages = {197--216}
}
@Unpublished{KreuzerRobbiano04,
author = {M. Kreuzer and L. Robbiano},
title = {Idealization of Modules in Computer Algebra}
}
@incollection {KreuzerRobbiano05,
AUTHOR = {Kreuzer, Martin and Robbiano, Lorenzo},
TITLE = {Idealization of modules in computer algebra},
BOOKTITLE = {Computational commutative and non-commutative algebraic
geometry},
SERIES = {NATO Sci. Ser. III Comput. Syst. Sci.},
VOLUME = {196},
PAGES = {226--243},
PUBLISHER = {IOS},
ADDRESS = {Amsterdam},
YEAR = {2005},
MRCLASS = {13P99 (13D02)},
MRNUMBER = {MR2179202 (2006g:13053)},
MRREVIEWER = {Edgar Mart{\'{\i}}nez-Moro},
}
@Article{KreuzerRobbiano08,
AUTHOR = {M. Kreuzer and L. Robbiano},
TITLE = {Deformations of border bases},
JOURNAL = {Collect. Math.},
FJOURNAL = {Universitat de Barcelona. Collectanea Mathematica},
VOLUME = {59},
YEAR = {2008},
NUMBER = {3},
PAGES = {275--297}
}
@Article{KreuzerRobbiano10,
AUTHOR = {M. Kreuzer and L. Robbiano},
TITLE = {The Geometry of Border Bases},
NOTE = {arXiv:1004.1044},
YEAR = {2010}
}
@ARTICLE{MarinariMoellerMora,
author = {M.G. Marinari and H.M. Moeller and T. Mora},
title = {On multiplicities in Polynomial system solving},
journal = TRAAM,
year = 1995,
volume = 348,
number = 8,
pages = {283-321},
}
@ARTICLE{MarinariMoellerMora93,
author = {M.G. Marinari and H.M. Moeller and T. Mora},
title = {{G}roebner bases of ideals defined by functionals with an
application to ideals of projective points},
journal = {Appl. Alg. in Eng., Comm. and Comp.},
year = 1993,
volume = 4,
number = 2,
pages = {103--145},
}
@INPROCEEDINGS{MarinariMoellerMora95,
author = {M.G. Marinari and H.M. Moeller and T. Mora},
title = {Groebner duality and multiplicities in {PoSSo}},
booktitle = {Proc. {ISSAC} '95},
year = 1995,
editor = {},
number = {},
series = {},
pages = {},
organization = {},
publisher = {ACM Press},
address = {New York},
}
@Unpublished{MarinariMoellerMora96,
author = {M.G. Marinari and H.M. Moeller and T. Mora},
title = {Groebner duality's survey},
note = {Preprint},
year = {1996},
month = {}
}
@Unpublished{MarinariMoraRamella96,
author = {M.G.Marinari and T.Mora and L. Ramella},
title = {Isomorphism classes of multiple ideals at the origin},
note = {Preprint},
year = {1996},
month = {}
}
@INCOLLECTION{MoraRobbiano93,
author = {T. Mora and L. Robbiano},
title = {Points in affine and projective spaces},
editor = {D. Eisenbud and L. Robbiano},
booktitle = {Computational Algebraic Geometry and Commutative
Algebra, Cortona-91},
series = {Symposia Mathematica},
volume = {XXXIV},
pages = {106--150},
publisher = {Cambridge University Press},
year = 1993,
}
%the cocoa macro should be defined in your .tex file
\def\cocoa{{\hbox{\rm C\kern-.13em o\kern-.07em C\kern-.13em o\kern-.15em A}}}
@INPROCEEDINGS{NiesiRobbiano92a,
author ={G. Niesi and L. Robbiano},
title = {Disproving {H}ibi's Conjecture with \cocoa {\it or}
Projective Curves with bad {H}ilbert Functions},
booktitle = {Computational Algebraic Geometry},
editor = {F. Eyssette and A. Galligo},
series = {Progress in Mathematics},
number = {109},
year = 1993,
pages= {195--201},
publisher = {Birkh{\"a}user},
address = {Boston},
}
@TechReport{OMComms96,
author = {J. Abbott and S. Dalmas and M. Dewar and A. Diaz and S.
Gray and S. Sheridan and A. Strotmann and S.
Vorkoetter},
title = {Open{M}ath Communications Committee Report},
institution ={RIACA},
year = {1996},
type = {Technical Report},
number = {11},
address = {Technische Universiteit Eindhoven},
month = {Jun}
}
@Article{PerdonAnderlucciCaboara06,
AUTHOR = {A.M. Perdon, M. Anderlucci and M. Caboara},
TITLE = {Efficient algorithms for geometric control of systems over rings},
JOURNAL = {International Journal of Control, Special Issue on the Use of Computer Algebra Systems for Computer Aided Control System Design},
VOLUME = {79},
YEAR = {2006},
NUMBER = {11}
PAGES = {1401--1417}
}
@InProceedings{PerdonCaboaraPeroli03,
author = {A.M. Perdon and M.Caboara and G.G.Peroli},
title = {Algorithms for geometric control of systems over rings},
booktitle = {Proceedings (CD) of the 2nd IFAC Conference, CONTROL
SYSTEMS DESIGN, (CSD 03)
September 7 - 10, 2003, Bratislava},
}
@ARTICLE{Robbiano96,
author = {L. Robbiano},
title = { {\it Review of the Books} : {G}r{\"o}bner {B}ases:
{A} {C}omputational {A}pproach to {C}ommutative
{A}lgebra by {B}ecker and {W}eispfenning and {A}n
{I}ntroduction to {G}r{\"o}bner {B}ases by {A}dams
and {L}oustaunau},
journal = BULAM3,
year = 1996,
volume = 33,
number = 4,
pages = {477--482}
}
@InProceedings{Robbiano98,
author = {L. Robbiano},
title = {{G}r{\"o}bner {B}ases and {S}tatistic},
booktitle = {{G}r{\"o}bner {B}ases and Applications (Proc. of the
Conf. 33 Years of {G}r{\"o}bner {B}ases)},
editor = {B.Buchberger and F.Winkler},
year = 1998,
publisher = {Cambridge University Press},
series = {London Mathematical Society Lecture Notes Series},
volume = 251,
pages = {179--204}
}
@InProceedings{Robbiano01,
author = {L. Robbiano},
title = {Zero-Dimensional Ideals, or, The
inestimable Value of Estimable Terms},
booktitle = {Proceedings of the Academy Colloquium, Constructive
Algebra and Systems Theory},
year = 2001,
notes = {To appear}
}
@Article{,
AUTHOR = {Robbiano, Lorenzo},
TITLE = {Three friends and computer algebra},
JOURNAL = {Boll. Unione Mat. Ital. Sez. A Mat. Soc. Cult. (8)},
FJOURNAL = {Bollettino della Unione Matematica Italiana. Sezione A. La
Matematica nella Societ\`a e nella Cultura. Serie VIII},
VOLUME = {9},
YEAR = {2006},
NUMBER = {1},
PAGES = {1--23},
ISSN = {0392-4033},
CODEN = {BLUMAM},
MRCLASS = {68W30 (00A35)},
MRNUMBER = {MR2227814},
}
@Book{Robbiano07,
author = {L. Robbiano},
title = {Algebra lineare per tutti},
publisher = {Springer},
year = 2007,
}
@Article{Robbiano09,
AUTHOR = {L. Robbiano},
TITLE = {On border basis and {G}r\"obner basis schemes},
JOURNAL = {Collect. Math.},
FJOURNAL = {Universitat de Barcelona. Collectanea Mathematica},
VOLUME = {60},
YEAR = {2009},
NUMBER = {1},
PAGES = {11--25}
}
@Article{Robbiano09-2,
AUTHOR = {L. Robbiano},
TITLE = {Giacimenti petroliferi e modelli polinomiali},
JOURNAL = {Lettera Matematica Pristem},
VOLUME = {70-71},
YEAR = {2009},
PAGES = {82--87}
}
@InProceedings{RobbianoRogantin98,
author = {L. Robbiano and M.P. Rogantin},
title = {Full Factorial Designs and Distracted Fractions},
booktitle = {{G}r{\"o}bner {B}ases and Applications (Proc. of the
Conf. 33 Years of {G}r{\"o}bner {B}ases)},
editor = {B.Buchberger and F. Winkler},
year = 1998,
publisher = {Cambridge University Press},
series = {London Mathematical Society Lecture Notes Series},
volume = 251,
pages = {473--482}
}
@Article{RobbianoSweedler98,
author = {L. Robbiano and M. Sweedler},
title = {Ideal and Subalgebra Coefficients},
journal = PROAM,
year = 1998,
volume = 126,
number = 8,
pages = {2213--2219}
}
@Article{RobbianoValla98,
author = {L. Robbiano and Giuseppe Valla},
title = {{H}ilbert {P}oincar\`e Series of Bigraded Algebras},
journal = {{B}oll. {U}n. {M}at. {I}tal.},
year = 1998,
volume = 8,
number = {1-B},
pages = {541--570}
}
@PhdThesis{Torrente09,
author = {M. Torrente},
title = {Applications of Algebra in the Oil Industry},
school = {Scuola Normale Superiore di Pisa},
year = {2009}
}