Deje en blanco lo que no desea usar en su búsqueda.

Parámetros generales de búsqueda

Buscar teoremas y demostraciones

• Predicados usados. Esta opción es la más útil de todas, porque uno busca usualmente teoremas basado en lo que demuestran y/o en lo que suponen. Nota: las igualdades son predicados con número clave igual a 0. Escriba las claves de los predicados (una lista de enteros positivos separados por comas) Consulte la sección de Predicados para conocer sus claves.
  Predicados en las hipótesis del teorema:
  Predicados en las conclusiones del teorema:
• Número clave del teorema. El número clave es un entero positivo que identifica al teorema en la base de datos. Cuando en una demostración necesita usar un teorema conocido, se debe referir a dicho teorema por su número clave. Si usted conoce el número clave del teorema que busca, puede ingresarlo aquí.
  • Mayor o igual a
  • Menor o igual a

Ordenar los teoremas según: Posición en el Tema Número clave en la base de datos

Include the formula. When available, also include Lemmas, Symbols and Proof.

Al oprimir este botón, los teoremas que cumplen sus criterios de búsqueda aparecerán en el cuadro de abajo, ordenados crecientemente por su número clave, que se muestra al principio del teorema. Si el teorema tiene demostración, aparecerán los lemas y símbolos que se usan en la demostración de default. Si su búsqueda genera más de 50 teoremas, solamente los primeros 50 se mostrarán (puede mostrar los siguientes cambiando sus opciones de búsqueda). Puede modificar sus parámetros y hacer nuevas búsquedas todas las veces que desee hasta encontrar lo que buscaba.

Buscar predicados

• Número clave del predicado. El número clave de un predicado es un entero positivo que lo identifica en la base de datos. Si usted conoce el número clave del predicado que busca, o al menos un rango de valores, lo puede poner aquí directamente.
  • Mayor o igual a (si lo deja en blanco no se usará en su búsqueda)
  • Menor o igual a (si lo deja en blanco no se usará en su búsqueda)
• Palabras clave en el texto del predicado Escriba una lista de palabras o frases que aparezcan en el predicado que busca (no se distinguen mayúsculas en la búsqueda), separadas por ::
  • No deseo usar palabras claves en esta búsqueda de predicados.
  • Listar solamente los predicados que incluyan una o más de las palabras requeridas.
  • Listar solamente los predicados que incluyan todas las palabras requeridas.

  Ordenar los predicados según: Posición en el Tema Número clave en la base de datos

  Al oprimir este botón, los predicados que cumplen sus criterios de búsqueda aparecerán en el cuadro de abajo, ordenados crecientemente por su número clave, que se muestra al principio del predicado. Si su búsqueda genera más de 30 predicados, solamente se mostrarán los primeros 30 (puede mostrar los siguientes cambiando el número de predicado en sus opciones de búsqueda). Puede modificar sus parámetros y hacer nuevas búsquedas todas las veces que desee hasta encontrar lo que buscaba.

  Buscar símbolos matemáticos

  • Número clave del símbolo matemático. El número clave de un símbolo matemático es un entero positivo que lo identifica en la base de datos. Si usted conoce el número clave del símbolo que busca, o al menos un rango de valores, lo puede poner aquí directamente.
    • Mayor o igual a (si lo deja en blanco no se usará en su búsqueda)
    • Menor o igual a (si lo deja en blanco no se usará en su búsqueda)
  • Palabras clave en el texto del símbolo matemático. Escriba una lista de palabras o frases, separadas por ::, que aparezcan en el texto del símbolo matemático que busca. El texto de un símbolo matemático es el código HTML que se usa para mostrarlo (aquí puede escribir etiquetas de HTML). Esta búsqueda no distingue mayúsculas.
    • No deseo usar palabras claves en el texto en esta búsqueda de símbolos matemáticos.
    • Listar solamente los símbolos matemáticos que incluyan una o más de las palabras requeridas en su texto.
    • Listar solamente los símbolos matemáticos que incluyan todas las palabras requeridas en su texto.
  • Palabras clave en la descripción del símbolo matemático. Escriba una lista de palabras o frases, separadas por ::, que aparezcan en la descripción del símbolo matemático que busca. La descripción de un símbolo matemático es cómo se dice el símbolo en voz alta (aquí no se permite HTML). Esta búsqueda no distingue mayúsculas.
    • No deseo usar palabras claves en la descripción en esta búsqueda de símbolos matemáticos.
    • Listar solamente los símbolos matemáticos que incluyan una o más de las palabras requeridas en su descripción.
    • Listar solamente los símbolos matemáticos que incluyan todas las palabras requeridas en su descripción.

  Ordenar los símbolos según: Posición en el Tema Número clave en la base de datos

  Al oprimir este botón, los símbolos matemáticos que cumplen sus criterios de búsqueda aparecerán en el cuadro de abajo, ordenados crecientemente por su número clave, que se muestra al principio del símbolo matemático. Si su búsqueda genera más de 20 símbolos matemáticos, solamente se mostrarán los primeros 20 (puede mostrar los siguientes cambiando el número de símbolo matemático en sus opciones de búsqueda). Puede modificar sus parámetros y hacer nuevas búsquedas todas las veces que desee hasta encontrar lo que buscaba.