Russell Bradford | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Matthew England
37 publications
James H. Davenport
20 publications
Dima Grigoriev
15 publications
Thomas Sturm
10 publications
Andreas Weber
7 publications
Ovidiu Radulescu
6 publications
Hassan Errami
4 publications
Zak Tonks
3 publications
Vladimir Gerdt
3 publications
Charles Hoyt
1 publication
Marek Kosta
1 publication

research

∙ 03/20/2019

Cylindrical Algebraic Decomposition with Equational Constraints

Cylindrical Algebraic Decomposition (CAD) has long been one of the most ...

0 Matthew England, et al. ∙

research

∙ 04/26/2018

Quantifier Elimination for Reasoning in Economics

We consider the use of Quantifier Elimination (QE) technology for automa...

0 Casey B. Mulligan, et al. ∙

research

∙ 04/28/2017

A Case Study on the Parametric Occurrence of Multiple Steady States

We consider the problem of determining multiple steady states for positi...

0 Russell Bradford, et al. ∙

Success!

An error occurred