Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)

Author(s):  
Pedro Quaresma
Author(s):  
Shang-Ching Chou ◽  
Gao Xiao-Shan ◽  
Liu Zhuo-Jun ◽  
Wang Ding-Kang ◽  
Wang Dongming

2021 ◽  
Vol 51 (4) ◽  
pp. 4-5
Author(s):  
Frederic Green

The three books reviewed in this column are about central ideas in algorithms, complexity, and geometry. The third one brings together topics from the first two by applying techniques of both property testing (the subject of the first book) and parameterized complexity (including its more focused incarnation studied in the second book, kernelization) to geometric problems.


OPSEARCH ◽  
1999 ◽  
Vol 36 (1) ◽  
pp. 42-50
Author(s):  
R. Chandrasekaran ◽  
Santosh N. Kabadi

1976 ◽  
pp. 157-162
Author(s):  
George Pólya ◽  
Gabor Szegö
Keyword(s):  

1976 ◽  
pp. 366-379
Author(s):  
George Pólya ◽  
Gabor Szegö
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document