## Fereydoon_Shekofte

Mr. Fereydoon Shekofte

## 223 Reputation

14 years, 346 days

## Social Networks and Content at Maplesoft.com

http://forum.imagej.net/ http://imagej.1557.x6.nabble.com/

## "Proof Assistant" in to do list of Maple...

Maple

salute ! all Maplesoft managers and employee programers ...

Is there any fortune in near future to have some kind of machin based "Proof Assistant" as built in part of Maple IDE ?

it can be better than COQ ?

also there is a great lack of user interactivity by Geometry and Geometry3d packages of maple !!!

for example most of the time it is nessesary (and more facilated) to define geometrical primitive shapes manually or making simple transformations and dissectings attaching ... rather than doing them programaticaly or by commands ?

even having traditional tools like compass ruler ... in pallettes of Geometry window ?

BEST WISHES FOR MAPLESOFT

Maple

## How to symbolically solve the parametric...

Maple 18

I want to calculate the ratio of the length of day and night for every latitude on earth ?
but i confused on using Maple in a wise way for finding the formula !
this is my demonstration :

Equations

the grat circle that divides the earth's surface into two dark and bright sides

 >
 (1.1)

circle of revolving of a point on earth in 24 hours

 >
 (1.2)

Visualization of dark and bright side the of earth

 >
 >

## How to model Moon tilt illusion?...

Maple

I never expected that the reflected light direction of sun from moon in the sky would be so dificult to imagine ...

at the following article mentioned :

we derive an equation for the magnitude of the moon tilt illusion that can be applied to all con gurations of sun and moon in the sky.

THE MOON TILT ILLUSION

since the calculations contains many steps and high level mathematical formula , there is no way rather to recourse to maple (powerful math assistant )

I hope there was adaptations between a lots of functions and predefined schema of maple and this problem so that the calculations and visualization facilitated several times ?

your effort will be a graet present for all the people of the world that look to the moon crescent everytime !

## How to query for the SIZE of a varibale ...

Is there any command in maple that can show us an assigned varibale how much bytes occupied on memory ?

a:=["just a string", 3.14 , 123 , x/y]

d:=array( 1 .. 2, 1 .. 2, [( 1, 1 ) = ("just a string"), ( 1, 2 ) = (3.14), ( 2, 1 ) = (123), ( 2, 2 ) = (x/y)  ] )

c:=a x^2 + b x + c

 >
 (1)
 >

It should be great for benchmarking !

 1 2 3 4 5 Page 2 of 5
﻿