Results 261 to 270 of about 2,419,527 (287)
Some of the next articles are maybe not open access.

A Survey on Mathematical Proofs Among Teachers

Frontiers of Education in China, 2009
Jiansheng Bao
exaly  

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

Journal of Automated Reasoning, 2018
Adam Grabowski   +2 more
exaly  

Autograding Mathematical Induction Proofs With Natural Language Processing

International Journal of Artificial Intelligence in Education
Mariana Silva   +2 more
exaly  

Home - About - Disclaimer - Privacy