Login / Signup
Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method.
Irina Tchoupaeva
Published in:
Automated Deduction in Geometry (2002)
Keyphrases
</>
free form
segmentation method
significant improvement
detection method
machine learning
preprocessing
pairwise
support vector machine
high accuracy
computational efficiency
neural network
objective function
basis functions