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

Details:

   
TitleA note on the need for radical membership checking in mechanical theorem proving in geometry
Author(s) Eugenio Roanes-Lozano, Eugenio
TypeBook, Chapter in Book, Conference Proceeding
URL http://dx.doi.org/10.1007/978-3-319-02297-0_24
LanguageEnglish
SeriesLNCS
Volume8136
Pages288-300
PublisherSpringer International Publishing
AddressSwitzerland
Year2013
EditorGerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.
Edition0
Translation No
Refereed No
Webmaster