has subject area 0101 Pure Mathematics (FoR) 0103 Numerical and Computational Mathematics (FoR) 0802 Computation Theory and Mathematics (FoR)
keywords CONJECTURE CONSTRUCTION Mathematics PROOF Physical Sciences Science & Technology TRIPLE-SYSTEMS