Informatique théorique software

8

Outils de collaboration pour les nuls / professeurs

Supposons que des coauteurs de deux institutions différentes ou plus écrivent un article en latex et souhaitent faire mieux que d’envoyer des brouillons de manière répétée. Ils réalisent qu'ils peuvent ouvrir gratuitement un compte Dropbox, partager le mot de passe et synchroniser la version du papier sur leur ordinateur avec …

36 soft-question research-practice software writing

1

Existe-t-il un système de preuve automatisé raisonnable pour les théorèmes TCS?

Supposons que je veuille formaliser la preuve de Turing concernant le problème d'arrêt pour qu'une machine puisse le vérifier. Certains des systèmes de démonstration de théorèmes automatisés bien connus incluent Mizar, Coq et HOL4. J'ai téléchargé et expérimenté avec Coq, mais il n'a pas de bibliothèque pour les machines Turing. …

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

5

Programme de calcul de la décomposition en arbre d'un graphe

Quelqu'un connaît-il un programme open-source pour calculer la décomposition arborescente des graphiques pour un "k" fixe (largeur)? Je sais que le problème de trouver Tree-Decomposition est NP-Hard pour la variable "k", mais mes instances d'entrée seront vraiment petites (~ 10 nœuds) et "k" est fixe.

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

9

Quel est le logiciel recommandé pour dessiner des structures de données telles que des graphiques et des arbres?

Lors de la compilation des résultats, il est souvent souhaitable d'avoir des diagrammes d'aspect professionnel, plutôt que des diagrammes rassemblés dans MS Paint. Quelle est la norme pour dessiner des structures de données?

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

10

Téléchargement de #SAT Solver

Quelqu'un pourrait-il indiquer un ou plusieurs sites Web où il est possible de télécharger une implémentation fonctionnelle d'un solveur #SAT? Je suis intéressé par ceux qui renvoient le nombre exact de solutions, pas une approximation.

21 ds.algorithms sat software

6

Outils de visualisation d'analyse de réseaux / réseaux sociaux?

J'utilisais Jung ( http://jung.sourceforge.net/ ) pour visualiser le classement des pages et je l'ai trouvé un peu lent et difficile à mettre à l'échelle au-delà de 100 nœuds. Je me demandais quels autres outils les gens utilisent pour l'analyse et la visualisation des réseaux / réseaux sociaux.

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

5

Contrôle de version pour la collaboration (avec des différences au niveau des mots)?

La plupart des articles sont maintenant rédigés en collaboration, et les collaborateurs sont souvent situés dans des endroits différents. J'ai toujours utilisé des systèmes de contrôle de version pour mes documents et mon code, et j'ai également trouvé le contrôle de version critique pour les projets logiciels collaboratifs, mais il …

20 soft-question research-practice software writing

5

Progiciel pour décomposer des circuits quantiques

Existe-t-il un progiciel permettant la décomposition d'unités unitaires de en circuits quantiques sur un ensemble de portes universel prédéfini?U( 2n)U(2n)U(2^n)

15 quantum-computing software

5

Meilleur livre sur la mise en œuvre de la méthode Simplex?

Je suis intéressé par l'implémentation de SM pour la tâche LP, mais j'ai entendu parler d'éventuels pièges: le livre de Cormen dit qu'il est possible d'avoir des données d'entrée qui feront que l'implémentation naïve se comportera en temps exponentiel. J'ai également entendu que l'implémentation naïve peut boucler pour une sorte …

14 ds.algorithms linear-programming software implementation simplex

6

Assistant de preuve pour écrire des mathématiques

Je voudrais écrire des preuves mathématiques en utilisant un assistant de preuve. Tout sera écrit en utilisant une logique de premier ordre (avec égalité) et une déduction naturelle. Le fond est la théorie des ensembles (ZF). Par exemple, comment pourrais-je écrire la preuve suivante? Axiome: ∀ x ∀ y( x …

12 lo.logic software proof-assistants

2

Énumérer toutes les solutions d'un problème SAT

Tous les solveurs #SAT que je connais, par exemple RelSat, C2D, ne renvoient que le nombre d'instances satisfaisables. Mais je veux connaître chacun de ces cas? Existe-t-il un tel solveur #SAT ou comment dois-je modifier un solveur #SAT disponible pour ce faire? Je vous remercie.

11 lo.logic sat software

1

Calcul du volume des polyèdres convexes de grande dimension

Je recherche un logiciel de calcul / estimation de volume de polyèdres convexes de grande dimension. Plus spécifiquement, je m'intéresse à un programme, qui peut gérer des corps avec sommets dans un espace dimensionnel avec des paramètres à peu près comme suit: et . Notez qu'il n'y a aucune garantie …

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

Questions marquées «software»