PROP2VEC

We attempt to construct an inner product space out of propositions, making it easier to perform automated reasoning.

View project.

InCa

Use complex integration to evaluate indefinite integrals, without standard symbolic algorithms.

View project.

W

We build the next iteration of smart software development, aimed at slashing debugging time by several OMs.

View project.

2bF

Can fermion dynamics be modelled with a 2-cubit bispinor?.

View project.