SYNASC 2019

21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Menu

Skip to content

James Davenport

James Davenport
University of Bath, UK

Title: Recent developments in Cylindrical Algebraic Decomposition and Quantifier Elimination

General information
Registration
Program
Committees
Invited speakers
Tutorials and Trainings
- Tutorial: Homotopy continuation and numerical algebraic geometry using Bertini
- Tutorial: The Science, Art and Magic of Constrained Horn Clauses
Submission
Publication
Tracks
Workshops
Conference fees
Venue
Travel arrangements
Accommodation
Sponsors
Contact
Previous editions

Department of Computer Science, West University of Timisoara, Romania
Proudly powered by WordPress
2024 - Copyright(c)