41. Mathematical Resources: Computer Algebra, Symbolic Mathematics, Operator Algebra Mathematics Archives Topics in Mathematics - Computer Algebra; Computer Algebra Benchmarks by Heinz Kredel University of Mannheim; Computer Algebra Links Korteweg-de Vries Institute http://mathres.kevius.com/comal.html

Computer Algebra, Symbolic Mathematics Operator Algebra, Mathematical Programming Algebra Linear Algebra Mathematics Archives - Topics in Mathematics - Computer Algebra Computer Algebra Benchmarks by Heinz Kredel University of Mannheim Computer Algebra Links Korteweg-de Vries Institute for Mathematics AJAX Calculator Online Symbolic Calculator Algorithms Information and Course Materials on the Net by Kirk Pruhs Association for Symbolic Logic Austrian Center for Didactics of Computer Algebra Axiom Computer Algebra System - Summary Bibliographies on Computational Mathematics ... The Center for Discrete Mathematics and Theoretical Computer Science DIMACS (New Brunswick NJ, USA) CoCoA commutative computer algebra - University of Genova commalg.org - the center for commutative algebra COMPUTER ALGEBRA, Algorithms, Systems and Applications by Richard Liska, Ladislav Drska, Jiri Limpouch, Milan Sinor, Michael Wester, Franz Winkler Computer Algebra in Mathematics Education CAME C omputer A lgebra ... Computer Algebra and Problem Solving Environments by Stanly Steinberg A Critique of the Mathematical Abilities of CA Systems by Michael Wester Derive-news Archives of DERIVE-NEWS@JISCMAIL.AC.UK

42. COCOA SCHOOL COmputational COmmutative Algebra and International School on Computer Algebra. Corte Rosada Hotel Porto Conte, Italy; 2326 May 2005. http://cocoa.dima.unige.it/conference/schooliv/

COCOA International School on Computer Algebra Hotel Corte Rosada Porto Conte, Italy 23-26 May, 2005 Preliminary announcement First announcement Second announcement After the school ... CoCoA Home Page After the school... Course 1 Juan Migliore Experiments in Commutative Algebra and Algebraic Geometry tutor: Martin Kreuzer Course 2 Serkan Hosten The Combinatorics of Syzygies tutor: Anna Bigatti Minicourse John Abbott Modular methods in CoCoA photos by Lorenzo Robbiano , by Montserrat Manubens , by John Abbott slides The Combinatorics of Syzygies Lecture 1 Lecture 2 Lecture 3 notes Experiments in Commutative Algebra and Algebraic Geometry notes (preliminary) Modular methods notes (preliminary) tutorials The Combinatorics of Syzygies Modular methods Euclid.coc BigGCD.coc BenOr-Tiwari.coc GBCoeffSize.coc ... Sundries.coc

43. Computer Algebra Benchmarks Collated by Computer Algebra Fachgruppe, Mannheim. http://krum.rz.uni-mannheim.de/cafgbench.html

Computer Algebra Benchmarks Benchmark Initiative, Computer Algebra Fachgruppe of GI, DMV and GAMM Abstract: The initiative will discuss, develop, define, collect all facettes of this challenging problem. It should analyse and develop test suites but also define standard examples for the various topics of computer algebra where algorithm and system developer can test their newly developed and improved methods. Furthermore, all kinds of test examples should be collected and consolidated. Directory of Activities (new) Slides of the Meeting at ISSAC'98 Computer Algebra Benchmarks Collection from July 1998. The CASBENCH Computer Algebra Benchmarks , a proposal from 1995 for the beginning of some computer algebra benchmarking, discussed by the Computer Algebra Fachgruppe. More Links: Additional Computer Algebra WWW Pages CAIS der Computeralgebra Fachgruppe This servers homepage Heinz Kredel , e-mail: kredel@rz.uni-mannheim.de Last modified: Mon Jun 28 16:50:34 MEST 1999

44. Download LiveMath Software LiveMath Maker Create WebSharable Mathematics with this Easy-to-Use Computer Algebra and Graphing System. http://www.livemath.com/download/

Home Products Download Purchase ... Contact All software is available on CD-ROM for purchasers of LiveMath Maker or MathEQ Expression Editor. Release Notes New Features Latest Versions LiveMath Plug-In/ActiveX Test Page Need help getting started with LiveMath? Try our JumpStart Course Licensed Software You may use these products for 30 Days for free. After the trial period, a License Key will be necessary to Activate the software. LiveMath Maker Create Web-Sharable Mathematics with this Easy-to-Use Computer Algebra and Graphing System. More Info Macintosh Macintosh OS X Windows Linux x86 Solaris Sparc MathEQ Expression Editor Create Professional Looking Mathematical Expressions for your Scientific and Technical Documents using this Powerful Typesetting Application. More Info Macintosh Macintosh OS X Windows Licensed Freeware These products are Free for download. LiveMath Plug-In / ActiveX More Info Macintosh Macintosh OS X Windows Linux/x86 [Mozilla] LiveMath Viewer Interact with LiveMath notebooks in this Desktop Application. More Info Macintosh Macintosh OS X Windows Linux x86 [with LM Plug-In Helper] Solaris Sparc Latest Versions: Product Mac Mac OS X Windows Linux Solaris LiveMath Maker LiveMath Plug-In/ActiveX LiveMath Viewer MathEQ Expression Editor MathMonkeys, LLC

45. KANT Group (Algebra And Number Theory) Based at the Technische Universit t, Berlin. Producers of KANT/KASH, a computer algebra system for sophisticated computations in algebraic number fields. http://www.math.tu-berlin.de/algebra/

Institute of Mathematics KANT Group KANT Group (Algebra and Number Theory) About us Members Activities KANT/KASH ... E-mail About us We are the Algebra and Number Theory research group of the Institute of Mathematics at Our name, KANT , is short for C omputational A lgebraic N umber T heory with a slight hint at its German origin ( Immanuel Kant ). KANT is also the name of the sophisticated computer algebra system that has been developed under the project leadership of Prof. Dr. M. E. Pohst more about KANT We are furthermore involved in the research projects SCIEnce QaoS , and GiANT Members Prof. Dr. M. E. Pohst Prof. Dr. F. Hess Oliver Voigt (System Administrator) Dr. Claus Fieker ... Dr. Sebastian Pauli PhD Students Thorsten Lagemann Jose Mendez Moritz Minzlaff Osmanbey Uzunkol ... Marcus Wagner Diplomanden Sebastian Freundt Frauke Schulze Full list of members Activities 10. Kryptotag more Lange Nacht der Wissenschaften 2008: KryptoLabor Wir waren wieder bei der Langen Nacht der Wissenschaften am 14. Juni 2008 mit dem KryptoLabor dabei. Allgemeine Informationen zur Langen Nacht finden sich hier ANTS VII more Lange Nacht der Wissenschaften 2006: KryptoLabor Wir waren wieder bei der Langen Nacht der Wissenschaften am 13. Mai 2006 mit dem

46. Computer Algebra Handbook File Format PDF/Adobe Acrobat Quick View http://issac2009.kias.re.kr/cah_toc.pdf

47. Ontario Research Centre For Computer Algebra - ORCCA Oct 29, 2007 Researchers at ORCCA study algorithms and software systems for symbolic mathematical computation. At any given time a number of visitors and http://www.orcca.on.ca/

48. ZCA Home Page A scientific institution of the departments of Mathematics , Computer Science , and Electrical Engineering at the University of Kaiserslautern. The goal of the centre is to advance and to support the use of Computer Algebra in industry, research, and teaching. http://www.mathematik.uni-kl.de/~zca/Welcome.html

Willkommen ZCA Kaiserslautern Centre for Computer Algebra Welcome Mathematics Computer Science , and Electrical Engineering at the University of Kaiserslautern . The goal of the centre is to advance and to support the use of Computer Algebra in industry, research, and teaching. Goals and activities Actively participating research groups and their projects Paper series Reports on Computer Algebra ... Links related to Computer Algebra c/o Prof. Dr. G.-M. Greuel FB Mathematik D-67663 Kaiserslautern Germany greuel@mathematik.uni-kl.de Last modified: Tue Nov 22 15:12:01 MEZ 2005

49. SourceForge.net: Computer Algebra System - Project Web Hosting - Open Source Sof SourceForge presents the Computer Algebra System project. Computer Algebra System is an open source application. SourceForge provides the world's largest selection of Open http://computeralgebra.sourceforge.net/

Computer Algebra System : Project Web Hosting - Open Source Software Computer Algebra System Users Download Computer Algebra System files Donate money Project detail and discuss Get support Not what you're looking for? SourceForge.net hosts over 100,000 Open Source projects. You may find what you're looking for by searching our site or using our Software Map You may also want to consider these similarly-categorized projects: Project Information About this project: This is the Computer Algebra System project ("computeralgebra") This project was registered on SourceForge.net on Nov 17, 2009, and is described by the project team as follows:

50. SIGSAM: SIGSAM Home ACM Special Interest Group in Symbolic and Algebraic Manipulation. Site has details of meetings, reports and other links. http://www.sigsam.org/

Association for Computing Machinery Special Interest Group on Symbolic and Algebraic Manipulation News About Join SIGSAM Calendar Conferences ... Software SIGSAM Home Welcome to the SIGSAM website. SIGSAM is the largest international organization supporting and promoting research in computer algebra and symbolic computation and its applications. Through various channels, including newfeeds and mailing lists, the quarterly Communications in Computer Algebra, and our calendar of important computer algebra events we strive to provide everything you want to know about what is happening in this exciting field. Have a look around and let us know what you think! News Call for Papers JSC-ISSAC 2010 Friday, October 8, 2010 Call for papers for the special issue of the JSC related to topics discussed in the context of the ISSAC Conference in July 2010 in Munich, Germany. (link) Fourth International Workshop on Differential Algebra and Related Topics (DART-IV) Friday, April 30, 2010 Differential Algebra and Related Topics (DART) is a series of workshops which offer an opportunity for participants to present original research, to learn of research progress and new developments, and to exchange ideas and views on differential algebra and related topics. (link) Postdoc position at INRIA/LIP6/UPMC SALSA project Tuesday, April 20, 2010

51. Conferences On Applications Of Computer Algebra For more information on symbolic computing or computer algebra, consult the Computer Algebra Nederlands WWW server and the SymbolicNet directory at Kent http://www.math.unm.edu/aca.html

IMACS Sponsored Join the ACA mailing list Conferences on Applications of Computer Algebra Attend ACA 2011 Past and Future Conferences ACA 2011 to be held in Houston, Texas (June 27-30) Chair: Quoc-Nam Tran ACA 2010 held at the University of Vlora, Vlora, Albania (June 24-27) Chairs: Tanush Shaska, Ervin Ruci and Eustrat Zhupa (general); Jacques Calmet and Michael Wester (program) Jacque Calmet's opening speech ACA 2009 Chairs: Michel Beaudin, Gilles Picard and Kathleen Pineau (general); Michel Beaudin and Michael Wester (program) ACA 2008 held at RISC-Linz, Hagenberg, Austria (July 27-30) Chairs: Bruno Buchberger (coordination); Vladimir Gerdt and Wolfgang Windsteiger (general) ACA 2007 held at Oakland University, Rochester, Michigan, USA (July 19-22) Chair: Tanush Shaska ACA 2006 held at the International Home of Scientists, Varna, Bulgaria (June 26-29) Chairs: Vladimir Gerdt and Margarita Spiridonova (general); Victor Edneral, Richard Liska and Michael Wester (program) ACA 2005 held at Nara Women's University, Nara, Nara, Japan (July 31-August 3)

52. ARCC Workshop: The Computational Complexity Of Polynomial Factorization AIM Research Conference Center, Palo Alto, CA, USA; 1519 May 2006. http://aimath.org/ARCC/workshops/polyfactor.html

The computational complexity of polynomial factorization May 15 to May 19, 2006 at the American Institute of Mathematics , Palo Alto, California organized by Shuhong Gao, Mark van Hoeij, Erich Kaltofen, and Victor Shoup This workshop, sponsored by AIM and the NSF , will be devoted to algorithms for factoring polynomials. Univariate and multivariate polynomials will be considered, with coefficients from finite fields, the rationals, and the complex numbers. Dense polynomials, where all coefficients are present, will be considered, as well as sparse polynomials that have many zero coefficients. The problem of factoring polynomials is a classical problem of algebra with classical algorithms due to, for instance, Newton, Puisseux, Eisenstein, Gauss, Kronecker, Hilbert, and Hensel, and modern algorithms that use randomization, lattice basis reduction, baby-steps giant-steps techniques, root power and logarithmic derivates sums, and numerical approximation. Modern algorithms utilize efficient data structures such as straight-line programs and black boxes for evalution. The goal of the workshop is to invent significantly faster new algorithms, or in turn establish hardness of a given factorization problem. The main topics for the workshop are: The fastest-known asymptotic running times of algorithms for factoring univariate and multivariate polynomials over finite fields, the rational and the complex numbers in dense and sparse representation.

53. ISSAC2006 International Symposium on Symbolic and Algebraic Computation. Genova, Italy; 912 July 2006. http://issac2006.dima.unige.it/

54. The Math Forum - Math Library - Computer Algebra The Math Forum's Internet Math Library is a comprehensive catalog of Web sites and Web pages relating to the study of mathematics. This page contains sites relating to Computer http://mathforum.org/library/topics/computer_alg/

Browse and Search the Library Home Math Topics Applications/Connections Sciences ... Computer Science : Computer Algebra Library Home Search Full Table of Contents Suggest a Link ... Library Help Selected Sites (see also All Sites in this category Computer Algebra Information Network (CAIN) A server providing information about Symbolic and Algebraic Computation, set up by the European SAC (Symbolic and Algebraic Computation) Network. The site maintains bibliographies, supports electronic newsletters, and announces current conferences, software releases, job opportunities, and books about computer algebra. Also available are archives of sites providing computer algebra educational material for elementary through graduate school students; sites illustrating the application of computer algebra to scientific research; links to commercial computer algebra systems; introductory Maple tutorials and courses. The Virtual Computer Algebra Library offers tutorials, algorithms, implementations in computer algebra systems, applications and literature for topics in computer algebra. more>> SymbolicNet: Symbolic Mathematical Computation Information Center - ICM; Kent State University

55. Sophie Huczynska University of St Andrews. Number theory and combinatorics; algebra and theoretical computer science. Publications and teaching material. http://www-groups.mcs.st-andrews.ac.uk/~sophieh/

Dr. Sophie Huczynska Current Position I am currently a Royal Society Dorothy Hodgkin Research Fellow in Pure Mathematics at the School of Mathematics and Statistics at the University of St Andrews . From autumn 2010, I will take up a lectureship position here. My research is mainly in the areas of number theory and combinatorics; I also have interests in algebra and theoretical computer science. I am a member of the Centre for Interdiscipinary Research in Computational Algebra (CIRCA) . Please note: I am now working on a half-time basis. I can be contacted in the department on Tuesdays, Wednesdays and Friday mornings. Brief career history Ph.D. (2002): Department of Mathematics University of Glasgow . Supervisors: Bob Odoni, Steve Cohen. Thesis title: "Primitive free elements of Galois fields". Research Associate (2003): Centre for Intelligent Systems and their Applications (CISA), School of Informatics, University of Edinburgh Teaching Fellow in Pure Mathematics (2003-4): School of Mathematics and Statistics, University of St Andrews. Royal Society Dorothy Hodgkin Research Fellow (2004-present): School of Mathematics and Statistics, University of St Andrews.

56. Computer Algebra Research Group @ WLU Apr 4, 2008 CARGO specialize in researchs in Gröbner Bases, Implicitization and Parameterization of Algebraic Curves and Surfaces, Enumerating Regular http://www.cargo.wlu.ca/

Home Research Members WWCA 2008 ... Webmaster The Computer Algebra Research Group (CARGO) was formed in May 2002 and it is part of the Department of Physics and Computer Science of Wilfrid Laurier University Waterloo , Ontario, Canada. Donations: CARGO acknowledges generous donations by Maplesoft Maple software Xilinx Xilinx ISE Foundation (TM) software, under the Xilinx University Program (XUP) Research: Milestones in Science, CARGO poster May 29, 2010 John McKay CHALLENGE system of polynomial equations Last updated: April 4 th Design and Maintenance by MaximAlgorithms Technologies Webstat PHP Setup This web site is best viewed with CSS enabled browsers. Mozilla Firebird

57. Symbolic Computation Group University of Waterloo, Canada. Covers both symbolic computation and hybrid symbolic-numeric computation. http://www.scg.uwaterloo.ca/

Search SCG: Symbolic Computation Group People Papers JLM Talks ... Other Sites Welcome to SCG The Symbolic Computation Group is a research group within the David R. Cheriton School of Computer Science in the Faculty of Mathematics at the University of Waterloo , Waterloo, Ontario, Canada. SCG is affiliated with the Ontario Research Centre in Computer Algebra, ORCCA . The director is George Labahn SCG has as its primary goal the design, analysis and implementation of algorithms and systems for computer algebra and symbolic computation. Many of the algorithms developed are incorporated into the Maple computer algebra system. Main Areas of Interest Some of the Symbolic Computation Group's main research interests include: Symbolic Integration. Exact and symbolic linear algebra. Hybrid symbolic-numeric computing. Finding closed-form solutions for ordinary differential equations. Pen-based mathematics. Algebraic manipulation of differential and Ore operators. Rational approximation algorithms. Sparse polynomials and matrices.

58. ZCA Home Page A scientific institution of the departments of Mathematics , Computer Science , and Electrical Engineering at the University of Kaiserslautern. http://www.mathematik.uni-kl.de/~zca/

Willkommen ZCA Kaiserslautern Centre for Computer Algebra Welcome Mathematics Computer Science , and Electrical Engineering at the University of Kaiserslautern . The goal of the centre is to advance and to support the use of Computer Algebra in industry, research, and teaching. Goals and activities Actively participating research groups and their projects Paper series Reports on Computer Algebra ... Links related to Computer Algebra c/o Prof. Dr. G.-M. Greuel FB Mathematik D-67663 Kaiserslautern Germany greuel@mathematik.uni-kl.de Last modified: Tue Nov 22 15:12:01 MEZ 2005

59. Magma Computational Algebra System Home Page A Computational Algebra system for algebra, number theory and geometry. http://magma.maths.usyd.edu.au/

MAGMA Computational Algebra System Home Download Help FAQ ... About Magma How to get Magma Download Online Demo Resources Online Help Discovering Mathematics with Magma Citations How to cite Magma ... Contact us Magma is a large, well-supported software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics. It provides a mathematically rigorous environment for computing with algebraic, number-theoretic, combinatoric, and geometric objects. Latest version: (released October 6, 2010) is now available. See here for a summary of the new features in V2.16. Recent Notices: March 18, 2010: Magma V2.16-6 has been released for Windows. November 12, 2009: Magma V2.16-1 has been released for 64-bit Intel/AMD Linux platforms. November 8, 2009: The list of publications that cite Magma has been greatly expanded, now totalling around 2600 items. The updated list may be found here December 19, 2008: The 2008 edition of Magma (Version 2.15) was released in early December and is now available for most supported platforms. It contains many new capabilities as well as major upgrades of algorithms and code for several core areas. See LINK for a summary of the new features.

60. Curriculum And Assessment In An Age Of Computer Algebra Systems. ERIC Digest. Provides fulltext access to the ERIC Digest of this name. http://www.ericdigests.org/2003-1/age.htm

Site Links Home Search for ERIC Digests Privacy Policy Resources for Library Instruction ... Information Literacy Blog ERIC Identifier: Publication Date: Author: Meagher, Michael Source: ERIC Clearinghouse for Science Mathematics and Environmental Education Columbus OH. Curriculum and Assessment in an Age of Computer Algebra Systems. ERIC Digest. The use of Computer Algebra System (CAS) technology in the teaching of mathematics is entering a new and crucial stage. A considerable amount of work to date has focused on support of existing curriculum topics and existing curriculum models. Kutzler's seminal book on teaching and learning using DERIVE (1996) includes the phrase "here is an example of how CAS can be used to support an existing curriculum topic". Arguments for the use of CAS as an effective tool in supporting teaching and learning of mathematics are well established. Now comes the real work. Curriculum models and assessment of curriculums are the structures that schools and examining boards create to educate students. The two are deeply connected and the real work of CAS advocates is now to develop curriculum models in which the use of CAS is an integral part, not just of the practice of the curriculum, but, of the conception of the curriculum. A thorough examination of topics must be carried out to decide what really has to stay for conceptual reasons and what is still extant only because of tradition. A crucial part of this process is a demonstration of assessment using CAS. Unless instruments can be found to measure the achievement, or lack of achievement, of that learning which is possible through the use of CAS it is destined to remain as a prop occasionally brought out to support and bolster existing methods of teaching and learning.

Page 3     41-60 of 140    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20