EasyChair Smart SlideUser guide
Author: Lawrence C. Paulson

This page shows all presentations of this author published in EasyChair Smart Slide.

Formalising Fisher’s Inequality: Formal Linear Algebraic Techniques in Combinatorics

Formalising Fisher’s Inequality: Formal Linear Algebraic Techniques in Combinatorics

Chelsea Edmonds and Lawrence C. Paulson

Bayesian Optimisation with Gaussian Processes for Premise Selection

Bayesian Optimisation with Gaussian Processes for Premise Selection

Agnieszka Słowik, Chaitanya Mangla, Mateja Jamnik, Sean Holden and Lawrence Paulson

How to write research papers, or don't make your readers scream!

How to write research papers, or don't make your readers scream!

Lawrence C. Paulson

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair