Applicable algebra and artificial intelligence
Flyspeck II: the basic linear programs
Invariants for the FoCaL language
A Groebner bases-based approach to backward reasoning in rule based expert systems
Short PCPPs verifiable in polylogarithmic time with O (1) queries
Spectral schemes as ringed lattices
Congruence relations on some hyperstructures
On the Vapnik-Chervonenkis dimension of computer programs which use transcendental elementary operations