QED: Un sistema multiagente de código abierto para generar demostraciones matemáticas sobre problemas abiertos.
<meta content=QED es un sistema multiagente open source para demostrar problemas abiertos. Explora y colabora en la resolución de desafíos matemáticos y científicos con esta herramienta innovadora.>