El grupo de investigación BABEL de la Universidad Politécnica de Madrid ha desarrollado, SpreadSolver, una hoja de cálculo inteligente que con técnicas de deducción automática permite detectar errores habituales, trabajar con información incompleta, resolver problemas complejos y facilita el trabajo en red. La solución extiende el modelo tradicional de hoja de cálculo, permitiendo la posibilidad de establecer relaciones complejas entre celdas que son capaces de detectar inconsistencias o reconstruir valores a partir de información parcial.