FORmac DEsk CALculator‎ : un outil de mise au point et d'aide au calcul formel sur ordinateur

FORmac DEsk CALculator‎ : un outil de mise au point et d'aide au calcul formel sur ordinateur

.

Bibliographic Details
Main Author:	Laplace, André
Language:	FRE
Published:	1973
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation FORTRAN calculateur calculs formels FORDECAL batch FORMAC REDUCE LISP systèmes interactifs système d'exploitation calcul symbolique programmation langage MATHLAB ALADIN MACSYMA SCRATCHPAD FINSTER TUTOR SYMFORM
Online Access:	http://tel.archives-ouvertes.fr/tel-00284144 http://tel.archives-ouvertes.fr/docs/00/28/41/44/PDF/These_Laplace.Andre_1973.pdf

Similar Items

Contribution au calcul formel sur ordinateur
by: Siret, Yvon
Published: (1970)

Fonctions holonomes en calcul formel
by: Chyzak, Frédéric
Published: (1998)

Conception d'un service de communication pour systèmes d'exploitation distribués pour grappes de calculateurs: mise en oeuvre dans le système à image unique Kerrighed
by: Gallard, Pascal
Published: (2004)

Calcul formel et parallélisme : résolution de systèmes linéaires
by: Villard, Gilles
Published: (1988)

Modèles formels du calcul quantique : ressources, machines abstraites et calcul par mesure
by: Perdrix, Simon
Published: (2006)

De l'algorithmique à l'arithmétique via le calcul formel
by: Zimmermann, Paul
Published: (2001)

SYPAC : un système expérimental de calcul formel en Pascal
by: Di Scala, Robert-Michel
Published: (1982)

De la géométrie algorithmique au calcul géométrique
by: Pion, Sylvain
Published: (1999)

Détection des valeurs aberrantes dans un échantillon gaussien multidimensionnel
by: Garel, Bernard
Published: (1976)

Conception d'un Cadre Formel d'Interaction pour la Découverte Scientifique Computationelle
by: Dartnell, Christopher
Published: (2008)

Les machines à calculer arithmétiques
by: Saint-Joanis, André
Published: (1951)

Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle
by: Roch, Jean-Louis
Published: (1989)

Contributions au calcul géométrique effectif avec des objets courbes de faible degré
by: Petitjean, Sylvain
Published: (2007)

Calcul formel et nombre de racines d'un polynôme dans le disque unité : applications en automatique et biochimie
by: Gleyse, Bernard
Published: (1986)

Fortran Programs for the Calculation of Most of the Commonly Used Experimental Design Models
by: Greenhalgh, H. Wain
Published: (1967)

Le traitement des commandes dans une partition conversationnelle Fortran sur IRIS 50
by: Chupin, Jean-Claude
Published: (1971)

Calcul formel et parallélisme : bases de Gröbner booléennes, méthodes de calcul. Aapplications, parallélisation
by: Sénéchaud, Pascale
Published: (1990)

Modèle géométrique de calcul : fractales et barrières de complexité
by: Senot, Maxime
Published: (2013)

Quelques propriétés et algorithmes de calcul formel des polynômes symétriques et antisymetriques
by: Galli, Alain
Published: (1979)

Tomographie discrète, calcul quantique et ordonnancement
by: Dürr, Christoph
Published: (2006)

Calculs et visualisation en nombres complexes
by: Testard, Laurent
Published: (1997)

Environnement d'exécution pour des services de calcul à la demande sur des grappes mutualisées
by: Chakode noumowe, Rodrigue
Published: (2012)

Le calcul de réécriture
by: Cirstea, Horatiu
Published: (2010)

Structures et modèles de calculs de réécriture
by: Faure, Germain
Published: (2007)

Résolution numérique de problèmes en contrôle optimal a évolution linéaire et critère quadratique
by: Durand, André
Published: (1968)

Quelques algorithmes systoliques pour le calcul scientifique
by: Robert, Yves
Published: (1982)

Complexité Implicite de Lambda-Calculs Concurrents
by: Madet, Antoine
Published: (2012)

Théorie du contrôle optimal et calcul des variations
by: Atteia, Marc
Published: (1966)

Mouvement, Interaction, Calcul partout et à tout moment avec l'Ordinateur
by: Gouaich, Abdelkader
Published: (2005)

Essai d'une étude statistique des erreurs de calcul
by: Gorog, Etienne
Published: (1961)

Exploitation d'infrastructures hétérogènes de calcul distribué pour la simulation Monte-Carlo dans le domaine médical
by: Pop, Sorina
Published: (2013)

Calculateurs arithmétiques en temps réel
by: Thellier, Pierre
Published: (1962)

Etude d'un modèle abstrait pour une machine LISP et de son implantation
by: Lux, Augustin
Published: (1975)

Un environnement pour le calcul intensif pain à pain
by: Nguyen, The Tung
Published: (2011)

Calcul d'itinéraire multimodal et multiobjectif en milieu urbain
by: Gräbener, Tristram
Published: (2010)

Cohérence de calculs répartis face aux défaillances, à l'anonymat et au facteur d'échelle
by: Bonnet, François
Published: (2010)

Solutions formelles d'équations différentielles‎ : le logiciel de calcul formel DESIR‎ : étude théorique et réalisation
by: Tournier, Evelyne
Published: (1987)

Thermal-hydraulic Fortran program for steady-state calculations of plate-type fuel research reactors
by: Khedr Ahmed
Published: (2008-01-01)

Du support générique d'opérateurs de composition dans les modèles de composants logiciels, application au calcul à haute performance.
by: Bigot, Julien
Published: (2010)

Calcul sur les grands nombres et VLSI : application au PGCD, au PGCD étendu et à la distance euclidienne
by: Bouraoui, Rachid
Published: (1993)