Search Results for author: Li-An Yang

Found 1 papers, 1 papers with code

Date Published Github Stars

Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants

1 code implementation • 24 Feb 2016 • Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-ping Chen

Mathematical theorems are human knowledge able to be accumulated in the form of symbolic representation, and proving theorems has been considered intelligent behavior.

Evolutionary Algorithms Sentence

1
Paper
Code
Cannot find the paper you are looking for? You can Submit a new open access paper.
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy