The reader may publish an article in the journal, provided the article contains a new computer-generated theorem, a proof of computer-generated theorem, a theorem deduced from computer-generated theorem, or an application of computer-generated result.
The students and teachers are especially invited to participate. The best articles will be included in the Articles section of this encyclopedia.