Nullspace computation over rational function fields for symbolic summation Bur¸cin Er¨ocal RISC Johannes Kepler University Linz, Austria, A-4040

First Page		Document Content
Date: 2013-03-16 14:14:30 Algebra Mathematics Linear algebra Computer algebra Matrices Matrix theory Polynomial Matrix Finite field Invertible matrix Symbolic computation Kernel		Nullspace computation over rational function fields for symbolic summation Bur¸cin Er¨ocal RISC Johannes Kepler University Linz, Austria, A-4040 Add to Reading List Source URL: erocal.org Download Document from Source Website File Size: 129,72 KB 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