Matemáticas
Conceptos matemáticos, teorías, rompecabezas y aplicaciones
-
Matemáticas
Las computadoras pueden probar teoremas matemáticos con precisión perfecta
-
Matemáticas
Abella prueba las reglas ocultas de la programación lógica
-
Matemáticas
El motor de Lean automatiza pruebas matemáticas complejas
-
Matemáticas
NuPRL convierte pruebas matemáticas en programas perfectos
-
Matemáticas
¿Puede un modelo pequeño entender conjuntos infinitos?
-
Matemáticas
Las computadoras ahora revisan errores matemáticos
-
Matemáticas
El código y la lógica son dos caras de la misma moneda
-
Matemáticas
Twelf analiza las herramientas que verifican las matemáticas
-
Matemáticas
Esta lógica rechaza la ley del tercero excluido
-
Matemáticas
Matita ayuda a las computadoras a verificar pruebas matemáticas
-
Matemáticas
Una prueba matemática que sacudió los cimientos
-
Matemáticas
La constante de Chaitin revela el núcleo aleatorio de la computación
-
Matemáticas
El lema de Zorn ayuda a encontrar cadenas maximales
-
Matemáticas
Los mundos ocultos de las matemáticas: más allá de los números estándar
-
Matemáticas
Las simetrías en la naturaleza crean leyes de conservación
Otras categorías
Categorías →