SIGSAM - PDFSEARCH.IO - Document Search Engine

SIGSAM
Results: 27

#	Item
11	Annual Report ACM Special Interest Group on Symbolic and Algebraic Computation SIGSAM July 2012 – June 2013 Submitted by: Jeremy Johnson, Chair Add to Reading List Source URL: www.sigsam.org Language: English - Date: 2015-02-26 06:06:14 Computing Science SIGSAM Association for Computing Machinery Computer science
12	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 Association for Computing Machinery Paris Kanellakis Award Paris Kanellakis Bruno Buchberger Computing Science SIGSAM Computer science International nongovernmental organizations
13	Agenda SIGSAM Annual General Meeting July 12, 2006 Introduction Treasurer’s Report Chair’s Report Add to Reading List Source URL: www.sigsam.org - Date: 2006-07-06 01:45:49
14	ACM SIGSAM Annual General Meeting 2007 August 1, [removed]:20 – 17:30 Add to Reading List Source URL: www.sigsam.org Language: English - Date: 2008-07-14 08:44:49 Computing Science Association for Computing Machinery SIGSAM Computer science
15	Chair’s Report SIGSAM Annual General Meeting July 27, 2005 Add to Reading List Source URL: www.sigsam.org Language: English - Date: 2005-07-20 04:06:34
16	SIGSAM Annual General Meeting July 12, 2006 1 Add to Reading List Source URL: www.sigsam.org Language: English - Date: 2006-07-12 10:56:40 Computer science Computing Science Computer algebra systems SIGSAM Association for Computing Machinery
17	Chair’s Report 2006–2007 SIGSAM Annual General Meeting Emil Volcheck, Past Chair August 1, 2007 Who We Are Add to Reading List Source URL: www.sigsam.org Language: English - Date: 2007-08-21 00:11:23 Computer science Science Association for Computing Machinery SIGSAM Jean E. Sammet Computing
18	Microsoft PowerPoint - SIGSAM_Chairs_Report_ISSAC_2014_Kobe_Japan.ppt [Compatibility Mode] Add to Reading List Source URL: www.sigsam.org Language: English - Date: 2015-02-26 06:12:15 Computer science Computing Science Association for Computing Machinery Computer algebra systems SIGSAM Federated Computing Research Conference
19	ACM SIGSAM Bulletin, Vol 38, No. 2, June[removed]Timely communication MKM: A New Interdisciplinary Field of Research William M. Farmer Add to Reading List Source URL: www.mizar.org Language: English - Date: 2010-03-05 21:10:07 Mathematics Knowledge management Mathematical logic Mizar system Mathematical software Knowledge Science Information science Mathematical knowledge management
20	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