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 \texttt{http://cocoa.dima.unige.it/cocoalib}},
}


  @Misc{CoCoA-5,
   author = {J. Abbott and A.M. Bigatti and G. Lagorio},
   title = {{CoCoA-5}: a system for doing {C}omputations in {C}ommutative {A}lgebra},
   howpublished ={Available at \texttt{http://cocoa.dima.unige.it}},
  }


%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 \texttt{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}
}


COCOA's Home cocoa@dima.unige.it