Formulas
EN Let’s talk

R&D

Applied research in decision systems.

We develop and experiment with computational models, algorithms and architectures for decision systems. Verifiability, reproducibility and interoperability guide the transition from prototype to application.

Research areas

  1. 01

    Models and algorithms

    Computational modelling, simulation and optimization to explore problems, objectives and uncertainty.

  2. 02

    Execution and interoperability

    Dependency graphs, multi-runtime orchestration and interfaces connecting heterogeneous models and systems.

  3. 03

    Verification and reproducibility

    Reference cases, equivalence tests and recorded assumptions for evaluating and repeating analyses.

Open-source foundation

The formulas and schedula open-source libraries.

formulas is a Python library, distinct from Formulas S.r.l. and the proprietary platform. Together with schedula it provides inspectable computational components. The libraries follow their respective licences; Enterprise components and services have specific terms.

Inspect the implementation, releases and contributions at the source. These libraries are distinct from the proprietary Formulas platform.

A dependency you can reproduce.

In this small schedula example, multiply needs the result of add. The graph makes that dependency visible; the code below reproduces the calculation.

Inputsa = 2
b = 3
add(a, b)a + b
Intermediate resultc = 5
c = 5 ↓
Inputsc = 5
d = 4
multiply(c, d)c × d
Outputresult = 20
Technical example, not a platform screen or a customer result. Run locally with schedula 1.6.18: c = 5, result = 20.
Reproduce this graph in Python
import schedula as sh

def add(a, b):
    return a + b

def multiply(c, d):
    return c * d

dsp = sh.Dispatcher(name="Dependency example")
dsp.add_function("add", add,
    inputs=["a", "b"], outputs=["c"])
dsp.add_function("multiply", multiply,
    inputs=["c", "d"], outputs=["result"])

solution = dsp({"a": 2, "b": 3, "d": 4})
assert solution["c"] == 5
assert solution["result"] == 20
schedula documentation ↗

Explore further

Let’s talk

Start with the problem.

Let’s define the decision to support and the path from analysis to an operational system.

Start a conversation