Radicand

Un moteur mathématique où les fractions ne deviennent jamais des décimaux

Radicand — Un moteur mathématique où les fractions ne deviennent jamais des décimaux. C’est un produit conçu avec la méthode doaipm, à l’aide de Claude Code.

<code>sqrt(12)</code> donne <code>2√3</code>, pas 3,4641016151377544. Calcul symbolique, résolution d’équations, équations différentielles, algèbre linéaire exacte, précision arbitraire et tracés — le tout hors ligne. Le noyau est un moteur Rust écrit à la main sur un DAG d’expressions en hash-consing : chaque sous-expression distincte n’est stockée qu’une fois, si bien que la dérivation et le développement se mémoïsent sur une poignée de 4 octets. Rien de GPL ni de LGPL dans l’arbre — ni GMP, ni MPFR, ni Maxima, ni PARI — et aucun client HTTP. La page d’accueil compile le même noyau en WebAssembly : vous pouvez l’essayer dans le navigateur avant d’installer quoi que ce soit.

Fonctionnalités clés

• Arithmétique exacte : <code>1/3 + 1/6 = 1/2</code>, et <code>2^100</code> jusqu’au dernier chiffre
• Factorisation complète : <code>x^4+4</code> se scinde en deux trinômes irréductibles
• Calcul symbolique : dérivées, intégrales, limites, séries de Taylor
• Équations différentielles : premier ordre linéaire et séparable, second ordre à coefficients constants, racines complexes rendues sous forme réelle
• Algèbre linéaire exacte : déterminants, inverses et valeurs propres sans perte de précision
• Précision arbitraire : cinquante mille décimales de π en 149 ms
• Il le dit quand il ne sait pas : les intégrales divergentes sont refusées, et toute forme close est réinjectée dans l’équation
• Vraiment hors ligne : aucun client HTTP dans l’arbre, CSP verrouillée

En bref

Construit avec la méthode doaipm et Claude Code. Voir la méthode →