Français
1. What is formal calculation?
1.1 A demonstration with Maple: Villarceau circles
Here's a classic geometry problem that illustrates what Maple can do.
Consider in a plane of space a circle Γ of center ω and radius r and a straight line Δ located at a distance R > r from ω. By rotating this circle around the Δ axis, we obtain the well-known surface known as a torus. Let then be an orthonormal reference frame Oxyz, where O is the projection of ω onto Δ and whose axes are such that Ox = Oω and Oz = Δ. Horizontal planes and planes containing Δ generally intersect ...
The Ultimate Scientific and Technical Reference
This article is included in
Software technologies and System architectures
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
What is formal calculation?
Expressions, the basic objects of formal calculus
Bibliography
Reference works
Software
The examples in this article were written using the most popular version in 2001: Maple V Release 5. However, from Release 4 to the latest Release 7, no essential changes have been made to the software's current operation, and the instructions can be adapted without significant change.
Software supplier: Waterloo Maple Inc.
...
The Ultimate Scientific and Technical Reference
