A blue social bookmark and publication sharing system.
bookmarks
(13)
- to [Technology] Fav pt Apple Bar by djdmsr on Apr 21, 2008, 12:09 AM
- to [Technology] Fav pt Apple Bar by djdmsr on Apr 21, 2008, 12:09 AM
- to [Technology] Fav pt Apple Bar by djdmsr on Apr 21, 2008, 12:09 AM
- to [Technology] Fav pt Apple Bar by djdmsr on Apr 21, 2008, 12:09 AM
- to [Technology] Fav pt Apple Bar by djdmsr on Apr 21, 2008, 12:09 AM
- to [Technology] Fav pt Apple Bar by djdmsr on Apr 21, 2008, 12:09 AM
- to [Technology] Fav pt Apple Bar by djdmsr on Apr 21, 2008, 12:09 AM
- to [Technology] Fav pt Apple Bar by djdmsr on Apr 21, 2008, 12:09 AM
- to PT news2.0 by canalsouk and 2 other people on Jan 11, 2007, 9:51 PM
- to PT news2.0 by canalsouk and 1 other person on Jan 11, 2007, 9:48 PM
- to PT news2.0 by canalsouk and 1 other person on Jan 11, 2007, 9:37 PM
- to PT news2.0 by canalsouk and 1 other person on Jan 11, 2007, 9:29 PM
- to politics política social Brasil pt web cidadania internet culture by kleverson on May 22, 2006, 3:17 PM
publications
Robert Joan-Arinyo and M. V. Luzón and Antoni Soto-Riera PPSN, volume2439ofLecture Notes in Computer Science, page759-768. Springer, (
2002)
to root pt constraint geometric selection solving by toni and 1 other person on Jun 3, 2008, 12:59 PM- to dynamic openmath pt CAS geometry by toni and 1 other person on May 22, 2008, 4:35 PM
- to dynamic complexity pt geometry by toni on May 22, 2008, 2:19 PM
Francisco Botana and José Valcarce Computational Science – ICCS 2006(
2006)
to dynamic pt CAS geometry by toni and 1 other person on May 22, 2008, 2:18 PMFrancisco Botana Computational Science — ICCS 2002(
2002)
to dynamic pt CAS geometry by toni and 1 other person on May 22, 2008, 2:08 PMPredrag Janičić Mathematical Software - ICMS 2006(
2006)
to dynamic theorem pt proving geometry by toni on May 22, 2008, 2:02 PMPedro Quaresma and Predrag Janicic Electronic Notes in Theoretical Computer Science174(2):35--48#may#2007. to systems dynamic software automated theorem for Web pt interfaces proving proof geometry by toni and 1 other person on May 22, 2008, 1:57 PM- to dynamic theorem pt proving geometry by toni on May 22, 2008, 1:53 PM
Yves Bertot and Frédérique Guilhot and Loïc Pottier Electronic Notes in Theoretical Computer Science#nov#2004. to dynamic theorem pt proving geometry by toni and 1 other person on May 22, 2008, 1:45 PMSean Wilson and Jacques D. Fleuriot Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS) Satellite Workshop on User Interfaces for Theorem Provers (UITP), Edinburgh, UK, April2005. to dynamic theorem pt proving geometry by toni on May 22, 2008, 1:37 PM- to pt constraint tree-decomposition geometric solving by toni on May 22, 2008, 1:30 PM
- to pt constraint tree-decomposition geometric solving by toni and 1 other person on May 22, 2008, 1:24 PM
María González-López International Journal of Computers for Mathematical Learning6(2):127--142#may#2001. to dynamic physical pt motion simulation geometry by toni on May 22, 2008, 1:11 PM- to dynamic pt geometry by toni on May 22, 2008, 1:03 PM
- to dynamic pt CAS geometry by toni on May 22, 2008, 12:53 PM
- to dynamic pt CAS geometry by toni and 1 other person on May 22, 2008, 12:43 PM
Francisco Botana and Tomás Recio Automated Deduction in Geometry(
2006)
to dynamic pt CAS geometry by toni on May 22, 2008, 12:38 PM- to dynamic pt CAS geometry by toni and 1 other person on May 22, 2008, 12:33 PM
Jürgen Richter-Gebert and Dongming Wang
(eds.).
volume2061ofLecture Notes in Computer Science, Springer, (
2001)
to pt by toni and 1 other person on May 21, 2008, 12:57 PMUlrich Kortenkamp and Jürgen Richter-Gebert Automated Deduction in Geometry, volume2061ofLecture Notes in Computer Science, page193-198. Springer, (
2000)
to pt by toni and 1 other person on May 21, 2008, 12:57 PM
