BibSonomy publications for /author/Janicic http://www.bibsonomy.org/author/Janicic BibSonomy RSS Feed for /author/Janicic GCLC — A Tool for Constructive Euclidean Geometry and More Than That SpringerLink - Book Chapter http://www.bibsonomy.org/bibtex/23ea65248b111221eb3211f9a3f8a9ffd/toni toni 2008-05-22T14:02:56+02:00 dynamic geometry proving pt theorem
GCLC — A Tool for Constructive Euclidean Geometry and More Than That
Predrag Janičić Mathematical Software - ICMS 2006 58--73 (2006)
to dynamic geometry proving pt theorem by toni on 2008-05-22 14:02:56
]]> Automatic Verification of Regular Constructions in Dynamic Geometry Systems SpringerLink - Book Chapter http://www.bibsonomy.org/bibtex/2ef89f20bb3022487552c7ca62d17a296/toni toni 2008-05-22T13:57:57+02:00 dynamic geometry proving theorem
Automatic Verification of Regular Constructions in Dynamic Geometry Systems
Predrag Janičić and Pedro Quaresma Automated Deduction in Geometry 39--51 (2007)
to dynamic geometry proving theorem by toni on 2008-05-22 13:57:57
]]> GeoThms -- a Web System for Euclidean Constructive Geometry ScienceDirect - Electronic Notes in Theoretical Computer Science : GeoThms — a Web System for Euclidean Constructive Geometry http://www.bibsonomy.org/bibtex/2196ed54532dc7430b67ecd8584026832/toni toni 2008-05-22T13:57:07+02:00 Web automated dynamic for geometry interfaces proof proving pt software systems theorem
GeoThms -- a Web System for Euclidean Constructive Geometry
Pedro Quaresma and Predrag Janicic Electronic Notes in Theoretical Computer Science 174 35--48 (2007)
to Web automated dynamic for geometry interfaces proof proving pt software systems theorem by toni and 1 other person on 2008-05-22 13:57:07
]]> System Description: GCLCprover + GeoThms SpringerLink - Book Chapter http://www.bibsonomy.org/bibtex/2aa78cd798983f159bc8e7d50ca9a5822/toni toni 2008-05-22T13:55:34+02:00 dynamic geometry proving theorem
System Description: GCLCprover + GeoThms
Predrag Janičić and Pedro Quaresma Automated Reasoning 145--150 (2006)
to dynamic geometry proving theorem by toni on 2008-05-22 13:55:34
]]> Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories SpringerLink - Book Chapter http://www.bibsonomy.org/bibtex/2a358671b098d0b982c948a8f73a590fe/toni toni 2008-05-22T13:53:16+02:00 dynamic geometry proving pt theorem
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
Pedro Quaresma and Predrag Janičić Mathematical Knowledge Management 280--294 (2006)
to dynamic geometry proving pt theorem by toni on 2008-05-22 13:53:16
]]> Random k-GD-Sat Model and its Phase Transition. dblp http://www.bibsonomy.org/bibtex/2acd3eb7494124db7dfe14d3915edbc59/dblp dblp 2008-03-08T00:00:00+01:00 dblp
Random k-GD-Sat Model and its Phase Transition.
Milena Vujosevic-Janicic and Jelena Tomasevic and Predrag Janicic J. UCS 13 572-591 (2007)
to dblp by dblp on 2008-03-08 00:00:00
]]> Automatic Verification of Regular Constructions in Dynamic Geometry Systems. dblp http://www.bibsonomy.org/bibtex/2952ae6d37731b0a4744b50cab54a5906/dblp dblp 2008-01-04T00:00:00+01:00 dblp
Automatic Verification of Regular Constructions in Dynamic Geometry Systems.
Predrag Janicic and Pedro Quaresma Automated Deduction in Geometry 39-51 (2006)
to dblp by dblp on 2008-01-04 00:00:00
]]> Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. dblp http://www.bibsonomy.org/bibtex/2d9db6a1752eb8a13612d81116d71055e/dblp dblp 2007-09-03T00:00:00+02:00 dblp
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.
Predrag Janicic and Alan Bundy Calculemus/MKM 80-93 (2007)
to dblp by dblp on 2007-09-03 00:00:00
]]> A Variant of N-Gram Based Language Classification. dblp http://www.bibsonomy.org/bibtex/2c3d5e5734f12d42262f65cd70a004330/dblp dblp 2007-08-27T00:00:00+02:00 dblp
A Variant of N-Gram Based Language Classification.
Andrija Tomovic and Predrag Janicic AI*IA 410-421 (2007)
to dblp by dblp on 2007-08-27 00:00:00
]]> GeoThms - a Web System for Euclidean Constructive Geometry. dblp http://www.bibsonomy.org/bibtex/2682b0de13c71bc13f77f443e95bbf75d/dblp dblp 2007-06-01T00:00:00+02:00 dblp
GeoThms - a Web System for Euclidean Constructive Geometry.
Pedro Quaresma and Predrag Janicic Electr. Notes Theor. Comput. Sci. 174 35-48 (2007)
to dblp by dblp and 1 other person on 2007-06-01 00:00:00
]]>