1. Basic calculations
Most formal computation systems share the same basic features, which allow them to be used as "formal calculators." In this mode, all simple calculations—whether formal or numerical, including derivatives, integrals, and the plotting of curves or surfaces—are solved as user-friendly as possible.
1.1 Numbers
1.1.1 Integers and rational numbers
The primary feature of formal computation is the manipulation of exact integers and rational numbers, unlike conventional programming languages (such as...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Basic calculations
Article included in this offer
"Mathematics"
(
166 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Books
A very good book in English that describes the algorithms of formal computation: Notre livre décrit de façon détaillée l'utilisation du calcul formel dans la plupart des domaines des mathématiques :...Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!