Windows Software / Multimedia & Graphics

JGEX New

Company: Zheng Ye

Date Added: November 26, 2012 | Visits: 407

Report Broken Link
Printer Friendly Version

Product Homepage
Download (512 downloads)

JGEX, which is actually short for Java Geometry Expert is an ongoing developing system.

JGEX is a useful system that is able to combine an approach for visually dynamic presentation of proofs (VDDP), dynamic geometry software (DGS) and automated geometry theorem prover (GTP) .

Requirements: No special requirements

Release Date: November 26, 2012

Platforms: Windows All

Keyword: Dynamic Geometry, Geometry, Geometry Tool, Java Geometry, Jgex, Prove, Theorem

Users rating: 0/10

License: Freeware

USER REVIEWS

More Reviews or Write Review

JGEX RELATED

Utilities - Euclide for Linux 0.6.6 Euclide is a dynamic geometry software, which tries to be as flexible as possible. You start by placing some free points, then you create objects using these points: lines, circles, line segment, circle arcs... each new figure can in turn be used...	1.18 MB
Libraries - DORM4J 0.1 DORM4J (Dynamic Object-Relational Mapping for Java) is an O/R mapping library for Java. DORM4J library uses annotations in JDK 1.5 and dynamic features of the Java language to implement O/R mapping functions without additional XML config files....	501.76 KB
Programming - Baud Rate Tool (Java) 1.0 This Java program calculates the SPBRG value for a given baud rate (Baudrate) and clock frequency. It comes with a graphical interface and a simple value interpretation guide. A Java Webstart file (.jnlp) is provided.	23.87 KB
Programming - CookXml 3.0.2 CookXml is a powerful dynamic XML data binding tool for Java. It is designed to be easily extensible and yet simple to use, with advanced exception handling. CookSwing and CookSwt are tag libraries for CookXml to do XML->GUI (XUL) for Swing and SWT.	143.06 KB
Programming - JVM dynamic languages MetaobjectProtocol 0.4 Library for implementation of interoperable metaobject protocols for dynamic languages running on a Java Virtual Machine.	222.01 KB
Code Management Tools - ACL2 3.2.1 ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the...	5.8 MB
Science - CB2Java 0.3.1 Dynamic COBOL copybook parser for Java. Supports parsing and writing of application data based on parsed copybooks. Coverts COBOL types to Java types and back to COBOL types with validation.	258.29 KB
Programming - TagBox 1.0 Dynamic XML generation implemented in Java. Features an extensible XML-compliant procedural scripting language.	358.06 KB
Programming - Java Preferences Tool 0.8 Java Preferences Tool is a simple utility for Java developers and testers, in the spirit of Microsofts Registry Editor. Java Preferences Tool allows you to view, edit, compare, and search Java preferences. The program has traditional...
Database Tools - Java SQL Admin Tool 2.4.0 Admin is entirely written in Java. It uses Swing GUI Components and JDBC to connect to databases. It has been succesfully tested with MySQL, InstantDB, Oracle, Empress, and PostgreSQL. You can have a tree view of the RDBMS or pick a single...	512 KB

NEW DOWNLOADS IN WINDOWS SOFTWARE, MULTIMEDIA & GRAPHICS

Windows Software - iTop Screen Recorder 4.5.0.1385 iTop Screen Recorder is an all-in-one screen recorder, video editor, and screenshot tool. It helps capture anything on your PC screen to be a high-quality video file or screenshot, as well as edit the recorded videos and local videos to make them...	144.59 MB
Windows Software - Sync2 Cloud 2.10 Synchronizing Outlook between multiple sources now made easy with Sync2 Cloud, powerful Microsoft Outlook synchronization software. Sync Outlook Calendar, Contacts and Tasks between multiple sources. Share Outlook Calendar with others without...	28.29 MB
Windows Software - WDZ Hash Generator 1.0 A simple program that can generate hashes such as md5, sha1, sha2 and many others. Hash function - a function assigning any short number to any large number, always having a fixed size, non-specific, quasi-random value, so-called irreversible...	2.27 MB
Windows Software - WriterHelper 1 WriterHelper consist of WordNet Dictionary, WordNet Thesaurus, Plagairism Checker, Encryption using TripleDES, DES, and AES. WriterHelper helps you to search for dictionary, thesurus using WordNet Dictionary, Encrypt Text using AES, DES,...	223 KB
Windows Software - Tiny Security Suite 1 Tiny Security Suite is a software that consists of encryption, shredding, VPN, folder hiding, Firewall, and Tor Browser. Tiny Security Suite has: - File Encryption (AES and Triple DES) - Text Encryption (AES and Triple DES) - Shredder -...	227 KB
Multimedia & Graphics - DVDFab File Transfer 11.0.5.1 DVDFab File Transfer is a handy and easy to use tool for you to remove converted files on the computer to devices such as iPod, PSP and ZUNE. More devices will be supported in the future. When DVD/Blu-ray/File to iPod, DVD/File to PSP, and...	160.96 MB
Multimedia & Graphics - EWD 3D 5.7.5 EWD 3D is a 3D CAD program. The software contains the major CAD functions (line, arc, polyline, spline, face, 3D solid, 3D Surface). Support boolean operation, undo/redo, drag/drop, OSNAP. And have good interactive,easy to use UI. Version EWD...	14.3 MB
Multimedia & Graphics - EasyBanner Free 5.0 EasyBanner Free is free software that makes it easy and simple to create banners in GIF format. The design method is simple and you have the possibility to specify everything in the banner: background, texts, images, styles and animated effects....	2.23 MB
Multimedia & Graphics - Free AVI/MPEG/WMV/MP4/FLV Video Joiner 4.4.5 Free AVI/MPEG/WMV/MP4/FLV Video Joiner, a perfect easy-to-use video joining tool, allows the users to easily and quickly join more than one video file of different formats to one file of a specified format including AVI, MP4, FLV, WMV, etc. The...	6.55 MB
Multimedia & Graphics - Webcam/Screen Video Capture Free 7.5.6 Webcam/Screen Video Capture Free is able to capture video from devices like webcams, IP-cameras, streaming video and more to AVI, MP4, FLV, WMV, MKV, etc., making the quickest and clearest way to communicate reachable for all people. It can record...	4.25 MB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts