Pattern Calculus: Computing with Functions and Structures

Computable Calculus

Computational Methods In The Fractional Calculus Of Variations

The Calculus of Computation: Decision Procedures with Applications to Verification

Introduction to Calculus: A Computational Approach (Wolfram eTextbook Series)