## webDiscovery

swMATH ID: | 10153 |

Software Authors: | Botana, Francisco |

Description: | A web-based intelligent system for geometric discovery. An open web-based tool for automatic discovery in elementary Euclidean geometry, webDiscovery, is described. It is based in recent findings in automatic discovery in geometry. A user-defined geometric construction is uploaded to a Java Servlet server, where two computer algebra systems, CoCoA and Mathematica, return the discovered facts about the construction. webDiscovery can be efficiently used in mathematics education, linkage design and testing and computer aided geometric design. The system can be tested at rosalia.uvigo.es/sdge/web/2D. |

Homepage: | http://link.springer.com/chapter/10.1007/3-540-44860-8_83 |

Related Software: | CoCoA; Lugares; Cinderella; GEX; Geometer's Sketchpad; Mathematica; GeoThms; GeoGebra; GEOTHER 1.1; LAD; TGTP; Python; Matplotlib; JSXGraph; TeX; LaTeX; JGEX; GeoView; gcl; GCLCprover |

Referenced in: | 7 Publications |

all
top 5

### Referenced by 11 Authors

### Referenced in 3 Serials

1 | Mathematics and Computers in Simulation |

1 | Journal of Automated Reasoning |

1 | Annals of Mathematics and Artificial Intelligence |

### Referenced in 4 Fields

7 | Computer science (68-XX) |

3 | Geometry (51-XX) |

1 | Commutative algebra (13-XX) |

1 | Information and communication theory, circuits (94-XX) |