First Page | Document Content | |
---|---|---|
Date: 2007-07-13 04:34:22Differentiation rules Number theory Polynomials Lie algebras Smooth functions | CC(X): Efficiently Combining Equalities and Solvable Theories without Canonizers Sylvain Conchon, Evelyne Contejean and Johannes Kanig ProVal Project UniversitĀ“e Paris Sud / CNRS / INRIAAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source WebsiteFile Size: 295,14 KBShare Document on Facebook |