Search filters

List of works by James H. Davenport

$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation ⬇️

scientific article published in 2016

A "Piano Movers" Problem Reformulated

article

A Case Study on the Parametric Occurrence of Multiple Steady States

scientific article published in 2017

A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy

scholarly article by Russell J. Bradford et al published 2009 in Lecture Notes in Computer Science

A Global Survey of Introductory Programming Courses

scientific article published on 07 March 2024

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition ⬇️

article

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition ⬇️

article

Computing the real solutions of polynomial systems with the RegularChains library in Maple

Computing with semi-algebraic sets represented by triangular decomposition

scholarly article published 2011

Computing with semi-algebraic sets: Relaxation techniques and effective boundaries

scholarly article by Changbo Chen et al published May 2013 in Journal of Symbolic Computation

Cylindrical algebraic decompositions for boolean combinations

article

Data Without Software Are Just Numbers

scientific article published in 2020

Embedding Technical, Personal and Professional Competencies in Computing Degree Programmes

scientific article published on 03 July 2024

Identifying the parametric occurrence of multiple steady states for some biological networks

Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition ⬇️

article

Lazard-style CAD and Equational Constraints

scientific article published on 05 July 2023

Need Polynomial Systems Be Doubly-Exponential? ⬇️

article

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

scientific article published in May 2018

Optimising Problem Formulation for Cylindrical Algebraic Decomposition

article

P-adic reconstruction of rational numbers

scientific article published in May 1982

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition ⬇️

article

Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc

article

Recent Advances in Real Geometric Reasoning ⬇️

article

Small algorithms for small systems

scholarly article published 23 July 2012

Teaching Programming Competencies: A Role for Craft Computing?

scientific article published on 25 September 2023

The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree ⬇️

article

The Sparsity Challenges

Triangular decomposition of semi-algebraic systems

scholarly article by Changbo Chen et al published February 2013 in Journal of Symbolic Computation

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains ⬇️

article

Truth table invariant cylindrical algebraic decomposition ⬇️

article

Understanding Branch Cuts of Expressions

article

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases ⬇️

article

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

scholarly article

Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition ⬇️

article

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting ⬇️

article

Paulina is supported by:

About Paulina

Help