Problème de décisionEn informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ». Les logiciens s'y sont intéressés à cause de l'existence ou de la non-existence d'un algorithme répondant à la question posée. Les problèmes de décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l'arrêt, le problème de correspondance de Post ou le dernier théorème de Fermat.
Forme différentielleEn géométrie différentielle, une forme différentielle est la donnée d'un champ d'applications multilinéaires alternées sur les espaces tangents d'une variété différentielle possédant une certaine régularité. Le degré des formes différentielles désigne le degré des applications multilinéaires. La différentielle d'une fonction numérique peut être regardée comme un champ de formes linéaires : c'est le premier exemple de formes différentielles.
Méthode du gradient conjuguévignette|Illustration de la méthode du gradient conjugué. En analyse numérique, la méthode du gradient conjugué est un algorithme pour résoudre des systèmes d'équations linéaires dont la matrice est symétrique définie positive. Cette méthode, imaginée en 1950 simultanément par Cornelius Lanczos, Eduard Stiefel et Magnus Hestenes, est une méthode itérative qui converge en un nombre fini d'itérations (au plus égal à la dimension du système linéaire).
Computational anatomyComputational anatomy is an interdisciplinary field of biology focused on quantitative investigation and modelling of anatomical shapes variability. It involves the development and application of mathematical, statistical and data-analytical methods for modelling and simulation of biological structures. The field is broadly defined and includes foundations in anatomy, applied mathematics and pure mathematics, machine learning, computational mechanics, computational science, biological imaging, neuroscience, physics, probability, and statistics; it also has strong connections with fluid mechanics and geometric mechanics.
Analyse procustéenneEn statistiques, l'analyse procustéenne est une technique pour comparer des formes. Elle est utilisée pour déformer un objet afin de le rendre autant que faire se peut semblable à une référence (potentiellement arbitraire), ne laissant apparaître entre l'objet et la référence que les différences que les transformations autorisées (rotation, translation et mise à l'échelle) n'ont pu gommer. La déformation supprime les différences qui ne sont pas dues à la forme intrinsèque de l'objet (mais par exemple à un biais introduit lors de l'acquisition des données).
Ordered geometryOrdered geometry is a form of geometry featuring the concept of intermediacy (or "betweenness") but, like projective geometry, omitting the basic notion of measurement. Ordered geometry is a fundamental geometry forming a common framework for affine, Euclidean, absolute, and hyperbolic geometry (but not for projective geometry). Moritz Pasch first defined a geometry without reference to measurement in 1882. His axioms were improved upon by Peano (1889), Hilbert (1899), and Veblen (1904).
Navigation à voileLa navigation à voile est l'activité, pour un voilier, de se déplacer grâce à l’énergie fournie par le vent. Les voiliers ont, durant de nombreux siècles, joué un rôle majeur dans le transport, le commerce et la conduite des guerres. À la fin du ils ont été progressivement remplacés par des navires à moteur, qui étaient moins dépendants des conditions météorologiques, ce qui réduisait les temps de transport, et nécessitait moins de personnel permettant ainsi une diminution des coûts de transport.
Dinghy sailingDinghy sailing is the activity of sailing small boats by using five essential controls: the sails the foils (i.e. the daggerboard or centreboard and rudder and sometimes lifting foils as found on the Moth) the trim (forward/rear angle of the boat in the water) side-to-side balance of the dinghy by hiking or movement of the crew, particularly in windy weather ("move fast or swim") the choice of route (in terms of existing and anticipated wind shifts, possible obstacles, other water traffic, currents, tides etc.
Boat racingBoat racing is a sport in which boats, or other types of watercraft, race on water. Boat racing powered by oars is recorded as having occurred in ancient Egypt, and it is likely that people have engaged in races involving boats and other water-borne craft for as long as such watercraft have existed. A regatta is a series of boat races. The term comes from the Venetian language, with regata meaning "contest, contention for mastery"(from regatare ("compete, haggle, sell at retail"), possibly from ''recatare') and typically describes racing events of rowed or sailed water craft, although some powerboat race series are also called regattas.
Hamiltonian path problemIn the mathematical field of graph theory the Hamiltonian path problem and the Hamiltonian cycle problem are problems of determining whether a Hamiltonian path (a path in an undirected or directed graph that visits each vertex exactly once) or a Hamiltonian cycle exists in a given graph (whether directed or undirected). Both problems are NP-complete.
