RODIN - Browse /Plugin_QualitativeProbability/0.2.0 at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
ch.ethz.eventb.qualprob_feature_0.2.0.201109170034.jar	2011-09-16	11.4 kB	0
ch.ethz.eventb.qualprob_0.2.0.zip	2011-09-16	98.6 kB	0
ch.ethz.eventb.qualprob.ui_0.1.0.jar	2011-09-16	9.1 kB	0
ch.ethz.eventb.qualprob_0.2.0.jar	2011-09-16	42.4 kB	0
Totals: 4 Items		161.5 kB	0

Other Useful Business Software

Empowering Companies To Excel In Safety Data Sheet Compliance

For any organization using chemicals that require Safety Data Sheets

Effortless setup and maintenance: Simplified management and seamless online access to safety data sheets for your team

Learn More

Connect with customers in one app

Businesses of all sizes seeking an AI-enhanced, all-in-one communication platform to unify voice, video, and messaging for improved team collaboration

Dialpad Connect is an AI-powered unified communications platform that combines voice, video, and messaging to enhance team collaboration and customer interactions. It features real-time call transcription, automated call summaries, and AI-generated action items to help users stay focused during conversations. The platform integrates seamlessly with popular business apps like Salesforce, Zendesk, Microsoft Teams, and Google Workspace to streamline workflows. Designed for businesses of all sizes, Dialpad Connect delivers enterprise-grade reliability with 100% uptime SLA and robust disaster recovery. Security and privacy are core priorities, meeting standards like GDPR, HIPAA, and SOC 2 compliance. Dialpad Connect helps companies elevate customer experiences while boosting team productivity.

Learn More

Empowering Companies To Excel In Safety Data Sheet Compliance

For any organization using chemicals that require Safety Data Sheets

Effortless setup and maintenance: Simplified management and seamless online access to safety data sheets for your team

Learn More

Recommended Projects

Lurch
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
JGraphT
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
Whole Platform
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
GNU Ballistics Library
An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs

RODIN Files

Get an email when there's a new version of RODIN