EasyChair Smart SlideUser guide
Author: Matthew England

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

Towards Incremental Cylindrical Algebraic Decomposition in Maple

Towards Incremental Cylindrical Algebraic Decomposition in Maple

Alexander Imani Cowen-Rivers and Matthew England

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

Casey Mulligan, Russell Bradford, James H. Davenport, Matthew England and Zak Tonks

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