Perguntas com a marcação «software»

Suponha que co-autores de duas ou mais instituições diferentes estejam escrevendo um documento em látex e queiram fazer melhor do que enviar repetidamente os rascunhos por e-mail. Eles percebem que podem abrir gratuitamente uma conta da caixa de depósito, compartilhar a senha e sincronizar a versão do documento em seu …

36 soft-question  research-practice  software  writing 

Suponha que eu quisesse formalizar a prova de Turing sobre o problema da parada, para que uma máquina pudesse verificá-la. Alguns dos conhecidos sistemas automatizados de prova de teoremas incluem Mizar, Coq e HOL4. Fiz o download e experimentei o Coq, mas ele não possui uma biblioteca para máquinas Turing. …

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

Alguém conhece um programa de código aberto para calcular a decomposição em árvore de gráficos para um "k" (largura) fixo? Eu sei que o problema de encontrar a Decomposição em Árvore é NP-Difícil para a variável "k", mas minhas instâncias de entrada serão realmente pequenas (~ 10 nós) e "k" …

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

Alguém poderia apontar para um ou mais sites onde é possível fazer o download de uma implementação de trabalho de um solucionador #SAT? Estou interessado em retornar a contagem exata da solução, não em uma aproximação.

21 ds.algorithms  sat  software 

Ao reunir resultados, geralmente é desejável ter alguns diagramas de aparência profissional, em vez de diagramas reunidos no MS Paint. Qual é o padrão para desenhar estruturas de dados?

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

Eu estava usando Jung ( http://jung.sourceforge.net/ ) para visualizar o page rank e achei um pouco lento e difícil escaloná-lo além de 100 nós. Fiquei me perguntando que outras ferramentas as pessoas usam para análise e visualização de redes / redes sociais.

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

Agora, a maioria dos trabalhos é escrita de forma colaborativa, e os colaboradores geralmente estão localizados em lugares diferentes. Eu sempre usei sistemas de controle de versão para meus documentos e código, e também achei o controle de versão crítico para projetos de software colaborativo, mas parece que muitos pesquisadores …

20 soft-question  research-practice  software  writing 

Existe algum pacote de software que permita a decomposição de unidades unitárias de em circuitos quânticos sobre um conjunto de portas universal predefinido?você( 2n)você(2n)U(2^n)

15 quantum-computing  software 

Estou interessado em implementar o SM para tarefas de LP, no entanto, ouvi falar de possíveis armadilhas: o livro de Cormen diz que é possível ter dados de entrada que farão com que a implementação ingênua se comporte em tempo exponencial. Também ouvi dizer que a implementação ingênua pode fazer …

14 ds.algorithms  linear-programming  software  implementation  simplex 

Eu gostaria de escrever provas matemáticas usando algum assistente de prova. Tudo será escrito usando lógica de primeira ordem (com igualdade) e dedução natural. O pano de fundo é a teoria dos conjuntos (ZF). Por exemplo, como eu poderia escrever a seguinte prova? Axiom:∀ x ∀ y( x = y↔ …

12 lo.logic  software  proof-assistants 

Todos os solucionadores #SAT que eu conheço, por exemplo, RelSat, C2D, retornam apenas o número de instâncias satisfatórias. Mas eu quero conhecer cada uma dessas instâncias? Existe um solucionador de #SAT ou como devo modificar um solucionador de #SAT disponível para fazer isso? Obrigado.

11 lo.logic  sat  software 

Estou procurando um software para calcular / estimar o volume de poliedros convexos de alta dimensão. Mais especificamente, eu estou interessado em um programa, que pode lidar com corpos com vértices em espaço dimensional com parâmetros delimitados aproximadamente da seguinte forma: e . Observe que não há garantia no número …

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

Existem inúmeras ferramentas / pacotes teóricos gráficos. Cada um com seus prós e contras. Qual deve ser a semântica / sintaxe de uma linguagem de programação para resolver problemas teóricos dos grafos?

8 graph-theory  pl.programming-languages  software 

Sabemos que todos os autômatos push-down são representáveis ​​usando gramáticas sem contexto. Além disso, existe um algoritmo para construir um CFG a partir de qualquer PDA (por exemplo, a prova de Sipser na introdução à teoria da computação). Existem ferramentas que fazem essa tradução? Ou seja, eu posso colocar um …

8 automata-theory  fl.formal-languages  grammars  software