Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleAutomated Reasoning in Geometries Using the Characteristic Set Method and GrÖBner Basis Method
Author(s) Shang-Ching Chou
TypeArticle in Conference Proceedings
ISBN0-201-54892-5
URL http://doi.acm.org/10.1145/96877.96942
LanguageEnglish
SeriesISSAC
Pages255--260
PublisherACM
AddressNew York, NY, USA
Year1990
Edition0
Translation No
Refereed No
Webmaster