<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-07-13 04:34:22Differentiation rules Number theory Polynomials Lie algebras Smooth functions |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2007-07-13 04:34:22Differentiation rules Number theory Polynomials Lie algebras Smooth functions |
Add to Reading List |
CC(X): Efficiently Combining Equalities and Solvable Theories without Canonizers Sylvain Conchon, Evelyne Contejean and Johannes Kanig ProVal Project Universit´e Paris Sud / CNRS / INRIA