Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.982.378 Times

JGEX New

Company: Zheng Ye
Date Added: November 26, 2012  |  Visits: 261

JGEX

Report Broken Link
Printer Friendly Version



Download (87 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
JGEX RELATED
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  -  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  
Multimedia & Graphics  -  Geometry Definition Tool for SPENVIS 1.0 Beta
Geometry Definition Tool for SPENVIS was built as an interactive graphical utility that is able to define simple 3D geometries. The tool allows you to export your projects as GDML files, a format used by Geant4 application. The Geometry...
 
Multimedia & Graphics  -  Geometry Solver 3D Beta 3
Geometry Solver 3D is an accessible and handy application that will resolve analytic geometry problems with ease. The program will also provide tools for calculations in 3D as well as graphic OpenGL demonstrations. Now you can use this handy...
 
Graphics Editors  -  Euclide 0.6.5
Euclide is an accessible and dynamic geometry creation application written in Java. Euclide allows creation of geometric shapes and transforms (rotation, symmetry), which depend each other. Moving a shape will also move shapes dependent on it....
 
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...
 
NEW DOWNLOADS IN WINDOWS SOFTWARE, MULTIMEDIA & GRAPHICS
Windows Software  -  Movie Box App 3.3.8
Movie Box is Best Application for watching movie, TV shows , Music video, here you to give us clear step by step guide how to download and install Moive Box for Android , all user can free download Movie Box and most user friendly apps. All PC or...
67.23 KB  
Windows Software  -  Cydia Download 1.1.10
This is one of the best freeware released for users. What is Cydia Download ? This is simple downloader which has developed for install Cydia for your device less than ten minutes of time. This freeware is important for all jailbreak users. You...
67.23 KB  
Windows Software  -  Jihosoft iOS10 Backup Extractor 7.0.7
What can you do to extract and recover your iPhone data if you get them lost for the following reasons: 1.Deleted important data from iPhone by mistake. 2.iPhone is damaged, lost or stolen. 3.iPhone stuck in black/white screen of death, iPhone...
16.5 MB  
Windows Software  -  Screenshot Captor 4.15.0
Screenshot Captor is designed for grabbing lots of screenshots with minimal intervention. It has great multimon suport and includes a full image explorer with full shell functionality and unsurpassed integration with external tools like graphic...
7.15 MB  
Windows Software  -  MonitorPack Guard 5.4.1
MonitorPack provides Windows tools at no cost for server monitoring, IT asset management and help Desk solution, optional Cloud Solution (IaaS or Infrastructure as a Service) Cloud Application (Platform as a Service) and software on demand (SaaS...
11.01 MB  
Multimedia & Graphics  -  Pixillion Image Converter Software Free 4.09
Pixillion is a free JPEG and image file format conversion software for Windows. Pixillion Image Converter Software Free can convert files from and to JPEG and other file formats like gif, tiff, png, pdf and more. Before converting your file...
867.68 KB  
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