Implementing Operational calculus on programming spaces for Differentiable computing

12/08/2016
by   Žiga Sajovic, et al.
0

We provide an illustrative implementation of an analytic, infinitely-differentiable virtual machine, implementing infinitely-differentiable programming spaces and operators acting upon them, as constructed in the paper Operational calculus on programming spaces. Implementation closely follows theorems and derivations of the paper, intended as an educational guide for those transitioning from automatic differentiation to this general theory.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/08/2016

Automatic Differentiation: a look through Tensor and Operational Calculus

In this paper we take a look at Automatic Differentiation through the ey...
research
10/25/2016

Operational calculus on programming spaces

In this paper we develop operational calculus on programming spaces that...
research
12/31/2020

Differentiable Programming à la Moreau

The notion of a Moreau envelope is central to the analysis of first-orde...
research
07/13/2022

Distribution Theoretic Semantics for Non-Smooth Differentiable Programming

With the wide spread of deep learning and gradient descent inspired opti...
research
11/11/2019

A Simple Differentiable Programming Language

Automatic differentiation plays a prominent role in scientific computing...
research
12/05/2018

Gems of Corrado Böhm

The main scientific heritage of Corrado Böhm is about computing, both co...
research
04/16/2019

The Geometry of Bayesian Programming

We give a geometry of interaction model for a typed lambda-calculus endo...

Please sign up or login with your details

Forgot password? Click here to reset