CEMAT - Publication

pt | en

Home
Research Areas
Algebra and Computing Applied and Numerical Analysis Mathematical Modeling in Biomedicine Statistics and Stochastic Processes
Members
Publications
Events
Applied and Numerical Analysis Seminar Probability and Statistics Seminar Algebra Seminars CEMAT's Open Seminar Scientific Meetings Courses
Projects
Open Positions
Contacts

Publications > Artigos em Revistas Internacionais

Proof simplification and automated theorem proving

Kinyon, M.

Philosophical Transactions of the Royal Society A, volume 377, issue 2140 (2019),
https://royalsocietypublishing.org/doi/abs/10.1098/rsta.2018.0034

CEMAT - Center for Computational and Stochastic Mathematics

Instituto Superior Têcnico
Faculdade de Ciências
Universidade de Lisboa