Cross-matching - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2005-08-29 16:56:59 Computer algebra systems Cross-platform software Functional languages Wolfram Research Mathematica Macsyma Sage Symbolic computation Pattern matching Software Mathematical software Science		Add to Reading List Source URL: http.cs.berkeley.edu Download Document from Source Website Share Document on Facebook

	Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department DocID: 1xVlv - View Document
	Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be DocID: 1xV0v - View Document
	SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo DocID: 1xUDS - View Document
	SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 , DocID: 1xTWC - View Document
	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen DocID: 1xTIa - View Document