571 Reputation

17 years, 278 days
Technical professional in industry or government
Budapest, Hungary

missing multiplication sign...

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:

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:

Sum form...

You can try this:

convert( exp(x), Sum);

or in a nicer form:

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

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

Sum form...

You can try this:

convert( exp(x), Sum);

or in a nicer form:

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

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.

another way...

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");

or using MmaTranslator...

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

It works with x as global...

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]);

It works with x as global...

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]);

Cooperation between maple and a standalo...

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

maple and pvs...

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....

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

Thank you for the solution....

Thank you for the solution. I can calculate also the standard deviation using this method.
 5 6 7 8 Page 7 of 8
﻿