Artifact 5651f14f12bb8daab307d9bbe1d19a810432e04a5c46884cdfcee3e5f99ca3cc:

• Executable file r37/packages/cgb/cgb.bib — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1483) [annotate] [blame] [check-ins using] [more...]

• Executable file r38/packages/cgb/cgb.bib — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1483) [annotate] [blame] [check-ins using]

@Article{DolzmannSturm:97a,
  author = 	 {Dolzmann, Andreas and Sturm, Thomas},
  title = 	 {Redlog: Computer Algebra Meets Computer Logic},
  journal = 	 {ACM SIGSAM Bulletin},
  year = 	 1997,
  volume =	 31,
  number =	 2,
  month =	 Jun,
  pages =	 {2-9}
}

@TechReport{DolzmannSturm:96a,
  author = 	 {Dolzmann, Andreas and Sturm, Thomas},
  title = 	 {Redlog User Manual},
  institution =  {FMI, Universit\"at Passau},
  year = 	 1996,
  type =	 {Technical Report},
  number =	 {MIP-9616},
  address =	 {D-94030 Passau, Germany},
  month =	 oct,
  note =	 {Edition 1.0 for Version 1.0}
}

@Manual{DolzmannSturm:99,
  title = 	 {Redlog User Manual},
  author =	 {Dolzmann, Andreas and Sturm, Thomas},
  organization = {FMI, Universit\"at Passau},
  address =	 {D-94030 Passau, Germany},
  note =	 {Edition 2.0 for Version 2.0},
  year =	 1999,
  month =	 apr
}

@Article{Weispfenning:92,
  author =       {Weispfenning, Volker},
  title =        {Comprehensive {G}r\"obner Bases},
  journal =      {Journal of Symbolic Computation},
  year =         1992,
  month =        jul,
  volume =       14,
  pages =        {1-29}
}

@Article{DolzmannSturm:97c,
  author = 	 {Dolzmann, Andreas and Sturm, Thomas},
  title = 	 {Simplification of Quantifier-free Formulae over
		  Ordered Fields},
  journal = 	 {Journal of Symbolic Computation},
  year = 	 1997,
  volume =	 24,
  number =	 2,
  month =	 aug,
  pages =	 {209-231}
}