Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.3 (D10)

First Page		Document Content
Date: 2005-08-31 15:06:00 Software Java platform Proof assistants Debuggers Eclipse IBM software KeY Wolfram Mathematica Rodin tool		Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.3 (D10) Add to Reading List Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 1,12 MB Share Document on Facebook

	HANDS-ON START TO WOLFRAM MATHEMATICA ® and Programming with the Wolfram Language™ DocID: 1uFOh - View Document
	IAMC Architecture and Prototyping: A Status Report P. Wang∗, S. Gray†, N. Kajler‡, D. Lin§, W. Liao, X. Zou Institute for Computational Mathematics Kent State University Kent, Ohio 44242, U.S.A. DocID: 1r7oe - View Document
	The Marriage of MrMathematica and MzScheme Chongkai Zhu Abstract DocID: 1qKsH - View Document
	Preparing HPC Applications for Exascale: Challenges and Recommendations c (ADPNA at NBiS-2015, IEEE) ´ Erika Abrah´ DocID: 1qHMN - View Document
	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.3 (D10) DocID: 1qtdo - View Document