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 Plus annual

Presents the access of premium content as premium feature

Premium Content

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 Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

On the one hand, checking specific termination proofs by hand, say using aparticular collection of matrix interpretations, can be an arduous anderror-prone task. On the other hand, automation of such checks would save timeand help to establish correctness of exam solutions, examples in lecture notesetc. To this end, we introduce a template mechanism for the termination toolTTT2 that allows us to restrict parameters of certain termination methods. Inthe extreme, when all parameters are fixed, such restrictions result in checksfor specific proofs.

TTT2 with Termination Templates for Teaching