Foundations

09/20/2020
by   Jeremy Avigad, et al.
0

This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/15/2019

Probability Logic

This chapter presents probability logic as a rationality framework for h...
01/10/2015

Autonomous Farm Vehicles: Prototype of Power Reaper

Chapter 2 will begin with introduction of Agricultural Robotics. There w...
09/11/2019

Mathematical Foundations in Visualization

Mathematical concepts and tools have shaped the field of visualization i...
03/05/2018

Dagger and dilations in the category of von Neumann algebras

This doctoral thesis is a mathematical study of quantum computing, conce...
05/05/2021

iCub

In this chapter we describe the history and evolution of the iCub humano...
02/21/2019

The Power of Self-Reducibility: Selectivity, Information, and Approximation

This chapter provides a hands-on tutorial on the important technique kno...
04/01/2019

Natural Deduction Assistant (NaDeA)

We present the Natural Deduction Assistant (NaDeA) and discuss its advan...

Code Repositories

FoundationsEditor

Azure Foundations Editor


view repo

software_foundations_solution

Solutions for software foundations textbook


view repo
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.