Bruno Buchberger

Results: 15



#Item
1Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Second Announcement

Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Second Announcement

Add to Reading List

Source URL: cadgme.ms.sapientia.ro

Language: English - Date: 2016-04-28 09:03:52
2PostDoc Position (f/m, 100%) in the RICAM Research Group “Symbolic Computation” At the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences, Linz, Austria, the

PostDoc Position (f/m, 100%) in the RICAM Research Group “Symbolic Computation” At the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences, Linz, Austria, the

Add to Reading List

Source URL: www.ricam.oeaw.ac.at

Language: English - Date: 2016-05-24 10:34:45
3Curriculum Vitae Wolfgang Schreiner A.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Schreiner Office address: Research Institute for Symbolic Computation (RISC)

Curriculum Vitae Wolfgang Schreiner A.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Schreiner Office address: Research Institute for Symbolic Computation (RISC)

Add to Reading List

Source URL: www.risc.jku.at

Language: English - Date: 2015-04-21 02:40:32
4RTA 2008 19th International Conference on Rewriting Techniques and Applications July 15-17, 2008, Hagenberg, Austria The 19th International Conference on Rewriting Techniques and Applications (RTA[removed]is organised as p

RTA 2008 19th International Conference on Rewriting Techniques and Applications July 15-17, 2008, Hagenberg, Austria The 19th International Conference on Rewriting Techniques and Applications (RTA[removed]is organised as p

Add to Reading List

Source URL: rewriting.loria.fr

Language: English - Date: 2008-05-21 04:32:19
5Annual Report ACM Special Interest Group on Symbolic and Algebraic Computation SIGSAM July 2008 – June 2009 Submitted by: Mark Giesbrecht, Chair

Annual Report ACM Special Interest Group on Symbolic and Algebraic Computation SIGSAM July 2008 – June 2009 Submitted by: Mark Giesbrecht, Chair

Add to Reading List

Source URL: www.sigsam.org

Language: English - Date: 2015-02-26 06:06:08
6How beginners experience grid computing Michael Krieger RISC Software GmbH Softwarepark 35, 4232 Hagenberg, Austria

How beginners experience grid computing Michael Krieger RISC Software GmbH Softwarepark 35, 4232 Hagenberg, Austria

Add to Reading List

Source URL: www.egcf.eu

Language: English - Date: 2014-06-15 06:18:08
7Curriculum Vitae Dr. Teimuraz (Temur) Kutsia Research Institute for Symbolic Computation (RISC) Johannes Kepler University, A–4040 Linz, Austria Tel: +[removed]9982 Fax: +[removed]9930

Curriculum Vitae Dr. Teimuraz (Temur) Kutsia Research Institute for Symbolic Computation (RISC) Johannes Kepler University, A–4040 Linz, Austria Tel: +[removed]9982 Fax: +[removed]9930

Add to Reading List

Source URL: www.jst.go.jp

Language: English - Date: 2010-11-01 01:10:06
8

PDF Document

Add to Reading List

Source URL: www.mizar.org

Language: English - Date: 2010-03-05 21:10:06
9

PDF Document

Add to Reading List

Source URL: www.mizar.org

Language: English - Date: 2010-03-05 21:10:06
10Doctoral Studies in Symbolic Computation Symbolic Computation at RISC Symbolic Computation is the subarea of mathematics and computer science which solves problems on symbolic objects

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