This repository contains some example code I wrote while working through the following paper (unaffiliated) and experimenting with the topic: Małgorzata Biernacka, Witold Charatonik, and Tomasz Drab, ...

The Abstract Calculus is a minimal programming language and model of computation obtained by slightly modifying the Lambda Calculus so that it matches perfectly the abstract part of Lamping's optimal ...

Abstract: This article introduces a refinement of the sequent calculus approach called cirquent calculus. Roughly speaking, the difference between the two is that, while in Gentzen-style proof trees ...

Abstract: This study investigates the effectiveness of Guided Problem-Based Learning (Guided PrBL) in calculus education for first-year engineering students. PrBL guided by calculus is a teaching ...

Why is mathematics so complicated? It’s a question many students will ask while grappling with a particularly complex calculus problem — and their teachers will probably echo while setting or marking ...