Accueil > Dictionnaire > Définitions du mot « solveur »
Solveur
[sɔlvœr]
Définitions de « solveur »
Solveur - Adjectif
-
Personne ou dispositif qui résout un problème ou trouve une solution.
« Un solveur est celui qui, face à l'énigme, oppose la clarté de la solution. »
— (Citation fictive)
Solveur - Nom commun
-
(Informatique) Programme conçu pour résoudre des équations mathématiques ou des problèmes logiques.
« Un solveur, c'est l'algorithme invisible qui transforme les données complexes en solutions claires. »
— (Citation fictive)
Étymologie de « solveur »
Dérivé de solver, avec le suffixe -eur.Usage du mot « solveur »
Évolution historique de l’usage du mot « solveur » depuis 1800
Fréquence d'apparition du mot « solveur » dans le journal Le Monde depuis 1945
Source : Gallicagram. Créé par Benjamin Azoulay et Benoît de Courson, Gallicagram représente graphiquement l’évolution au cours du temps de la fréquence d’apparition d’un ou plusieurs syntagmes dans les corpus numérisés de Gallica et de beaucoup d’autres bibliothèques.
Citations contenant le mot « solveur »
-
Sirui Li, Zhongxia Yan et Cathy Wu, professeure adjointe en développement de carrière Gilbert W. Winslow, membre du département en génie civil et environnemental et de l’Institut des données, des systèmes et de la société, ont mis au point une stratégie d’apprentissage automatique qui accélère certains des plus forts solveurs algorithmiques de 10 à 100 fois. Cathy Wu a déclaré:
Actu IA — Une équipe de chercheurs du MIT accélère le routage des véhicules grâce à l'apprentissage automatique -
Le solveur va permettre d’effectuer rapidement ces calculs complexes pour trouver le résultat optimal en faisant varier la pondération des différents actifs. Pour cela il faut appliquer des contraintes dans ces calculs comme cela a déjà été vu dans une précédente vidéo de cette série. Dans le cas présent il s’agit d’imposer un écart type qui soit plus petit ou égal à celui du Bitcoin (BTC) qui est de 78,78% dans cet exemple.
CryptoActu — Optimiser un portefeuille - La meilleure pondération entre BTC, ETH, LINK, BNB et XTZ - CryptoActu -
La raison de sa popularité est qu’il sert de problème pivot pour résoudre beaucoup d’autres problèmes : on traduit le problème original en SAT, on utilise un solveur SAT pour obtenir une réponse, et ensuite on interprète ce résultat par rapport au problème original. Cela fait des solveurs SAT des outils de résolution de problèmes combinatoires génériques.
The Conversation — Ils ne savaient pas que c’était insoluble, alors ils l’ont résolu -
L’application Microsoft Math Solver fournit une aide pour une variété de problèmes, notamment l’arithmétique, l’algèbre, la trigonométrie, le calcul, les statistiques et d’autres sujets à l’aide d’un solveur mathématique avancé alimenté par l’IA.
NetCost & Security — 5 applications utiles à avoir installées sur votre smartphone Android -
Le système de contraintes (que je trouve vraiment cool) demander d'implémenter un solveur d'équation, c'est pas très lourd quand on dépasse les exemples simples ?
Letlang, encore un nouveau langage de programmation - LinuxFr.org