Preguntas ciencias de prueba02

27

5Resp

3313Vistas

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

3582Vistas

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

Resuelta

Preguntado el 10 de Febrero, 2017 por Kendall

33

1Resp

553Vistas

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

Resuelta

Preguntado el 7 de Marzo, 2018 por Randy Proctor

43

5Resp

4393Vistas

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

Abierta

Preguntado el 21 de Diciembre, 2013 por Mojo

55

2Resp

1441Vistas

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

Resuelta

Preguntado el 3 de Agosto, 2019 por Bob Somers

38

3Resp

2000Vistas

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

Abierta

Preguntado el 4 de Noviembre, 2017 por user38475

45

1Resp

2749Vistas

Sobre la verificación de pruebas con Coq

Abierta

Preguntado el 11 de Noviembre, 2018 por val0x00ff

58

5Resp

8541Vistas

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

Resuelta

Preguntado el 25 de Marzo, 2011 por Xavier Nodet

55

5Resp

3573Vistas

¿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

6614Vistas

¿Cómo verifican un verificador de pruebas formalizadas?

Resuelta

Preguntado el 16 de Marzo, 2010 por traveler

61

5Resp

8362Vistas

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

Abierta

Preguntado el 23 de Junio, 2010 por ashirley

81

3Resp

5376Vistas

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

Abierta

Preguntado el 28 de Enero, 2014 por David Gardiner

10

4Resp

321Vistas

¿Una prueba de geometría desafiante?

Resuelta

Preguntado el 16 de Agosto, 2019 por Matthew Daly

15

1Resp

396Vistas

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

Abierta

Preguntado el 14 de Agosto, 2019 por Culver Kwan

8

1Resp

219Vistas

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

Resuelta

Preguntado el 12 de Agosto, 2019 por JacobsonRadical

8

4Resp

279Vistas

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

195Vistas

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

Resuelta

Preguntado el 26 de Julio, 2019 por Aaron Lenz

9

5Resp

364Vistas

¿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

10

2Resp

341Vistas

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

590Vistas

Integral

Abierta

Preguntado el 5 de Julio, 2019 por Zacky

4

1Resp

195Vistas

Simplemente no me hago la prueba t

Resuelta

Preguntado el 24 de Septiembre, 2014 por Jeff

3

4Resp

144Vistas

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

Abierta

Preguntado el 3 de Enero, 2018 por dalton

5

3Resp

162Vistas

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

315Vistas

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

Resuelta

Preguntado el 24 de Junio, 2019 por Lorenzo Notaro

4

1Resp

296Vistas

Encontrar la región de rechazo de un caso dado

Resuelta

Preguntado el 28 de Enero, 2014 por user38116

11

1Resp

186Vistas

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

Resuelta

Preguntado el 24 de Abril, 2015 por E Chen

4

3Resp

177Vistas

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

136Vistas

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: