to derive (a formula), to deduce
Etwas logisch oder mathematisch aus bestehenden Grundlagen oder Axiomen schlussfolgern.
To derive something logically or mathematically from basic principles.
-
Der Mathematiker leitet die Formel aus den Axiomen her.— The mathematician derives the formula from the axioms.
-
Diese Lösung wurde mühsam hergeleitet.— This solution was laboriously derived.
Синонимы