Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: GeoGebra Tools with Proof Capabilities   We report about significant enhancements of the complex algebraic geometry
theorem proving subsystem in GeoGebra for automated proofs in Euclidean
geometry, concerning the extension of numerous GeoGebra tools with proof
capabilities. As a result, a number of elementary theorems can be proven by
using GeoGebra's intuitive user interface on various computer architectures
including native Java and web based systems with JavaScript. We also provide a
test suite for benchmarking our results with 200 test cases.

4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg