ISSAC

Known as: EUROCAL, SYMSAC 
ISSAC, the International Symposium on Symbolic and Algebraic Computation, is an academic conference in the field of computer algebra. ISSAC has been… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where reachability and some variants of timed model checking… (More)
  • figure 1
Is this relevant?
2014
2014
A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
Review
2013
Review
2013
The International Symposium on Symbolic and Algebraic Computation is the premier conference for research in symbolic computation… (More)
Is this relevant?
2007
2007
We have developed a probabilistic method that uses numerical polynomial homotopy continuation to compute Galois groups of… (More)
  • table 1
  • figure 1
  • figure 2
Is this relevant?
2006
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
We present an algorithm for solving polynomial equations, which uses generalized eigenvalues and eigenvectors of resultant… (More)
Is this relevant?
2003
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
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
Inducfionless induction consists of using pure equational reasoning for proving the validity of an equation in the initial… (More)
Is this relevant?
1986
1986
Programming environments have dramatically improved since the time that the major symbolic computation systems such as MACSYMA… (More)
Is this relevant?