Fabrication assistée par ordinateurvignette|300px|Disque en alliage chrome-cobalt avec couronnes pour implants dentaires usiné à l'aide du logiciel de FAO WorkNC Dental Le but de la fabrication assistée par ordinateur ou FAO (en anglais, computer-aided manufacturing ou CAM) est d'écrire le fichier contenant le programme de pilotage d'une machine-outil à commande numérique. Ce fichier va décrire précisément les mouvements que doit exécuter la machine-outil pour réaliser la pièce demandée. On appelle également ce type de fichiers : programme ISO ou blocs ISO.
Optimisation combinatoireL’optimisation combinatoire, (sous-ensemble à nombre de solutions finies de l'optimisation discrète), est une branche de l'optimisation en mathématiques appliquées et en informatique, également liée à la recherche opérationnelle, l'algorithmique et la théorie de la complexité. Dans sa forme la plus générale, un problème d'optimisation combinatoire (sous-ensemble à nombre de solutions finies de l'optimisation discrète) consiste à trouver dans un ensemble discret un parmi les meilleurs sous-ensembles (ou solutions) réalisables, la notion de meilleure solution étant définie par une fonction objectif.
Geometric modeling kernelA geometric modeling kernel is a solid modeling software component used in computer-aided design (CAD) packages. Available modelling kernels include: ACIS is developed and licensed by Spatial Corporation of Dassault Systèmes. SMLib is developed by Solid Modeling Solutions. Convergence Geometric Modeler is developed by Dassault Systèmes. Parasolid is developed and licensed by Siemens. Romulus was a predecessor to Parasolid. ShapeManager is developed by Autodesk and was forked from ACIS in 2001.
Optique géométriqueL’optique géométrique est une branche de l'optique qui s'appuie notamment sur le modèle du rayon lumineux. Cette approche simple permet entre autres des constructions géométriques d’images, d’où son nom. Elle constitue l'outil le plus flexible et le plus efficace pour traiter les systèmes dioptriques et catadioptriques. Elle permet ainsi d'expliquer la formation des images. L'optique géométrique (la première théorie optique formulée) se trouve validée a posteriori par l'optique ondulatoire, en faisant l'approximation que tous les éléments utilisés sont de grande dimension devant la longueur d'onde de la lumière.
Géométrie riemanniennevignette|275px|L'étude de la forme de l'univers est une adaptation des idées et méthodes de la géométrie riemannienne La géométrie riemannienne est une branche de la géométrie différentielle nommée en l'honneur du mathématicien Bernhard Riemann, qui introduisit les concepts fondateurs de variété géométrique et de courbure. Il s'agit de surfaces ou d'objets de plus grande dimension sur lesquels existent des notions d'angle et de longueur, généralisant la géométrie traditionnelle qui se limitait à l'espace euclidien.
Algèbre géométrique (structure)Une algèbre géométrique est, en mathématiques, une structure algébrique, similaire à une algèbre de Clifford réelle, mais dotée d'une interprétation géométrique mise au point par David Hestenes, reprenant les travaux de Hermann Grassmann et William Kingdon Clifford (le terme est aussi utilisé dans un sens plus général pour décrire l'étude et l'application de ces algèbres : l'algèbre géométrique est l'étude des algèbres géométriques).
Types of meshA mesh is a representation of a larger geometric domain by smaller discrete cells. Meshes are commonly used to compute solutions of partial differential equations and render computer graphics, and to analyze geographical and cartographic data. A mesh partitions space into elements (or cells or zones) over which the equations can be solved, which then approximates the solution over the larger domain. Element boundaries may be constrained to lie on internal or external boundaries within a model.
Impression 3Dalt=Une grenouille en plastique bleue est en cours de construction par une imprimante 3D|vignette|Objet imprimé en 3D par une Ultimaker 2 Go vignette|Imprimante 3D dans un fab lab béninois.L'impression 3D ou fabrication additive regroupe les procédés de fabrication permettant de créer des pièces en volume par ajout de matière en couches successives. Elle s'oppose à la fabrication soustractive. Cette famille de procédés a commencé à se développer au début des années 1980 avec pour objectif principal de faciliter le prototypage rapide, puisque le coût de production est pratiquement indépendant de la quantité produite.
Statistical shape analysisStatistical shape analysis is an analysis of the geometrical properties of some given set of shapes by statistical methods. For instance, it could be used to quantify differences between male and female gorilla skull shapes, normal and pathological bone shapes, leaf outlines with and without herbivory by insects, etc. Important aspects of shape analysis are to obtain a measure of distance between shapes, to estimate mean shapes from (possibly random) samples, to estimate shape variability within samples, to perform clustering and to test for differences between shapes.
Interprocedural optimizationInterprocedural optimization (IPO) is a collection of compiler techniques used in computer programming to improve performance in programs containing many frequently used functions of small or medium length. IPO differs from other compiler optimizations by analyzing the entire program as opposed to a single function or block of code. IPO seeks to reduce or eliminate duplicate calculations and inefficient use of memory and to simplify iterative sequences such as loops.
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.
Optimisation convexevignette|320x320px|Optimisation convexe dans un espace en deux dimensions dans un espace contraint L'optimisation convexe est une sous-discipline de l'optimisation mathématique, dans laquelle le critère à minimiser est convexe et l'ensemble admissible est convexe. Ces problèmes sont plus simples à analyser et à résoudre que les problèmes d'optimisation non convexes, bien qu'ils puissent être NP-difficile (c'est le cas de l'optimisation copositive). La théorie permettant d'analyser ces problèmes ne requiert pas la différentiabilité des fonctions.
