https://formulbase.com/ Chaque formule du formulaire scolaire expliquée en trois temps : ce que c'est, pourquoi elle existe, comment on s'en sert. En français et en allemand, avec des ateliers manipulables. fr Thu, 13 Aug 2026 18:34:41 GMT https://formulbase.com/en/great-formulas/e-mc2/ https://formulbase.com/en/great-formulas/e-mc2/ E = mc² is not a recipe for manufacturing energy, it's an exchange rate between mass and energy. Mass defect, the complete formula E² = (pc)² + (mc²)², three interactive labs. Thu, 13 Aug 2026 18:34:41 GMT en https://formulbase.com/grandes-formules/e-mc2/ https://formulbase.com/grandes-formules/e-mc2/ E = mc² n’est pas une recette pour fabriquer de l’énergie, c’est un taux de change entre masse et énergie. Défaut de masse, formule complète E² = (pc)² + (mc²)², trois laboratoires interactifs. Thu, 13 Aug 2026 18:34:41 GMT fr https://formulbase.com/en/great-formulas/magic-formulas/ https://formulbase.com/en/great-formulas/magic-formulas/ Abracadabra, open sesame, the pseudo-Latin of fictional spells: anatomy of the text that promises to act on the world. Triangular amulet and formula dissector in the lab. Thu, 13 Aug 2026 09:08:20 GMT en https://formulbase.com/en/great-formulas/the-praetors-formula/ https://formulbase.com/en/great-formulas/the-praetors-formula/ How the Roman praetor's formula worked: a legal text with variables, the condictio dissected clause by clause, the exceptio, and an interactive formula lab. Thu, 13 Aug 2026 09:01:29 GMT en https://formulbase.com/grandes-formules/formules-magiques/ https://formulbase.com/grandes-formules/formules-magiques/ Abracadabra, sésame ouvre-toi, le pseudo-latin des sortilèges de fiction : anatomie du texte qui promet d'agir sur le monde. Amulette triangulaire et dissecteur de formules en laboratoire. Thu, 13 Aug 2026 09:01:29 GMT fr https://formulbase.com/grandes-formules/formule-du-preteur/ https://formulbase.com/grandes-formules/formule-du-preteur/ La formule romaine, texte à variables qui produit un jugement quand elle est bien instanciée : anatomie de la condictio, laboratoire de fabrique de formules, exceptio, action Publicienne, abolition de 342. Thu, 13 Aug 2026 08:48:19 GMT fr https://formulbase.com/en/analysis/combinatorics/ https://formulbase.com/en/analysis/combinatorics/ Factorial, permutations, k-permutations (arrangements), combinations, Pascal's triangle and the binomial theorem: every counting formula explained in three steps, with three interactive labs. Thu, 13 Aug 2026 08:32:48 GMT en https://formulbase.com/en/analysis/derivatives-and-antiderivatives/ https://formulbase.com/en/analysis/derivatives-and-antiderivatives/ The difference quotient, the derivative, the rules of differentiation, antiderivatives, and the definite integral: every formula in the syllabus explained in three steps, with hands-on interactive labs. Thu, 13 Aug 2026 08:32:48 GMT en https://formulbase.com/en/analysis/probability/ https://formulbase.com/en/analysis/probability/ Equally likely outcomes, conditional probability, weighted trees, Bayes' theorem, expected value and the binomial distribution: high-school probability explained step by step, with three interactive laboratories. Thu, 13 Aug 2026 08:32:48 GMT en https://formulbase.com/en/analysis/sequences-sums-and-series/ https://formulbase.com/en/analysis/sequences-sums-and-series/ Arithmetic and geometric progressions, power sums, convergence tests: every formula in the formulary explained in three steps, with hands-on interactive labs. Thu, 13 Aug 2026 08:32:48 GMT en https://formulbase.com/en/logic/from-k-to-s5/ https://formulbase.com/en/logic/from-k-to-s5/ The modal systems K, D, T, B, S4 and S5: their axioms, the necessitation rule, how each system extends the last, and three interactive labs to test them all. Thu, 13 Aug 2026 08:32:48 GMT en https://formulbase.com/en/logic/kripke-semantics/ https://formulbase.com/en/logic/kripke-semantics/ Possible worlds, the accessibility relation, box and diamond: modal logic semantics explained step by step, with three interactive laboratories. Thu, 13 Aug 2026 08:32:48 GMT en https://formulbase.com/analyse/probabilites/ https://formulbase.com/analyse/probabilites/ Équiprobabilité, probabilité conditionnelle, arbre pondéré, formule de Bayes, espérance et loi binomiale : les probabilités du gymnase expliquées pas à pas, en français et en allemand, avec trois laboratoires manipulables. Thu, 13 Aug 2026 00:04:07 GMT fr https://formulbase.com/analyse/combinatoire/ https://formulbase.com/analyse/combinatoire/ Factorielle, permutations, arrangements, combinaisons, triangle de Pascal et binôme de Newton : chaque formule du dénombrement expliquée en trois temps, en français et en allemand, avec trois laboratoires manipulables. Wed, 12 Aug 2026 13:47:05 GMT fr https://formulbase.com/logique/de-k-a-s5/ https://formulbase.com/logique/de-k-a-s5/ Le carré aléthique, la règle de nécessitation, les systèmes K, D, T, B, S4, S5 et le zoo des modalités : les logiques modales expliquées pas à pas, en français et en allemand, avec trois laboratoires manipulables. Wed, 12 Aug 2026 13:30:10 GMT fr https://formulbase.com/logique/semantique-kripke/ https://formulbase.com/logique/semantique-kripke/ Mondes possibles, relation d'accessibilité, boîte et losange : la sémantique des logiques modales expliquée pas à pas, en français et en allemand, avec trois laboratoires manipulables. Wed, 12 Aug 2026 12:50:13 GMT fr https://formulbase.com/analyse/derivees-primitives/ https://formulbase.com/analyse/derivees-primitives/ Le taux d'accroissement, la dérivée, les règles de calcul, les primitives et l'intégrale définie : chaque formule du formulaire expliquée en trois temps, en français et en allemand, avec des ateliers manipulables. Tue, 11 Aug 2026 15:11:20 GMT fr https://formulbase.com/analyse/suites-sommes-series/ https://formulbase.com/analyse/suites-sommes-series/ Progressions arithmétiques et géométriques, sommes de puissances, critères de convergence : chaque formule du formulaire expliquée en trois temps, en français et en allemand, avec des ateliers manipulables. Tue, 11 Aug 2026 14:04:32 GMT fr