Géométrie synthétiqueLa géométrie synthétique ou géométrie pure est fondée sur une approche axiomatique (donc, « purement logique ») de la géométrie. Elle constitue une branche de la géométrie étudiant diverses propriétés et divers théorèmes uniquement par des méthodes d'intersections, de transformations et de constructions. Elle s'oppose à la géométrie analytique et refuse systématiquement l'utilisation des propriétés analytiques des figures ou l'appel aux coordonnées. Ses concepts principaux sont l'intersection, les transformations y compris par polaires réciproques, la logique.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
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.
Protéine motriceUne protéine motrice, ou un moteur protéique, est une protéine capable de transformer de l'énergie chimique en travail par des modifications de sa conformation. Les moteurs protéiques font partie des moteurs moléculaires. Cependant, il existe dans la nature d'autres processus biologiques générateurs de travail. On peut les regrouper en quatre groupes : les myosines, associées aux filaments d'actine ; les kinésines, associées aux microtubules ; les dynéines, également associées aux microtubules ; les enzymes se déplaçant sur l'ADN ou l'ARN, dont la plus importante est l'ARN polymérase.
Order isomorphismIn the mathematical field of order theory, an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be considered to be "essentially the same" in the sense that either of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embeddings and Galois connections.
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.
Magnitude limite visuelleEn astronomie, la magnitude limite visuelle désigne la magnitude limite, en lumière visible, que peut observer un instrument optique (œil, lunette, télescope, ...). L'œil humain permet de détecter un flux de 50 à 150 photons par seconde de lumière verte, couleur à laquelle les bâtonnets sont le plus sensibles. Ce flux lumineux correspond à une étoile de magnitude 8,5. L’œil humain pourrait donc voir des étoiles de cette magnitude dans le ciel.
Magnitude photographiqueAvant l'apparition des photomètres qui mesurent précisément la luminosité des objets astronomiques, la magnitude apparente d'un objet était obtenue en prenant une photo de celui-ci avec un appareil photographique. Ces images, faites sur des pellicules photographiques ou des plaques orthochromatiques, étaient plus sensibles à l'extrémité bleue du spectre visuel que l'œil humain ou les photomètres modernes.
Aster (biologie)L'aster désigne la formation étoilée de microtubules rayonnant autour du centrosome, et bien visibles au cours de la division cellulaire. Au cours de celle-ci, l'aster se dédouble et les deux structures filles ainsi formées constituent chacune un pôle vers lequel migreront les chromatides sœurs de chaque chromosome, suivant les microtubules du fuseau mitotique auxquels elles sont attachées, par leur kinétochore. Les sites de nucléation de ces microtubules se situent dans le matériel péricentriolaire amorphe qui entoure les centrioles.
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.
