Transformers for symbolic computation and formal deduction (2000)

by W M Farmer, M v Mohrenschildt
Venue:Proceedings of the Workshop on the Role of Automated Deduction in Mathematics, CADE-17