यह लिनक्स ऐप है जिसका नाम है GraPE Graphical Proof Editor, जिसे लिनक्स में ऑनलाइन चलाया जा सकता है, जिसका नवीनतम संस्करण grape-0.9.4.tar.gz के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ़्त होस्टिंग प्रदाता OnWorks में ऑनलाइन चलाया जा सकता है।
लिनक्स में OnWorks के साथ ऑनलाइन चलाने के लिए GraPE Graphical Proof Editor नामक इस ऐप को डाउनलोड करें और ऑनलाइन चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
स्क्रीनशॉट
Ad
GraPE ग्राफिकल प्रूफ एडिटर लिनक्स में ऑनलाइन चलाया जा सकता है
वर्णन
प्रमाण सिद्धांतकारों के लिए कटौती प्रणालियों का अध्ययन करने और उनके लिए प्रमाण खोज रणनीतियाँ विकसित करने का एक उपकरण। ग्रेप को अंततः चरण-दर-चरण प्रूफ निर्माण, विभिन्न रणनीतियों, प्रूफ परिवर्तनों और विश्लेषण के साथ स्वचालित प्रूफ खोज का समर्थन करना चाहिए।दर्शक
उन्नत अंतिम उपयोगकर्ता, शिक्षा, विज्ञान/अनुसंधान
यूजर इंटरफेस
जावा स्विंग
प्रोग्रामिंग भाषा
जावा
यह एक एप्लिकेशन है जिसे https://sourceforge.net/projects/grape/ से भी प्राप्त किया जा सकता है। हमारे निःशुल्क ऑपरेटिव सिस्टमों में से एक से सबसे आसान तरीके से ऑनलाइन चलाने के लिए इसे ऑनवर्क्स में होस्ट किया गया है।
