A general framework to build contextual cover set
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
A new symbolic method for solving linear two-point boundary value problems on the level of operators
Journal of Symbolic Computation
Combining equational reasoning
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
An algebraic approach for the unsatisfiability of nonlinear constraints
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Hi-index | 0.00 |