⌘K

Áreas

⊢Foundations & Logic1 ℕNumber Theory2 ⊞Algebra3 ⊗Combinatorics1 △Geometry1 ◎Topology ∫Analysis ∂Diff. Equations ℙProbability & Stats2 ≈Numerical ƒApplied1 ⟨⟩Math & CS1 +School Basics ∞Recreational2

Nivel

①Secundaria ②Bachillerato1 ③Grado4 ④Posgrado1 ⑤Investigación

Formato

≡Curso ◈Explicación5 ◉Análisis1 ▶Ensayo visual ✎Ejercicio

Explorar/Foundations & Logic/Logic in computer science/Journal of automated reasoning

Journal of automated reasoning

Ningún artículo

∅

Todavía no hay artículos en esta categoría — están en camino.

Tendencias

1

La opción de 4,76 $ que todos creen sin valorProbability & Statistics · 8 min

2

x + 1/x = 3, y la escalera hasta x⁵ + 1/x⁵Algebra · 7 min

3

Por qué los triángulos aleatorios atrapan el centro del círculo una de cada cuatro vecesProbability & Statistics · 9 min

Recientes

•

Máquinas de vectores de soporte: gana la calle más anchaExplainer · 8 min

•

Todo torneo contiene una cadena ganadora (teorema de Rédei)Explainer · 7 min

•

¿Qué polinomios aplican ℚ sobre ℚ? La respuesta completaDeep dive · 11 min

Los nuevos artículos, directos a tu correo

Acepto recibir emails de Lambdia y he leído la política de privacidad. Baja en cualquier momento.

Síguenos

© 2026 LambdiaTérminos · Privacidad · El ebook