×

Found 5 Documents (Results 1–5)

An exploration of homotopy solving in Maple. (English) Zbl 1047.65033

Li, Ziming (ed.) et al., Computer mathematics. Proceedings of the sixth Asian symposium (ASCM 2003), Beijing, China, April 17–19, 2003. River Edge, NJ: World Scientific (ISBN 981-238-220-8/hbk). Lect. Notes Ser. Comput. 10, 145-162 (2003).
MSC:  65H10 65L05 68W30 34A34 12Y05 26C10 30C15
PDFBibTeX XMLCite

Reasoning about the elementary functions of complex analysis. (English) Zbl 1042.68128

Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 115-126 (2001).
MSC:  68W30 33F10
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Database

Year of Publication

all top 3

Main Field

Software