Preguntas etiquetadas con software

Suponga que los coautores de dos o más instituciones diferentes están escribiendo un artículo en látex, y les gustaría hacerlo mejor que enviar borradores repetidamente por correo electrónico. Se dan cuenta de que pueden abrir de forma gratuita una cuenta de Dropbox, compartir la contraseña y sincronizar la versión del …

36 soft-question  research-practice  software  writing 

Supongamos que quisiera formalizar la prueba de Turing sobre el problema de detención para que una máquina pueda verificarlo. Algunos de los sistemas de prueba de teoremas automatizados conocidos incluyen Mizar, Coq y HOL4. Descargué y experimenté con Coq, pero no tiene una biblioteca para máquinas Turing. Pensé en codificar …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

¿Alguien sabe de un programa de código abierto para calcular la descomposición de gráficos en árbol para una "k" fija (ancho)? Sé que el problema de encontrar Tree-Decomposition es NP-Hard para la variable "k", pero mis instancias de entrada serán realmente pequeñas (~ 10 nodos) y "k" es fijo.

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

¿Alguien podría señalar uno o más sitios web donde sea posible descargar una implementación funcional de un solucionador #SAT? Estoy interesado en aquellos que devuelven el recuento exacto de la solución, no una aproximación.

21 ds.algorithms  sat  software 

Al reunir resultados, a menudo es deseable tener algunos diagramas de aspecto profesional, en lugar de diagramas juntos en MS Paint. ¿Cuál es el estándar para dibujar estructuras de datos?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

Estaba usando Jung ( http://jung.sourceforge.net/ ) para visualizar el rango de la página y me pareció un poco lento y difícil escalarlo más allá de 100 nodos. Me preguntaba qué otras herramientas utilizan las personas para el análisis y la visualización de redes / redes sociales.

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

La mayoría de los documentos ahora se escriben en colaboración, y los colaboradores a menudo se encuentran en diferentes lugares. Siempre he usado sistemas de control de versiones para mis documentos y código, y también he encontrado que el control de versiones es crítico para proyectos de software colaborativos, pero …

20 soft-question  research-practice  software  writing 

¿Existe algún paquete de software que permita la descomposición de unidades unitarias de en circuitos cuánticos sobre un conjunto de compuerta universal predefinido?U( 2norte)U(2norte)U(2^n)

15 quantum-computing  software 

Estoy interesado en implementar SM para la tarea LP, sin embargo, he oído hablar de posibles dificultades: el libro de Cormen dice que es posible tener datos de entrada que harán que la implementación ingenua se comporte en un tiempo exponencial. También he oído que la implementación ingenua puede repetirse …

14 ds.algorithms  linear-programming  software  implementation  simplex 

Me gustaría escribir pruebas matemáticas con algún asistente de prueba. Todo se escribirá utilizando la lógica de primer orden (con igualdad) y la deducción natural. El fondo es la teoría de conjuntos (ZF). Por ejemplo, ¿cómo podría escribir la siguiente prueba? Axioma:∀ x ∀ y( x = y↔ ∀ z( …

12 lo.logic  software  proof-assistants 

Todos los solucionadores de #SAT que conozco, por ejemplo, RelSat, C2D, solo devuelven el número de instancias satisfactorias. Pero quiero saber cada una de esas instancias? ¿Existe tal solucionador #SAT o cómo debo modificar un solucionador #SAT disponible para hacer esto? Gracias.

11 lo.logic  sat  software 

Estoy buscando un software para calcular / estimar el volumen de poliedros convexos de alta dimensión. Más específicamente, estoy interesado en un programa, que puede manejar cuerpos con vértices en d espacio dimensional con los parámetros delimitadas aproximadamente como sigue: d ≤ 50 y n ≤ 1000 . Tenga en …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry 

Existen numerosas herramientas / paquetes de teorías gráficas. Cada uno con sus pros y sus contras. ¿Cuál debería ser la semántica / sintaxis de un lenguaje de programación para resolver problemas de teoría de grafos?

8 graph-theory  pl.programming-languages  software 

Sabemos que todos los autómatas push down son representables utilizando gramáticas libres de contexto. Además, existe un algoritmo para construir un CFG a partir de cualquier PDA (por ejemplo, la prueba de Sipser introducida a la teoría de la computación). ¿Hay alguna herramienta que haga esta traducción? Es decir, puedo …

8 automata-theory  fl.formal-languages  grammars  software