Searching for "Structures for Symbolic Mathematical Reasoning and Computation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Structures for Symbolic Mathematical Reasoning and Computation
by Karsten Homann, Jacques Calmet — 1996 — Design and Implementation of Symbolic Computation Systems, DISCO'96, number1128 in LNCS
…,calmetg@(email omitted); Abstract. Recent research towards integrating symbolic mathematical reasoning and computation has led…
Cited by 12 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB