ADG 2000 International Workshop on Automated Deduction in Geometry
 |  |
Wall of Fame | Most Viewed ADG-2000 Paper
ADG
2000
Springer
14 years 3 months ago
2000
Springer
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website.
Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
| Id | Read | Views | Title | Status |
|---|---|---|---|---|
| 1 |  | 122 | ||
| 2 | | 110 | ||
| 3 | | 84 |