English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Mechanical reasoning is a key area of research that lies at the crossroads ofmathematical logic and artificial intelligence. The main aim to developmechanical reasoning systems (also known as theorem provers) was to enablemathematicians to prove theorems by computer programs. However, these toolsevolved with time and now play vital role in the modeling and reasoning aboutcomplex and large-scale systems, especially safety-critical systems.Technically, mathematical formalisms and automated reasoning based-approachesare employed to perform inferences and to generate proofs in theorem provers.In literature, there is a shortage of comprehensive documents that can provideproper guidance about the preferences of theorem provers with respect to theirdesigns, performances, logical frameworks, strengths, differences and theirapplication areas. In this work, more than 40 theorem provers are studied indetail and compared to present a comprehensive analysis and evaluation of thesetools. Theorem provers are investigated based on various parameters, whichincludes: implementation architecture, logic and calculus used, librarysupport, level of automation, programming paradigm, programming language,differences and application areas.

A Survey on Theorem Provers in Formal Methods