Pertanyaan yang diberi tag «software»

Misalkan rekan penulis dari dua atau lebih lembaga berbeda sedang menulis makalah dalam lateks, dan ingin melakukan yang lebih baik daripada berulang kali mengirim email konsep bolak-balik. Mereka menyadari bahwa mereka dapat membuka secara gratis akun dropbox, membagikan kata sandi, dan menyinkronkan versi kertas di komputer mereka dengan yang ada …

36 soft-question  research-practice  software  writing 

Misalkan saya ingin memformalkan bukti Turing mengenai masalah penghentian sehingga mesin dapat memeriksanya. Beberapa sistem pembuktian teorema otomatis yang terkenal meliputi Mizar, Coq, dan HOL4. Saya mengunduh dan bereksperimen dengan Coq, tetapi tidak memiliki perpustakaan untuk mesin Turing. Saya berpikir untuk membuat kode sendiri, tetapi menemukan tutorialnya kurang dan bahasa …

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

Apakah ada yang tahu tentang program open-source untuk menghitung dekomposisi Tree dari grafik untuk "k" (lebar) yang diperbaiki? Saya tahu bahwa masalah menemukan Tree-Decomposition adalah NP-Hard untuk variabel "k", tetapi instance input saya akan sangat kecil (~ 10 node) dan "k" sudah diperbaiki.

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

Ketika menyusun hasil, sering diinginkan untuk memiliki beberapa diagram yang terlihat profesional, daripada diagram yang disatukan dalam MS Paint. Apa standar untuk menggambar struktur data?

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

Adakah yang bisa menunjuk ke satu atau lebih situs web di mana dimungkinkan untuk mengunduh implementasi kerja pemecah #SAT? Saya tertarik pada mereka yang mengembalikan hitungan solusi yang tepat, bukan perkiraan.

21 ds.algorithms  sat  software 

Sebagian besar makalah sekarang ditulis secara kolaboratif, dan kolaborator sering berada di tempat yang berbeda. Saya selalu menggunakan sistem kontrol versi untuk dokumen dan kode saya, dan juga menemukan kontrol versi penting untuk proyek perangkat lunak kolaboratif, tetapi tampaknya banyak peneliti dalam teori menghindari penggunaannya untuk menulis makalah bersama. Untuk …

20 soft-question  research-practice  software  writing 

Saya menggunakan Jung ( http://jung.sourceforge.net/ ) untuk memvisualisasikan peringkat halaman dan merasa agak lambat dan sulit untuk menskalakannya melebihi 100 node. Saya ingin tahu alat apa yang digunakan orang untuk analisis dan visualisasi jaringan / jejaring sosial.

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

Apakah ada paket perangkat lunak yang memungkinkan dekomposisi unitari dari ke dalam sirkuit kuantum melalui set gerbang universal yang telah ditentukan sebelumnya?U( 2n)U(2n)U(2^n)

15 quantum-computing  software 

Saya tertarik untuk mengimplementasikan tugas SM untuk LP, namun saya telah mendengar tentang kemungkinan jebakan: Buku Cormen mengatakan bahwa adalah mungkin untuk memiliki data input yang akan membuat implementasi naif untuk berperilaku dalam waktu yang eksponensial. Saya juga mendengar bahwa implementasi yang naif dapat mengulang untuk beberapa jenis data. Apakah …

14 ds.algorithms  linear-programming  software  implementation  simplex 

Saya ingin menulis bukti matematika menggunakan beberapa asisten bukti. Semuanya akan ditulis menggunakan logika orde pertama (dengan kesetaraan) dan deduksi alami. Latar belakangnya adalah set theory (ZF). Misalnya, bagaimana saya bisa menulis bukti berikut? Aksioma: ∀x∀y(x=y↔∀z(z∈x↔z∈y))∀x∀y(x=y↔∀z(z∈x↔z∈y))\forall x\forall y(x=y\leftrightarrow\forall z(z\in x\leftrightarrow z\in y)) Teorema: ∀x∀y(∀z(z∉x)∧∀z(z∉y)→x=y)∀x∀y(∀z(z∉x)∧∀z(z∉y)→x=y)\forall x\forall y(\forall z(z\notin x)\land\forall z(z\notin y)\rightarrow …

12 lo.logic  software  proof-assistants 

Semua pemecah #SAT yang saya tahu, misalnya RelSat, C2D, hanya mengembalikan jumlah instance yang memuaskan. Tapi saya ingin tahu masing-masing contoh itu? Apakah ada solver #SAT atau bagaimana saya harus memodifikasi solver #SAT yang tersedia untuk melakukan ini? Terima kasih.

11 lo.logic  sat  software 

Saya mencari perangkat lunak untuk menghitung / memperkirakan volume polyhedra cembung dimensi tinggi. Lebih khusus, saya tertarik pada sebuah program, yang dapat menangani tubuh dengan simpul dalam ruang d- dimensi dengan parameter yang dibatasi kira-kira sebagai berikut: d ≤ 50 dan n ≤ 1000 . Perhatikan, bahwa tidak ada jaminan …

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