«software» 태그된 질문

두 개 이상의 다른 기관의 공동 저자가 라텍스로 논문을 작성하고 있으며 초안을 반복해서 이메일로 보내는 것보다 더 나은 방법을 원한다고 가정하십시오. 그들은 Dropbox 계정을 무료로 개설하고 암호를 공유하며 컴퓨터의 종이 버전을 dropbox의 계정과 동기화 할 수 있다는 것을 알고 있습니다. 그러나 두 사람이 동시에 같은 섹션을 편집하는 경우 서로 변경 …

36 soft-question  research-practice  software  writing 

기계가 문제를 확인할 수 있도록 중단 문제에 대한 Turing의 증거를 공식화하고 싶다고 가정합니다. 잘 알려진 자동 정리 증명 시스템 중 일부는 Mizar, Coq 및 HOL4를 포함합니다. Coq을 다운로드하여 실험했지만 Turing 머신을위한 라이브러리가 없습니다. 나는 스스로 코드를 작성하려고 생각했지만 튜토리얼이 부족하고 언어를 선택하기가 어렵다는 것을 알았습니다. 내 질문은 : 일반적으로 튜링 …

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

고정 된 k (폭)에 대한 그래프의 트리 분해 계산을위한 오픈 소스 프로그램을 아는 사람이 있습니까? Tree-Decomposition을 찾는 문제는 변수 "k"에 대해 NP-Hard이지만 입력 인스턴스는 실제로 작고 (~ 10 개 노드) "k"는 고정되어 있습니다.

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

결과를 종합 할 때 MS Paint에 결합 된 다이어그램보다는 전문적인 모양의 다이어그램을 갖는 것이 바람직합니다. 데이터 구조를 그리기위한 표준은 무엇입니까?

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

누구나 #SAT 솔버의 실제 구현을 다운로드 할 수있는 하나 이상의 웹 사이트를 가리킬 수 있습니까? 나는 근사치가 아닌 정확한 솔루션 수를 반환하는 사람들에 관심이 있습니다.

21 ds.algorithms  sat  software 

Jung ( http://jung.sourceforge.net/ )을 사용하여 페이지 순위를 시각화하고 100 노드 이상으로 확장하는 것이 약간 느리고 어렵다는 것을 알았습니다. 사람들이 네트워크 / 소셜 네트워크 분석 및 시각화에 사용하는 다른 도구가 궁금합니다.

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

대부분의 논문은 현재 공동으로 작성되며 공동 작업자는 종종 다른 장소에 있습니다. 필자는 항상 문서와 코드에 버전 제어 시스템을 사용해 왔으며 공동 작업 소프트웨어 프로젝트에 버전 제어가 중요하다는 사실을 발견했지만 이론적으로 많은 연구원들이 공동 논문 작성에 사용하지 않는 것 같습니다. 공동 작업자에게 버전 관리 (개정 제어)가 함께 작업하기에 좋은 아이디어임을 확신시키기 …

20 soft-question  research-practice  software  writing 

사전 정의 된 범용 게이트 세트를 통해 에서 양자 회로로 단위를 분해 할 수있는 소프트웨어 패키지가 있습니까?유( 2엔)유(2엔)U(2^n)

15 quantum-computing  software 

LP 작업을 위해 SM을 구현하는 데 관심이 있지만 가능한 함정에 대해 들었습니다. Cormen의 책에 따르면 순진한 구현이 기하 급수적으로 작동하도록 입력 데이터를 가질 수 있다고합니다. 또한 순진한 구현으로 인해 일종의 데이터가 반복 될 수 있다고 들었습니다. SM의 실제 구현에 대한 뉘앙스를 설명하는 책 / 종이 / 소스가 있습니까? 미리 감사드립니다.

14 ds.algorithms  linear-programming  software  implementation  simplex 

교정 보조를 사용하여 수학 교정을 작성하고 싶습니다. 모든 것은 1 차 논리 (평등)와 자연스러운 추론을 사용하여 작성됩니다. 배경은 이론 (ZF)으로 설정됩니다. 예를 들어 다음과 같은 증거를 어떻게 작성할 수 있습니까? 공리 :∀ 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 …

12 lo.logic  software  proof-assistants 

내가 아는 모든 #SAT 솔버 (예 : RelSat, C2D)는 만족할만한 인스턴스 수만 반환합니다. 그러나 각 인스턴스를 알고 싶습니다. 이러한 #SAT 솔버가 있거나 사용 가능한 #SAT 솔버를 수정하여 어떻게해야합니까? 감사합니다.

11 lo.logic  sat  software 

고차원 볼록 다면체를 계산 / 추정하는 소프트웨어를 찾고 있습니다. 더 구체적으로, 나는 및 과 같이 대략적으로 경계가 지정된 매개 변수를 사용 하여 차원 공간 에서 개의 정점을 가진 바디를 처리 할 수있는 프로그램에 관심이 있습니다 . 얼굴 수에 대한 보장은 없습니다.엔nn디dd디≤ 50d≤50d \le 50n ≤ 1000n≤1000n \le 1000 Jeff Erickson의 …

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