I think the problem is that a muliplication sign is missing before the last factor of the denominator of A  .

 

On the pages 10 - 17 of this document there are a list of  the features of this library, unfortunately it is not the latest version:

http://writers.fultus.com/aladjev/ebooks/Victor_Aladjev_New_Software_Toolbox_for_Maple.pdf

On the pages 10 - 17 of this document there are a list of  the features of this library, unfortunately it is not the latest version:

http://writers.fultus.com/aladjev/ebooks/Victor_Aladjev_New_Software_Toolbox_for_Maple.pdf

You can try this:

convert( exp(x), Sum);

or in a nicer form:

convert( exp(x), Sum, x=0, dummy = n);

You can also ask the FunctionAdvisor:

FunctionAdvisor( sum, exp );

 

Your first problem can be solved this way:

F := 1/((1-s)^(1/2));

convert(F, Sum, include = powers, dummy = k);

 See it in the help:

?convert/Sum

?taylor

 

 

You can try this:

convert( exp(x), Sum);

or in a nicer form:

convert( exp(x), Sum, x=0, dummy = n);

You can also ask the FunctionAdvisor:

FunctionAdvisor( sum, exp );

 

Your first problem can be solved this way:

F := 1/((1-s)^(1/2));

convert(F, Sum, include = powers, dummy = k);

 See it in the help:

?convert/Sum

?taylor

 

 

Thank you, Acer. 

I have to read the help pages on the local names, this was new for me.

Thank you, Acer. 

I have to read the help pages on the local names, this was new for me.

You can use the geometry package to plot a triangle: restart; with(geometry): point(A, 0, 0): point(B, 3, 3): point(C, 0, 2): triangle(T1, [A, B, C]): draw(T1, printtext = true, axes = none, color = green, filled = true, title = "My triangle");

The FromDigits command can be used in Maple: restart; with(MmaTranslator[Mma]): FromDigits([1, 7, 5]);

restart; f:= proc(n) local prd, i; global x; prd := 1; for i to n do prd := prd*x[i]: end do: end proc; diff(f(3),x[1]);

restart; f:= proc(n) local prd, i; global x; prd := 1; for i to n do prd := prd*x[i]: end do: end proc; diff(f(3),x[1]);

Hello Jacques and Stephen, Thank you for your detailed answers. I understood the main problems of integrating of a theorem prover system in maple. What do you think about the possible cooperation between maple and a standalone theorem prover system? As I mentioned I've read about PVS's interface to maple. (I have not tried it, because it is on Linux, and I am on windows, but I found it interesting.) Can it be feasible and useful to combine the power of maple and a standalone theorem prover system to extend the mathematical capabilities and correctness of maple? (To reach such theorem prover capabilities from maple, perhaps with a similar-to-maple syntax, or using of such capabilities by maple commands in the background.) Best regards Zsolt

Hello! I've read about the PVS theory prover system that has got an interface to maple. This system can be used for example to check the continuity of a function in a more reliable way than with the is command. You can find here some examples: http://www.csl.sri.com/users/owre/papers/tphols01/tphols01.pdf

Thank you for the solution. I can calculate also the standard deviation using this method.

Thank you for the solution. I can calculate also the standard deviation using this method.