This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Continue readingThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Continue readingCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Continue reading