Automatically proving mathematical theorems with evolutionary algorithms and proof assistants. - Li-An Yang; Jui-Pin Liu; Chao-Hong Chen; Ying-Ping Chen (CEC, 2016)