Symbolicsthumb|Clavier de la machine Lisp Symbolics 3600 Symbolics (Symbolics, Inc) est une entreprise informatique américaine fondée en 1979 par Russell Noftsker dont l'objectif était de commercialiser les machines Lisp du laboratoire d'intelligence artificielle du MIT. Symbolics représente la principale raison qui motiva Richard Stallman dans son projet GNU. Stallman commença par s'attaquer directement à Symbolics en implémentant le code de leur machine Lisp dans le sien, puis en transmettant ce travail à leur concurrent.
Induction électriqueEn électromagnétisme, l’induction électrique, notée , représente en quelque sorte la densité de charge par unité d'aire (en ) ressentie en un certain point : par exemple, une sphère de rayon entourant une charge subit à cause d'elle en chacun de ses points un certain champ électrique, identique à celui qu'engendrerait la même charge uniformément répartie sur l'aire de la sphère. La densité de charge surfacique ainsi obtenue est alors l'intensité de l'induction électrique.
Méthode itérativeEn analyse numérique, une méthode itérative est un procédé algorithmique utilisé pour résoudre un problème, par exemple la recherche d’une solution d’un système d'équations ou d’un problème d’optimisation. En débutant par le choix d’un point initial considéré comme une première ébauche de solution, la méthode procède par itérations au cours desquelles elle détermine une succession de solutions approximatives raffinées qui se rapprochent graduellement de la solution cherchée. Les points générés sont appelés des itérés.
Géométrie algébriqueLa géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces...) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation ). La simplicité de cette définition fait qu'elle embrasse un grand nombre d'objets et qu'elle permet de développer une théorie riche.
Heun's methodIn mathematics and computational science, Heun's method may refer to the improved or modified Euler's method (that is, the explicit trapezoidal rule), or a similar two-stage Runge–Kutta method. It is named after Karl Heun and is a numerical procedure for solving ordinary differential equations (ODEs) with a given initial value. Both variants can be seen as extensions of the Euler method into two-stage second-order Runge–Kutta methods.
PiézoélectricitéLa piézoélectricité (du grec πιέζειν, piézein, presser, appuyer) est la propriété que possèdent certains matériaux de se polariser électriquement sous l’action d’une contrainte mécanique et réciproquement de se déformer lorsqu’on leur applique un champ électrique. Les deux effets sont indissociables. Le premier est appelé effet piézoélectrique direct ; le second effet piézoélectrique inverse. Cette propriété trouve un très grand nombre d’applications dans l’industrie et la vie quotidienne.
Méthode de JacobiLa méthode de Jacobi, due au mathématicien allemand Karl Jacobi, est une méthode itérative de résolution d'un système matriciel de la forme Ax = b. Pour cela, on utilise une suite x qui converge vers un point fixe x, solution du système d'équations linéaires. On cherche à construire, pour x donné, la suite x = F(x) avec . où est une matrice inversible. où F est une fonction affine. La matrice B = MN est alors appelée matrice de Jacobi.
Exact solutions in general relativityIn general relativity, an exact solution is a solution of the Einstein field equations whose derivation does not invoke simplifying assumptions, though the starting point for that derivation may be an idealized case like a perfectly spherical shape of matter. Mathematically, finding an exact solution means finding a Lorentzian manifold equipped with tensor fields modeling states of ordinary matter, such as a fluid, or classical non-gravitational fields such as the electromagnetic field.
MicrophoneUn microphone (souvent appelé micro par apocope) est un transducteur électroacoustique, c'est-à-dire un appareil capable de convertir un signal acoustique en signal électrique. L'usage de microphones est aujourd'hui largement répandu et concourt à de nombreuses applications pratiques : télécommunications (téléphone, radiotéléphonie, Interphone, systèmes d'intercommunication) ; sonorisation ; radiodiffusion et télévision ; enregistrement sonore notamment musical ; mesure acoustique.
Plane stressIn continuum mechanics, a material is said to be under plane stress if the stress vector is zero across a particular plane. When that situation occurs over an entire element of a structure, as is often the case for thin plates, the stress analysis is considerably simplified, as the stress state can be represented by a tensor of dimension 2 (representable as a 2×2 matrix rather than 3×3). A related notion, plane strain, is often applicable to very thick members.
