Forum Programmation.autre Besoin d'un Générateur de Formules pour un Projet

Posté par  . Licence CC By‑SA.
Étiquettes :
5
12
août
2024

Contexte

Pour un projet, j'ai besoin d'un programme/algorithme capable de générer des formules mathématiques optimales. Le programme doit prendre en entrée une valeur cible ainsi qu'une liste de valeurs données (entiers, fractions, nombres irrationnels, etc.) et produire une expression mathématique qui aboutit à la valeur cible en utilisant toute ces valeurs.

Objectif

L'objectif est de créer une solution optimale, c'est-à-dire une formule qui utilise le moins de valeurs possibles, tout en étant mathématiquement correcte. Le programme doit également être capable (…)

Axiom outragé, Axiom martyrisé mais Axiom libéré !

Posté par  (site web personnel) . Modéré par Jaimé Ragnagna.
Étiquettes :
0
13
sept.
2003
GNU
Axiom, le rouleau compresseur du calcul formel initialement développé par IBM (en 1973!), puis commercialisé par le Numerical Algorithms Group jusqu'en 2001, a été libéré en septembre 2002. Les sources sont accessibles depuis fin août sur savannah. Quand je l'avais utilisé (très peu), il y 5 ou 6 ans, le soft était hors de prix et déclinant (pas compétitif devant les jolies interfaces de ses deux concurrents Maple et Mathematica). Il n'empêche que la libération d'un mastodonte pareil change des projets "from scratch": il y a des tonnes de bibliothèques diverses et de la documentation à foison. Et l'intégration avec TeXmacs devrait permettre de disposer rapidement d'une interface attractive.

Journal Les 50 ans du CERN : le berceau du web

Posté par  .
Étiquettes :
0
12
août
2004
Salut mon journal,

En octobre de cette année, le CERN (Centre Européen de Recherche Nucléaire [1]) va souffler sa 50ième bougie. Bon, c'est sans doute aussi excitant que de savoir que Tim Berners-Lee a été anobli par la reine [2,3], mais je pense que ça mérite d'être mentionné.
Alors je me suis amusé à faire une petite recherche de "CERN" sur linuxfr et d'après les divers résultats que j'ai eu il semblerait qu'on en parle seulement (ou principalement) lorsqu'un nouveau (…)

Logiciels libres vus par l'industrie aéronautique

Posté par  (site web personnel) . Modéré par rootix.
Étiquettes :
0
3
avr.
2006
Presse
La revue Horizon de l'"American Institute of Aeronautics and Astronautics" propose un gros article sur les logiciels libres utilisés - entre autre - par la NASA. L'article définit plutôt bien les logiciels libres avant de faire une liste des logiciels utilisés.

On y voit par exemple FlightGear qui sert de visualisateur pour un simulateur de vol ou bien des programmes plus pointus comme Maxima ou Octave (logiciel de calcul concurrent de leurs homologues propriétaires Matlab et de Mathematica) ou IT++, une bibliothèque mathématique orientée traitement du signal et reconnaissance de la parole, entre autre.

La liste permet de découvrir des applications libres scientifiques, jugées suffisamment matures pour l'industrie aéronautique mais pas forcément connues.