Basic calculations
Formal calculation

Add to my library

AF1460 V1 Article

Basic calculations


Formal calculation

Authors : Claude GOMEZ, Bruno SALVY

Publication date: April 10, 2008 | Lire en français

Add to my library Add to my library

Logo Techniques de l'Ingenieur You do not have access to this resource.
Request your free trial access! Free trial

Already subscribed?

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

SCROLL TO TOP

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

You do not have access to this resource.
Logo Techniques de l'Ingenieur

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed?


Article included in this offer

"Mathematics"

( 167 articles )

Complete knowledge base

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

View offer details

Dans les ressources documentaires

La fusion multipistes

Au sein des systèmes de surveillance multisenseurs, la fusion multipistes a pour objectif d'éviter la sur...

Méthodes de décomposition de domaines - Notions de base

Actuellement dans l'industrie automobile, en médecine ou astrophysique, les problèmes complexes de calcul...

Tous les livres blancs
Article Le bitcoin est-il nocif pour notre planète ?
30 April 2024
Le bitcoin est-il nocif pour notre planète ?

Le vaste réseau de matériel informatique qui assure le fonctionnement du réseau Bitcoin nécessite une quantité importante d\'énergie. D’où des inquiétudes quant...

Toutes les actualités
Toutes les conférences en ligne
Contact us