BibSonomy :: user :: toni ::

tag user group author concept BibTeX key search:all search:toni

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password:	login · register

bookmarks

bookmarks per page: 5 10 20 50 100

publications

(1)

BibTeX

RDF

other export options

<< < 1 > >>

GeoThms -- a Web System for Euclidean Constructive Geometry
Pedro Quaresma and Predrag Janicic Electronic Notes in Theoretical Computer Science174(2):35--48#may#2007.
to proving automated geometry for pt interfaces dynamic theorem proof software systems Web by toni and 1 other person on May 22, 2008, 1:57 PM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100