File r37/packages/geometry/geometry.bib artifact 8ba66213bc part of check-in f2fda60abd


@Misc{IMO,
  key={IMO},
  title =	 {{International Mathematics Olympiad (IMO)}},
  howpublished = {Available from\\ {\tt
                  http://olympiads.win.tue.nl/imo}},   
}

@Manual{CALI,
  title = 	 {{CALI -- A Reduce package for commutative algebra.
                  Version 2.2.1}},
  author =	 {Gr\"abe, H.-G.},
  organization = {Uni Leipzig},
  year =	 {June 1995},
  address =	 {Available from\\ {\tt
http://www.informatik.uni-leipzig.de/\~{}compalg}},
}

@InCollection{Chou:84,
  author = 	 {Chou, S.-C.},
  title = 	 {Proving elementary geometry theorems using {Wu's}
                  algorithm}, 
  booktitle = 	 {Contemp. Math.},
  publisher = 	 {AMS, Providence, Rhode Island},
  year =	 {1984},
  volume =	 {19},
  pages =	 {243 - 286},
}

@Book{Chou:88,
  author = 	 {Chou, S.-C.},
  title = 	 {Mechanical geometry theorem proving},
  publisher = 	 {Reidel, Dortrecht},
  year = 	 {1988},
}

@InProceedings{Chou:90,
  author = 	 {Chou, S.-C.},
  title = 	 {Automated reasoning in geometries using the
                  characteristic set method and {Gr\"obner} basis
                  method}, 
  booktitle = 	 {Proc. ISSAC-90},
  publisher =	 {ACM Press},
  year = 	 {1990},
  pages =	 {255-260},
}

@Book{Coxeter:67,
  author = 	 {Coxeter, H.S.M. and Greitzer, S.L.},
  title = 	 {Geometry revisted},
  publisher = 	 {Random House, The L.W. Singer Comp., New York},
  year = 	 {1967},
}

@InCollection{Wu:84a,
  author = 	 {Wu, W.-T.},
  title = 	 {On the decision problem and the mechanization of
                  theorem-proving in elementary geometry},   
  booktitle = 	 {Contemp. Math.},
  publisher = 	 {AMS, Providence, Rhode Island},
  year =	 {1984},
  volume =	 {19},
  pages =	 {213 - 234},
}

@InCollection{Wu:84b,
  author = 	 {Wu, W.-T.},
  title = 	 {Some recent advances in mechanical theorem proving
                  of geometry},  
  booktitle = 	 {Contemp. Math.},
  publisher = 	 {AMS, Providence, Rhode Island},
  year =	 {1984},
  volume =	 {19},
  pages =	 {235 - 241},
}

@Book{Morozova:68,
  author = 	 {Morozova, E.A. and Petrakov, I.S.},
  title = 	 {International Mathematics Olympiads},
  publisher = 	 {Prosve\v{s}\v{c}enie, Moscow},
  year = 	 {1968},
  note =	 {(in russian)}, 
}



@Book{Wu:94,
  author = 	 {Wu, W.-T.},
  title = 	 {Mechanical Theorem Proving in Geometries},
  number =	 {1},
  series =	 {Texts and Monographs in Symbolic Computation},
  publisher = 	 {Springer, Wien},
  year = 	 {1994},
}



REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]