Deriver 1.2

Company: SoftOption Ltd

Date Added: October 25, 2013 | Visits: 222

Report Broken Link
Printer Friendly Version

Product Homepage
Download (42 downloads)

The applets (and the applications) can run in a variety of configurations (with different menus, different menu items, different logical systems, etc.). Which configuration a running instance uses depends on how they are launched, and preferences that the User (or Instructor) chooses. The examples shown here are mostly running Introduction and Elimination rules (Gentzen sequent calculus adapted to a friendly presentation).<br />

Requirements: No special requirements

Platforms: Mac, Mac OSX

Keyword: Chooses, Elimination, Examples, Friendly, Instructor, Introduction, Presentation, Rules, Shown

Users rating: 0/10

License: Shareware

Size: 629 B

USER REVIEWS

More Reviews or Write Review

DERIVER RELATED

Screen Savers - MessagePoint Standard 2.0 MessagePoint is a screen saver for Microsoft PowerPoint. You select a PowerPoint presentation and this presentation is shown when your system becomes idle and the screen saver functionality kicks in. This functionality can be used on the computers...	2.06 MB
Document Management Tools - CD FrontEnd PRO 2014.23.4 CD FrontEnd PRO is the professional way to create an autorun CD DVD presentation. Make a self running catalog / catalogue, a brochure, a depliant, a software collection, a simple CD menu, Acrobat PDF files, MP3, PowerPoint PPT PPS, Word DOC,...	2.67 MB
Multimedia & Graphics - CD FrontEnd 3.6.130 The CD Front End allows you to create an autorun / autoplay / autostart / autoinstall CD. A catalog, a software collection, Acrobat PDF files, MP3, PowerPoint PPT, Word DOC, AutoCAD, Corel, any stuff. The user simply inserts the CD, then in a full...	2.35 MB
Mathematics - SimulEquations 3.0 Software for teaching and learning of linear equations with two unknowns. Solutions by the elimination and substitution methods. Worked examples of solutions with each method shown side by side for comparison. Can generate hundreds of sums for...	2.9 MB
Inventory Systems - CD FrontEnd LITE 2016.27 CD Front End, the professional autoplay/autorun CD - DVD maker software: make Web-like pages, create presentations, build product catalogs, menus, catalogues, CD business cards, brochures, slide shows, show menus, run files and programs, show...	2.67 MB
Libraries - OpenOffice::OODoc::Text 2.032 OpenOffice::OODoc::Text is a Perl module for the text processing submodule of OpenOffice::OODoc. This manual chapter describes the text-oriented methods of OpenOffice::OODoc, implemented by the OpenOffice::OODoc::Text class, and inherited by the...	215.04 KB
Internet Client Suites - Torrentum 3.1.0 Torrentum is a highly-competent p2p file sharing application built for downloading fast any files you may wish to get over the Internet such as movies, music, apps, games or texts. Using the BitTorrent protocol and written in java, Torrentum makes...	13.47 MB
Business - Tutor for Keynote for the iPad 1 Get the most out of Keynote for iPad with this video tutorial! Watch the tutorials on your Mac while keeping Keynote open on your iPad. This app includes 24 how-to videos on Keynote for iPad. The videos cover everything from the interface to the...	508 MB
Development Tools - Decimate Polygon 1.0 Have you ever worked with 2D boundary shape representations and noticed that the same shape can be represented with reasonable accuracy by a much smaller number of points? Did you ever need to reduce the complexity of a 2D shape while retaining as...	30.72 KB
Education - HEALPix 2.20a HEALPix is an acronym for Hierarchical Equal Area isoLatitude Pixelization of a sphere. As suggested in the name, this pixelization produces a subdivision of a spherical surface in which each pixel covers the same surface area as every other...	27.7 MB

NEW DOWNLOADS IN MACINTOSH SOFTWARE, EDUCATION

Macintosh Software - MailVita OST to PST Converter for Mac 1.0 Get complete conversion of OST files to Outlook PST format with MailVita OST to PST Converter for Mac. The application is well-designed by the developers to provide 100% accurate and safe results. The interface is user-friendly so non-technical...	54.17 MB
Macintosh Software - ToolsCrunch Mac EML to PST Converter 1.0 Using the ToolsCrunch MAC EML to PST Converter, it is an affordable and verified application to provide quality results all the time. The users can easily check all features of the application with EML to PST Conversion freeware. It is a best...	49.61 MB
Macintosh Software - EasyEDA PCB Designer for MacOS 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Macintosh Software - VideoSolo Video to GIF Converter (Mac) 1.0.12 How to make a GIF? VideoSolo Free Video to GIF Converter for Mac supports all popular video files including MP4, AVI, MOV, WMV, FLV, M4V, etc. You can easily turn MP4/AVI/MOV/WMV/FLV/M4V to GIF animation on Mac and share your GIFs with your...	46.51 MB
Macintosh Software - VideoSolo Free Video Converter (Mac) 1.0.18 VideoSolo Free Video Converter for Mac is a fast, powerful and easy-to-master video converter. Its main purpose is to convert video files from one format into another. It is able to convert video and audio files in 300+ formats on Mac for totally...	75.29 MB
Education - Peppa Popper 1.0 Peppa Popper I was inspired by a children???a?s TV show Peppa Pig visits Daddy Pig???a?s Office and the fact that my daughter (aged 16 months) has been taking marginally more interest in the computer. So I did a quick...	807 B
Education - Sliding Down an Incline Plane Model 1.0 This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased,...	51.2 KB
Education - MrAIC 1.4.4 MrAIC.pl is a Perl script for calculating AIC, AICc, BIC, and Akaike weights (for a review, see Burnham and Anderson, 2002) for nucleotide substitution models. Likelihood scores under different models are estimated using PHYML (Guindon and...	10.24 KB
Education - Three Charges 1.0 In this simulation, you can investigate the idea of the force between charged objects. Initially, the simulation sets up three charged objects, one at each corner of an equilateral triangle. The charges have different magnitudes - your job is to...	1.36 MB
Education - AWclust 3.0 AWclust is easy to use non-parametric population structure analysis software written for R with a GUI interface. Just point and click and you will be on your way to discovering the important cluster information in your SNP data sets.	20.48 KB

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