Journals in DBLP

Appl. Algebra Eng. Commun. Comput.
2007, volume: 18, number: 6

1. 
   Editorial. [Citation Graph (, )][DBLP]
   
   
2. 
   Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. [Citation Graph (, )][DBLP]
   
   
3. 
   Testing elementary function identities using CAD. [Citation Graph (, )][DBLP]
   
   
4. 
   Weak quantifier elimination for the full linear theory of the integers. [Citation Graph (, )][DBLP]
   
   
5. 
   Quantifier elimination supported proofs in the numerical treatment of fluid flows. [Citation Graph (, )][DBLP]
   
   
6. 
   Parametrizing compactly supported orthonormal wavelets by discrete moments. [Citation Graph (, )][DBLP]
   
   
7. 
   On systems of algebraic equations with parametric exponents II. [Citation Graph (, )][DBLP]