Documents Calmet, Jacques 4 résultats

2-groupe # C++ # algorithme adoptif # algorithme pratique # algèbre de Boole propositionnelle # algèbre de l'ordinateur # arithmétique avec règle oméga # calcul de base de Gröbner # calcul mathématique symbolique # calcul sous défini # contrôle de contrainte par utilisation de propriété de commu # corps fermé réel # datalog # démonstration de théorème géométrique # démonstration de théorème intéractive # ensemble rugueux # environnement de preuve # fibrage logique # k-algèbre # logique linéaire # modèle sous défini # modélisation de scénario d'agent coopérant # méthode d'apprentissage inductif empirique # méthode de planification déductive # planification de preuve du théorème de la valeur intermédiai # programmation algébrique # programme d'optimisation automatique # propagation de contrainte mathématique # raisonnement basé sur la règle # résolution de problème # résolveur uniCalc # spécification algébrique # structure d'idéal # théorie = signature + proposition utilisée comme type # théorie des matroïdes # traitement sous symbolique # transformation symbolique # utilisation de plan de preuve[-]