Formalization and Implementation of Algebraic Methods in Geometry
We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration in educational tools. The project includes formal verification of the algebraic methods within Isabelle/HOL proof assis...
Na minha lista:
| Principais autores: | , , , |
|---|---|
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
Open Publishing Association
2012-02-01
|
| Serier: | Electronic Proceedings in Theoretical Computer Science |
| Online adgang: | http://arxiv.org/pdf/1202.4831v1 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|