Convex geometryIn mathematics, convex geometry is the branch of geometry studying convex sets, mainly in Euclidean space. Convex sets occur naturally in many areas: computational geometry, convex analysis, discrete geometry, functional analysis, geometry of numbers, integral geometry, linear programming, probability theory, game theory, etc. According to the Mathematics Subject Classification MSC2010, the mathematical discipline Convex and Discrete Geometry includes three major branches: general convexity polytopes and polyhedra discrete geometry (though only portions of the latter two are included in convex geometry).
PyramideEn géométrie, une pyramide (du grec ancien ) à n côtés est un polyèdre à n + 1 faces, formé en reliant une base polygonale de n côtés à son sommet ou sommet opposé à la base (également appelé apex), par n faces triangulaires (n ≥ 3). Lorsque cela n'est pas précisé, la base est supposée carrée. Pour une pyramide triangulaire chaque face peut servir de base, avec le sommet opposé pour apex. Le tétraèdre régulier, un des solides de Platon, est une pyramide triangulaire.
Théorème de Carathéodory (géométrie)vignette|Par exemple le point (1/4, 1/4) de l'enveloppe convexe des points (0, 0), (1, 0), (1, 1), (0, 1) se trouve dans l'intérieur du triangle (0, 0), (1, 0), (0, 1). Le théorème de Carathéodory est un théorème de géométrie relatif aux enveloppes convexes dans le contexte des espaces affines de dimension finie. Dans le plan, il affirme que tout point dans l'enveloppe convexe d'un ensemble de points est dans l'intérieur d'un triangle dont les sommets sont dans (l'enveloppe convexe d'un ensemble de points est l'ensemble des barycentres de trois points de ).
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Principe de moindre actionLe principe de moindre action est le principe physique selon lequel la dynamique d'une quantité physique (la position, la vitesse et l'accélération d'une particule, ou les valeurs d'un champ en tout point de l'espace, et leurs variations) peut se déduire à partir d'une unique grandeur appelée action en supposant que les valeurs dynamiques permettent à l'action d'avoir une valeur optimale entre deux instants donnés (la valeur est minimale quand les deux instants sont assez proches).
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Mécanique célestethumb|Paramètres d'une orbite elliptique. La mécanique céleste décrit le mouvement d'objets astronomiques tels que les étoiles et planètes à l'aide de théories physiques et mathématiques. Les domaines de la physique les plus directement concernés sont la cinématique et la dynamique (classique ou relativiste). Dans l'Antiquité, on distingue la mécanique céleste de la mécanique terrestre, les deux mondes étant considérés comme étant régis par des lois complètement différentes (ici-bas, les « choses » « tombent », là-haut elles se « promènent »).
CuboidIn geometry, a cuboid is a hexahedron, a six-faced solid. Its faces are quadrilaterals. Cuboid means "like a cube". A cuboid is like a cube in the sense that by adjusting the lengths of the edges or the angles between faces a cuboid can be transformed into a cube. In mathematical language a cuboid is a convex polyhedron whose polyhedral graph is the same as that of a cube. A special case of a cuboid is a rectangular cuboid, with six rectangles as faces. Its adjacent faces meet at right angles.
Ligne polygonalevignette|Ligne brisée En mathématiques, une ligne polygonale ou une ligne brisée est une figure géométrique formée d’une suite de segments de droites reliant une suite de points. Une ligne brisée fermée constitue un polygone. En jargon informatique, notamment géomatique, une ligne polygonale est par apocope couramment nommée polyligne. Elle peut alors être formée de segments de droites ou de segments de courbes. Soient A, A, A, ... , A, n points (n ≥ 2) du plan affine euclidien usuel, ou d'un espace affine plus général.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Physique mathématiqueLa physique mathématique est un domaine de recherche commun à la physique et aux mathématiques s'intéressant au développement des méthodes mathématiques spécifiques aux problèmes physiques ou plus généralement à l'application des mathématiques à la physique, et, à l'opposé, aux développements mathématiques que suscitent certains domaines de recherche en physique. Elle inclut notamment l'étude des systèmes dynamiques, des algèbres aux symétries particulières, des méthodes de décomposition en séries et des méthodes de résolution d'équations différentielles.
