이것은 GraPE 그래픽 증명 편집기(GraPE Graphical Proof Editor)라는 이름의 Linux 앱으로 Linux 온라인에서 실행되며 최신 릴리스는 Grape-0.9.4.tar.gz로 다운로드할 수 있습니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
GraPE Graphical Proof Editor라는 이 앱을 다운로드하여 온라인으로 실행하면 OnWorks를 사용하여 Linux에서 온라인으로 무료로 실행할 수 있습니다.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
스크린 샷
Ad
Linux 온라인에서 실행되는 GraPE 그래픽 증명 편집기
기술
증명 이론가가 연역 시스템을 연구하고 이를 위한 증명 검색 전략을 개발하기 위한 도구입니다. GraPE는 궁극적으로 단계별 증명 구성, 다양한 전략을 통한 자동 증명 검색, 증명 변환 및 분석을 지원해야 합니다.오디언스 (Audience)
고급 최종 사용자, 교육, 과학/연구
사용자 인터페이스
자바 스윙
프로그래밍 언어
자바
이것은 https://sourceforge.net/projects/grape/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
