Symbolic integration

#	Item
11	Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) Add to Reading List Source URL: wwwneu.inf.tu-dresden.de Language: English - Date: 2010-02-01 08:27:12 Diagrams Functions and mappings Binary decision diagram Boolean algebra Model checking Integral Numerical integration Probability density function Mathematical analysis Mathematics Physics
12 $Polynomials / Elementary algebra / Partial fraction / Euclidean algorithm / Square-free polynomial / Rational function / Greatest common divisor / Transcendental number / Integral / Mathematics / Mathematical analysis / Algebra$	SYMBOLIC INTEGRATION TUTORIAL Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2005-01-25 08:32:15 Polynomials Elementary algebra Partial fraction Euclidean algorithm Square-free polynomial Rational function Greatest common divisor Transcendental number Integral Mathematics Mathematical analysis Algebra
13	PDF Document Add to Reading List Source URL: esd.mit.edu Language: English - Date: 2008-06-11 23:20:09 Computer algebra systems Discontinued software Macsyma Computer workstations Functional languages Lisp machine Maxima Symbolic integration MATHLAB Software Computing Lisp programming language