International Journal of Computer Discovered Mathematics
The International Journal of Computer Discovered Mathematics (formerly Journal of Computer-Generated Euclidean Geometry) is the first journal devoted to computer-generated mathematics.
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.