Système de calcul formelUn système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation des expressions mathématiques sous leur forme symbolique. Les expressions peuvent être : des polynômes avec de multiples variables ; des fonctions (fonctions trigonométriques, exponentielle, etc.) ; des fonctions spéciales (gamma, zêta, erf, Bessel, etc.
Structure de donnéesEn informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement. Une structure de données est une mise en œuvre concrète d'un type abstrait. Pour prendre un exemple de la vie quotidienne, on peut présenter des numéros de téléphone par département, par nom, par profession (comme les Pages jaunes), par numéro téléphonique (comme les annuaires destinés au télémarketing), par rue et/ou une combinaison quelconque de ces classements.
Impression éléganteEn typographie informatique, un système d’impression élégante, également désigné sous l’appellation anglaise pretty-print, est une application permettant la mise en forme de l'agencement de textes. Ces conventions de mise en forme comportent généralement des changements dans le positionnement, l'espacement, la couleur, ou la taille du texte pour rendre celui-ci plus lisible. En mathématiques l’impression élégante désigne généralement l’affichage d’expressions mathématiques conforment aux exigences de composition calligraphique de la discipline.
Passive data structureIn computer science and object-oriented programming, a passive data structure (PDS), also termed a plain old data structure or plain old data (POD), is a record, in contrast with objects. It is a data structure that is represented only as passive collections of field values (instance variables), without using object-oriented features. Passive data structures are appropriate when there is a part of a system where it should be clearly indicated that the detailed logic for data manipulation and integrity are elsewhere.
HaskellHaskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire. Son nom vient du mathématicien et logicien Haskell Curry. Il a été créé en 1990 par un comité de chercheurs en théorie des langages intéressés par les langages fonctionnels et l'évaluation paresseuse. Le dernier standard est Haskell 2010 : c'est une version minimale et portable du langage conçue à des fins pédagogiques et pratiques, dans un souci d'interopérabilité entre les implémentations du langage et comme base de futures extensions.
Midrange computerMidrange computers, or midrange systems, were a class of computer systems that fell in between mainframe computers and microcomputers. This class of machine emerged in the 1960s, with models from Digital Equipment Corporation (PDP line), Data General (NOVA), Hewlett-Packard (HP3000) widely used in science and research as well as for business - and referred to as minicomputers. IBM favored the term "midrange computer" for their comparable, but more business-oriented systems.
Axiom (logiciel)Axiom est un logiciel libre de calcul formel dont l'origine remonte à 1971. Nommé au départ Scratchpad, son développement a commencé chez IBM sur la base d'un logiciel d'algèbre linéaire. Pendant près de 20 ans, il a eu un processus de développement lent dans le but de tester de nouvelles idées en mathématiques appliquées. En 1990, il a été vendu au Numerical Algorithms Group (NAG) et a pris le nom d'Axiom. Le NAG a ensuite décidé de le publier sous forme de logiciel libre.
