#### Filter Results:

- Full text PDF available (6)

#### Publication Year

2014

2016

- This year (0)
- Last 5 years (5)
- Last 10 years (5)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

Cylindrical algebraic decomposition(CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. When using CAD, there is often a choice for the ordering placed on the variables. This can be important, with some problems infeasible with one variable ordering but easy with another. Machine learning… (More)

Obtaining accurate models of systems which are prone to failures and breakdowns is a difficult task. In this paper we present a methodology which makes the task of modeling failure prone discrete event systems (DESs) considerably less cumbersome, less error prone, and more user-friendly. The task of obtaining commonly used au-tomata models for DESs is… (More)

Interaction of multiple discrete event systems (DESs) represented as automata are carried out using composition operations. These operations on automata enforce concurrency, wherein an event exists in the composed automaton if it exists in the participating states of the interacting automata possessing the event in their event set. Heymann generalized this… (More)

- Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson
- 2016 18th International Symposium on Symbolic and…
- 2016

Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. However, it can be expensive, with worst case complexity doubly exponential in the size of the input. Hence it is important to formulate the problem in the best manner for the CAD algorithm. One… (More)

- Zongyan Huang
- 2016

Computer algebra is a fundamental research field of computer science, and computer algebra systems are used in a wide range of problems, often leading to significant savings of both time and effort. However, many of these systems offer different heuristics, decision procedures, and parameter settings to tackle any given problem, and users need to manually… (More)

- Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
- ACM Comm. Computer Algebra
- 2014

Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use, with some problems infeasible in one ordering but simple in another. Here we discuss a recent experiment comparing three heuristics for making this choice on thousands of… (More)

- ‹
- 1
- ›