# ISSAC

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- RP
- 2015

Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where reachability and some variants of timed model checkingâ€¦Â (More)

Is this relevant?

2014

2014

- CASC
- 2014

A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstlyâ€¦Â (More)

Is this relevant?

Review

2013

Review

2013

- ACM Comm. Computer Algebra
- 2013

The International Symposium on Symbolic and Algebraic Computation is the premier conference for research in symbolic computationâ€¦Â (More)

Is this relevant?

2007

2007

- ACM Comm. Computer Algebra
- 2007

We have developed a probabilistic method that uses numerical polynomial homotopy continuation to compute Galois groups ofâ€¦Â (More)

Is this relevant?

2006

2006

- ACM Comm. Computer Algebra
- 2006

In a sense, knowing what is big and what is small is more important than being able to solve partial differential equationsâ€¦Â (More)

Is this relevant?

2005

2005

- CASC
- 2005

We present an algorithm for solving polynomial equations, which uses generalized eigenvalues and eigenvectors of resultantâ€¦Â (More)

Is this relevant?

2003

2003

- SIGCSE
- 2003

The Indiana Student Software Awards Competition (ISSAC) was created to encourage students in the state of Indiana to improveâ€¦Â (More)

Is this relevant?

1997

1997

- ACM SIGSAM Bulletin
- 1997

We consider the following problem: suppose there exist numerical algorithms for obtaining the parameters of <i>n</i> bestâ€¦Â (More)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- Inf. Comput.
- 1989

Inducfionless induction consists of using pure equational reasoning for proving the validity of an equation in the initialâ€¦Â (More)

Is this relevant?

1986

1986

- ACM SIGSAM Bulletin
- 1986

Programming environments have dramatically improved since the time that the major symbolic computation systems such as MACSYMAâ€¦Â (More)

Is this relevant?