Preguntas ciencias de prueba-de-la-t02

27

5Resp

3311Vistas

Prueba algebraica conceptual de que Grassmannian está cerrado en la inserción de Plucker

Abierta

Preguntado el 18 de Septiembre, 2014 por sickgemini

26

3Resp

3580Vistas

¿Dónde publicar una nueva prueba de un viejo teorema?

Resuelta

Preguntado el 10 de Febrero, 2017 por Kendall

33

1Resp

552Vistas

¿Asistente de prueba para trabajar en fundaciones más débiles?

Resuelta

Preguntado el 7 de Marzo, 2018 por Randy Proctor

42

5Resp

4391Vistas

Formalizaciones de la teoría de categorías en asistentes de pruebas.

Abierta

Preguntado el 21 de Diciembre, 2013 por Mojo

54

2Resp

1438Vistas

Resolución automática de problemas de geometría de olimpiada

Resuelta

Preguntado el 3 de Agosto, 2019 por Bob Somers

38

3Resp

1998Vistas

¿Existe investigación sobre la demostración del teorema orientado al ser humano?

Abierta

Preguntado el 4 de Noviembre, 2017 por user38475

45

1Resp

2747Vistas

Sobre la verificación de pruebas con Coq

Abierta

Preguntado el 11 de Noviembre, 2018 por val0x00ff

58

5Resp

8540Vistas

¿Hasta qué punto son ciertos los teoremas demostrados por Coq?

Resuelta

Preguntado el 25 de Marzo, 2011 por Xavier Nodet

55

5Resp

3571Vistas

¿Qué parte del ATLAS de los grupos finitos se comprueba de forma independiente y/o se verifica por ordenador?

Resuelta

Preguntado el 19 de Agosto, 2015 por Xavier Nodet

58

5Resp

6612Vistas

¿Cómo verifican un verificador de pruebas formalizadas?

Resuelta

Preguntado el 16 de Marzo, 2010 por traveler

61

5Resp

8360Vistas

¿Demostración geométrica del determinante de Vandermonde?

Abierta

Preguntado el 23 de Junio, 2010 por ashirley

81

3Resp

5374Vistas

Se busca: un "Coq para el matemático que trabaja"

Abierta

Preguntado el 28 de Enero, 2014 por David Gardiner

10

4Resp

320Vistas

¿Una prueba de geometría desafiante?

Resuelta

Preguntado el 16 de Agosto, 2019 por Matthew Daly

15

1Resp

394Vistas

Un algoritmo interesante sobre números primos que pensé hoy

Abierta

Preguntado el 14 de Agosto, 2019 por Culver Kwan

8

1Resp

216Vistas

Demostrar que los ceros de un polinomio se encuentran todos en un anillo.

Resuelta

Preguntado el 12 de Agosto, 2019 por JacobsonRadical

8

4Resp

277Vistas

Demuestre que si$x$ es impar, entonces$x^2$ es impar

Resuelta

Preguntado el 30 de Julio, 2019 por Nelver

21

3Resp

2347Vistas

Una prueba afortunada para el problema de Basilea.

Resuelta

Preguntado el 28 de Julio, 2019 por Zacky

9

1Resp

193Vistas

Números catalanes: prueba algebraica de la relación de recurrencia

Resuelta

Preguntado el 26 de Julio, 2019 por Aaron Lenz

9

5Resp

362Vistas

¿Dónde está el error en mi 'derivación' de$(uv)' = u'v$?

Resuelta

Preguntado el 17 de Julio, 2019 por TeiReiDa

28

5Resp

4880Vistas

¿Cuándo tiene sentido el planteamiento de Fisher de "ir a por más datos"?

Abierta

Preguntado el 15 de Julio, 2019 por vainolo

9

2Resp

339Vistas

Integración de$\int_0^1\frac{x\ln (1+x)}{1+x^2}dx$ con técnicas restringidas

Resuelta

Preguntado el 6 de Julio, 2019 por Tina

14

2Resp

587Vistas

Integral

Abierta

Preguntado el 5 de Julio, 2019 por Zacky

4

1Resp

194Vistas

Simplemente no me hago la prueba t

Resuelta

Preguntado el 24 de Septiembre, 2014 por Jeff

3

4Resp

142Vistas

Cómo probar por inducción que hay $2^n$ binarias $n$-vectores.

Abierta

Preguntado el 3 de Enero, 2018 por dalton

5

3Resp

159Vistas

Verifica mi prueba de que $N$ en $ N = (P_1 \cdot P_2...P_n)+1 $ debe ser impar.

Resuelta

Preguntado el 13 de Abril, 2017 por J. Lindsay

4

1Resp

312Vistas

Juego de cobertura en Borel. Prueba de determinación.

Resuelta

Preguntado el 24 de Junio, 2019 por Lorenzo Notaro

4

1Resp

294Vistas

Encontrar la región de rechazo de un caso dado

Resuelta

Preguntado el 28 de Enero, 2014 por user38116

11

1Resp

185Vistas

Los puntos cerrados son densos en$\operatorname{Spec} A$

Resuelta

Preguntado el 24 de Abril, 2015 por E Chen

4

3Resp

176Vistas

Deje$A,B\subseteq \mathbb{R}$ tal que$\forall b\in B ~ \exists a_n$ donde$a_n \in A$ y$a_n\to b$ como$n\to\infty$. Probar $\sup(B)\leq \sup(A)$

Resuelta

Preguntado el 3 de Enero, 2016 por richzilla

4

1Resp

135Vistas

Cómo probar que los vectores son linealmente independientes, basado en el factor determinante

Resuelta

Preguntado el 25 de Septiembre, 2016 por Anita

Preguntas ciencias prueba-de-la-t

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Prueba algebraica conceptual de que Grassmannian está cerrado en la inserción de Plucker

¿Dónde publicar una nueva prueba de un viejo teorema?

¿Asistente de prueba para trabajar en fundaciones más débiles?

Formalizaciones de la teoría de categorías en asistentes de pruebas.

Resolución automática de problemas de geometría de olimpiada

¿Existe investigación sobre la demostración del teorema orientado al ser humano?

Sobre la verificación de pruebas con Coq

¿Hasta qué punto son ciertos los teoremas demostrados por Coq?

¿Qué parte del ATLAS de los grupos finitos se comprueba de forma independiente y/o se verifica por ordenador?

¿Cómo verifican un verificador de pruebas formalizadas?

¿Demostración geométrica del determinante de Vandermonde?

Se busca: un "Coq para el matemático que trabaja"

¿Una prueba de geometría desafiante?

Un algoritmo interesante sobre números primos que pensé hoy

Demostrar que los ceros de un polinomio se encuentran todos en un anillo.

Demuestre que si$x$ es impar, entonces$x^2$ es impar

Una prueba afortunada para el problema de Basilea.

Números catalanes: prueba algebraica de la relación de recurrencia

¿Dónde está el error en mi 'derivación' de$(uv)' = u'v$?

¿Cuándo tiene sentido el planteamiento de Fisher de "ir a por más datos"?

Integración de$\int_0^1\frac{x\ln (1+x)}{1+x^2}dx$ con técnicas restringidas

Integral

Simplemente no me hago la prueba t

Cómo probar por inducción que hay $2^n$ binarias $n$-vectores.

Verifica mi prueba de que $N$ en $ N = (P_1 \cdot P_2...P_n)+1 $ debe ser impar.

Juego de cobertura en Borel. Prueba de determinación.

Encontrar la región de rechazo de un caso dado

Los puntos cerrados son densos en$\operatorname{Spec} A$

Deje$A,B\subseteq \mathbb{R}$ tal que$\forall b\in B ~ \exists a_n$ donde$a_n \in A$ y$a_n\to b$ como$n\to\infty$. Probar $\sup(B)\leq \sup(A)$

Cómo probar que los vectores son linealmente independientes, basado en el factor determinante

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: