Research Institute for Symbolic Computation - PDFSEARCH.IO - Document Search Engine

Research Institute for Symbolic Computation
Results: 18

#	Item
11	Symbolic Computation and Program Verification M˘ad˘alina Eras¸cu Research Institute for Symbolic Computation Johannes Kepler University, Linz, Austria [removed] Abstract Add to Reading List Source URL: www.marshallplan.at Language: English - Date: 2013-08-13 16:13:45 Mathematics Resultant Abstract algebra Algebra Polynomials
12	Doctoral Studies in Symbolic Computation Symbolic Computation at RISC Symbolic Computation is the subarea of mathematics and computer science which solves problems on symbolic objects Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2011-12-15 08:55:43 Classes of computers Symbolic computation Reduced instruction set computing Computing Computer science Science Bruno Buchberger SIGSAM Research Institute for Symbolic Computation Computer algebra Hagenberg im Mühlkreis
13	Fast, rigorous arbitrary-precision numerics with ball arithmetic Fredrik Johansson Research Institute for Symbolic Computation, Johannes Kepler University Linz Supported by Austrian Science Fund (FWF) grant Y464-N18 Add to Reading List Source URL: fredrikj.net Language: English - Date: 2013-03-14 11:53:29 Applied mathematics Numbers Data types Arithmetic Numerical software Floating point Arbitrary-precision arithmetic Interval arithmetic GNU Multiple Precision Arithmetic Library Computer arithmetic Mathematics Numerical analysis
14	MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2001-03-25 13:35:12 Mathematical knowledge management Mathematics Science Buchberger Michael Kohlhase Andrzej Trybulec Knowledge Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis James H. Davenport
15	AISC 2004 7th International Conference on Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2004-02-11 11:40:23 Linz Antoine Augustin Calmet Belaid Michael Kohlhase Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis Buchberger
16	CALL FOR PAPERS - CALL FOR PAPERS - CALL FOR PAPERS Hagenberg, Austria July 5-8, 2007 http://www.risc.uni-linz.ac.at/conferences/ispdc2007 In the exciting and rapidly moving world of parallel and Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2006-12-13 04:50:42 Softwarepark Hagenberg Johannes Kepler Austria Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis Geography of Austria Linz
17	CALL FOR PAPERS - CALL FOR PAPERS - CALL FOR PAPERS Hagenberg, Austria July 5-8, 2007 http://www.risc.uni-linz.ac.at/conferences/ispdc2007 In the exciting and rapidly moving world of parallel and Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2007-01-29 06:27:27 Softwarepark Hagenberg Johannes Kepler Austria Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis Geography of Austria Linz
18	MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2001-03-25 13:36:33 Mathematical knowledge management Mathematics Science Buchberger Michael Kohlhase Andrzej Trybulec Knowledge Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis James H. Davenport

UPDATE