81. The Yacas Computer Algebra System A general purpose easy program for It is built on top of its own programming language designed for symbolic manipulation of math symbols. Includes information on how to use the software. http://yacas.sourceforge.net/

YACAS is an easy to use, general purpose Computer Algebra System, a program for symbolic manipulation of mathematical expressions. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system has a library of scripts that implement many of the symbolic algebra operations; new algorithms can be easily added to the library. YACAS comes with extensive documentation (320+ pages) covering the scripting language, the functionality that is already implemented in the system, and the algorithms we used. This entire site (including the documentation) can also be found in the source code distribution

82. DERIVE Specialists Chartwell-Yorke - Mathematics Software And Books For Educatio Derive 5 computer algebra software is available as a free 30day trial download from Chartwell-Yorke. Derive books are also here. http://www.chartwellyorke.com/derive.html

83. ECCAD 2004 .::. East Coast Computer Algebra Day ECCAD, East Coast computer algebra Day, is an annual oneday conference that provides opportunities to learn and share new developments and to present research http://www.cargo.wlu.ca/eccad2004/

May 8th, 2004 @ Wilfrid Laurier University, Waterloo, Ontario, Canada ECCAD , East Coast Computer Algebra Day, is an annual one-day conference that provides opportunities to learn and share new developments and to present research results in the area of Symbolic Computation. ECCAD 2004 , will be held on Saturday, May 8 th and is hosted by the Computer Algebra Research Group Department of Physics and Computer Science Wilfrid Laurier University Waterloo , Ontario, Canada. Previous ECCAD conference homepages can be consulted at: http://www.cis.udel.edu/~saunders/eccad/ Tuesday, June 1, 2004: e-ECCAD'2004 An Electronic Conference in Computer Algebra Monday, May 3, 2004: Directions to the ECCAD'2004 conference building: ECCAD'2004 will be held in the Laurier Faculty of Science Building, Room N1001, Ground Floor. The Laurier Faculty of Science Building is located on King Street North, close to the King Street North and University Avenue West intersection in Waterloo. Taxi drivers (and everybody else in Waterloo) refer commonly to this intersection as "King and University". The mailing address of the Laurier Faculty of Science Building is "75 University Avenue West" but the two entrances to the building (which are closer to room N1001) are actually on King Street, directly across the street from Lodge Street.

84. SONAD'2000, ECCAD'2000 Research Centre for computer algebra, University of Western Ontario in London, Ontario, Canada; 13 May 2000. http://www.orcca.on.ca/eccad2000/

Southern Ontario Numerical Analysis Day May 12, 2000 East Coast Computer Algebra Day May 13, 2000 University of Western Ontario London, Ontario, Canada SONAD and ECCAD are annual regional workshops that provide opportunities to learn of new developments and to present research results in the areas of numerical analysis and symbolic mathematical computation. The two workshops are hosted by the Ontario Research Centre for Computer Algebra at the University of Western Ontario in London, Ontario, Canada. Activities For SONAD, the planned activities include invited presentations, and short talks on current research topics. Graduate students are especially invited to give such talks. For ECCAD, the planned activities include invited presentations, and two posters sessions offering an opportunity to present timely research in an informal environment. Organizing Committee General Chair (SONAD) Rob Corless Department of Applied Mathematics University of Western Ontario London ON N6A 5B7 CANADA rcorless@julian.uwo.ca

85. ACA 2004-LAMAR UNIVERSITY Password. New Registration. Welcome to ACA2004. The 10th International Conference on. Applications of computer algebra. July 21-23, 2004. Beaumont, Texas, USA. http://buchberger.cs.lamar.edu/ACA2004/index.jsp

86. Symbmath.com: Online Math Handbook Online calculator, math handbook, symbolic math and computer algebra System. http://www.symbmath.com

Symbmath.com: online math handbook math software, math handbook, computer algebra system math software, math handbook, computer algebra system Click here to enter http://www.drhuang.com/indexmath.htm mydomain.com - Register your domain name

87. Computer Algebra Links math, computer algebra Links. Links, CAIN Europe (computer algebra Information Network) (note the changed URL http//www.riaca.win.tue.nl/CAN/); http://www.science.uva.nl/research/math/Links/compalg/

Home People Research News ... Contact Us Computer Algebra Links Links CAIN Europe (Computer Algebra Information Network) (note the changed URL http://www.riaca.win.tue.nl/CAN/ SymbolicNet (Symbolic Mathematical Computation Information Center) Mathematica (Wolfram Research). MathGroup (discussion group) Internal`DistributedTermsList is a good alternative for MonomialList, which is no longer present in Mathematica 4. Read a short description of this great tool for work with polynomials in several variables. Forthcoming: a four-volume set at Springer by Michael Trott: The Mathematica Guidebook for Programming The Mathematica Guidebook for Graphics The Mathematica Guidebook for Numerics. Mathematics and Physics The Mathematica Guidebook for Symbolics ... introductory course on Mathematica (in Dutch) by A. Heck for first year students in mathematics and physics at UvA Maple (Waterloo Maple) Maple on the Web by Alejandro S. Jakubi Reduce (an interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers) Matlab (integrates mathematical computing, visualization, and a powerful language to provide a flexible environment for technical computing)

88. 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/

Algebra and Number Theory The KANT Group The KANT Group: [members] [publications] [database] ... KASH/KANT - computer algebra system Immanuel Kant The KANT functions are accessible through a user-friendly shell named KASH (KAnt SHell) which is freely available. You can pick up the current release of KASH using ftp webkash Most of the functionality of KASH is also available through a web interface. KANT Database The KANT database of more than 1.3 million number fields can be accessed through a web interface and through the computer algebra system KASH/KANT Publications You can download the publications of members of the KANT Group. Last modified: 2004-05-24 20:37

89. Computer Algebra System computer algebra system. A computer algebra system (CAS) is a software that facilitates symbolic mathematics. Typically, these systems http://www.fact-index.com/c/co/computer_algebra_system.html

Main Page See live article Alphabetical index Computer algebra system A computer algebra system (CAS) is a software that facilitates symbolic mathematics . Typically, these systems include arbitrary precision ( bignum ) arithmetic, allowing for instance to evaluate pi to 10,000 digits. symbolic manipulation engine, to simplify algebraic expressions, differentiate and integrate functions and solve equations graphing facility, to produce graphs of functions, typically in two and three dimensions linear algebra subsystem, to allow matrix computations and solving of systems of linear equations high level programming language , allowing users to implement their own algorithms The study of algorithms useful for computer algebra systems is known as computer algebra The run-time of numerical programs implemented in computer algebra systems is normally longer than that of equivalent programs implemented in systems such as MATLAB GNU Octave or directly in C , because the computer algebra languages are often interpreted and the bignum system may cause overhead. (Note that MATLAB and Octave are interpreted also.) History Computer algebra systems began to appear in the early , and evolved out of research into artificial intelligence (the fields are now regarded as largely separate). The first popular systems were Reduce, Derive and Macsyma which are still commercially available; a

90. CAS/WWW/Math Workshop, Murphy/Meade/Miller (ICTCM IX, Reno) computer algebra and the WorldWide Web Across the Mathematics Curriculum. Archive. computer algebra Systems table of contents. http://www.math.sc.edu/~murphy/reno96/

Computer Algebra and the World-Wide Web Across the Mathematics Curriculum. Robert Murphy Douglas Meade Matthew Miller Department of Mathematics ... University of South Carolina Table of Contents: Abstract Overview Maple V Worksheets Selected Course Materials at USC ... Other Resources Abstract: Some mathematicians are incorporating new technologies into their classes; many others are interested, but just don't know where or how to take the first step. This minicourse will be a hands-on journey highlighting the use of technology in various settings, including small honors sections of mathematical biology, mid-sized sections of differential equations, and large sections of calculus. Course materials, including a list of WWW sites, will be provided. Overview: The introduction of technology into mathematics instruction at the University of South Carolina has largely been a matter of individual initiative, to some extent supported by the department, and more enthusiastically supported by the higher administration, but not systematically coordinated or assessed. This has had both advantages and disadvantages: on the negative side, progress has not been as fast as some of us would have liked, but on the positive side we have not been locked into large commitments and expensive failures. Thus to see a major impact of technology on instruction we had to introduce it into the freshman and sophomore service courses. Several other factors were also at work. Various faculty both in the Mathematics Department and the other departments that it serves became interested in curricular reform. Maple, once solely a research tool, became much more user friendly and amenable to instructional use, and could be purchased under a university wide site license. The NSF, the Lilly Foundation, and a host of other funding agencies began to support instructional innovation, and publications resulting from this support, including new texts, began to appear.

91. 2001 Conference On Applications Of Computer Algebra (ACA'2001) 2001 IMACS Conference on Applications of computer algebra, Technical Vocational Institute, Albuquerque, New Mexico, USA. 31 May 3 June 2001. http://math.unm.edu/ACA/2001/2001.html

2001 Conference on Applications of Computer Algebra ACA'2001: An Albuquerque odyssey ... May 31-June 3, 2001 Technical Vocational Institute Albuquerque New Mexico , USA ACA'2001 will be held jointly with the NMMATYC (New Mexico Mathematical Association of Two-Year Colleges) 12th Annual Conference , which will be held June 1-3 at also at TVI Organizers: General Chair Bill Pletsch Program Chair Stanly Steinberg Dis Organizer Michael Wester Description of the Meeting Scientific Committee Albuquerque Attractions ... Registered Attendees Complete Program ( Word PDF PDF Electronic Proceedings The ACA meetings are organized as a series of Special Sessions . To propose a special session, please send the names of the organizers, email addresses of the organizers, the title of the special session, a short abstract describing the special session, and a list of proposed speakers to the chair of the Scientific Committee, Stanly Steinberg (see the instructions for Organizing a Special Session ). The Scientific Committee will review the proposal. Selected papers will be considered for publication in the Journal of Symbolic Computation Sponsors/Collaborators: Albuquerque Technical Vocational Institute Cotopaxi IMACS International Association for Mathematics and Computers in Simulation NSA The National Security Agency (USA) Prentice-Hall Further information about IMACS is available as well as information on joining IMACS and the ACA Technical Group.

92. Atypical: Integrating Computer Algebra And Reasoning Atypical Integrating computer algebra and reasoning. Integrating computer algebra and Reasoning through the Type System of Aldor. Erik Poll and Simon Thompson. http://www.cs.kent.ac.uk/people/staff/sjt/Atypical/

Atypical: Integrating computer algebra and reasoning Simon Thompson, John Shackell, James Beaumont and Leonid Timochouk This is the home page for the project Integrating Computer Algebra and Reasoning: Incorporating a logic into the Aldor system , funded under EPSRC Grant GR/M37851. The project Project overview Case study in symbolic asymptotics Technical background and overview Understanding the Aldor compiler Adding type annotations to Aldor programs Report on the Aldor compiler Chris Ryder. The Type System of Aldor . Erik Poll and Simon Thompson. Technical Report 11-99. Project publications Adding the Axioms to Axiom: a paper presented at the Calculemus and Types workshop, Eindhoven, July 1998. Integrating Computer Algebra and Reasoning through the Type System of Aldor . Erik Poll and Simon Thompson. From Frontiers of Combining Systems: Frocos 2000, LNCS 1794, 2000. Logic and Dependent Types in the Aldor Computer Algebra System and the programs from the document Asymptotic Expansions with Oscillating Coefficients Bruno Salvy and John Shackell. Complexity bounds for zero-test algorithms John Shackell and Joris van der Hoeven.

93. NETCA: UK Network In Computer Algebra NETCA UK Network in computer algebra. This is the home page for the UK Network in computer algebra, NETCA, which is supported by EPSRC. http://www.cs.kent.ac.uk/research/groups/tcs/netca/

NETCA: UK Network in Computer Algebra Hosted at the University of Kent The NEW Netca page will be located at: http://www.cs.kent.ac.uk/projects/netca/ and all content will be migrated to this new url in due course. January 2003 meeting at Danbury This is the home page for the UK Network in Computer Algebra, NETCA, which is supported by EPSRC . To join the net-ca mailing list sent the message subscribe net-ca to list-manager@ukc.ac.uk Participating departments University of Kent: Mathematics Group Computing Lab Queen Mary, University of London: School of Mathematical Sciences University of Bath: Department of Mathematical Sciences University of St Andrews: School of Computer Science NAG: The Numerical Algorithms Group Ltd Instructional workshops The NETCA network will organise a number of instructional workshops in the UK. It is envisaged that a workshop focussing on computational algebra will be held in St Andrews in 2003. Organisations Computer Algebra Information Network, CAIN-UK MEDICIS Computer Algebra Systems at SAL SymbolicNet ... MathML Central Systems Aldor GAP Magma Maple ... Reduce This page is maintained by Simon Thompson , to whom any comments should be sent.

94. Department Of Computer Algebra Department of computer algebra. Members, research projects and computer algebra resources. Site in Hungarian and English. http://compalg.inf.elte.hu/

Tartalom: Komputeralgebra honlap H-1117 Budapest Telefon: Mail: 1518 Budapest Pf. 32. Fax:

95. Computer Algebra computer algebra, Symbolic Computing, and Mathematica. If you have to deal with vector or tensor differential equations, you will http://w3.pppl.gov/~hongqin/computerAlgebra.htm

Hong Qin Hi, as you can see, I am yet another victim of computer and internet. Staff Research Physicist Princeton Plasma Physics Laboratory, Princeton University Computer Algebra, Symbolic Computing, and Mathematica If you have to deal with vector or tensor differential equations, you will find this computer algebra package useful, General Vector Analysis. Symbolic Vector Analysis (PostScript and PDF) A demo (PostScript) Symbolic Vector Analysis in Plasma Physics (Mathematica notebook) To get the package, send me an email at hongqin@pppl.gov. I will email the latest version it to you. I did not put it here, because I am still working on it.

96. CAS-CAT Project University of Melbourne. Investigating the changes that regular access to calculators equipped with a computer algebra system will have on senior mathematics subjects, including curriculum, teaching methods and associated assessment in Victoria, Australia. http://www.edfac.unimelb.edu.au/DSME/CAS-CAT/

The CAS-CAT Team Investigators: Kaye Stacey Gary Asp Helen Chick David Leigh-Lancaster ... Barry McCrae Project Team: Lynda Ball Peter Flynn Associate Investigators: Margaret Kendal Robyn Pierce Gloria Stillman Project Schools: There are three volunteer project schools involved in the study. For the duration of the study, each project school will be provided with CAS calculators. Hewlett Packard, Shriro Australia (CASIO) and Texas Instruments will each provide calculators for one of the project schools. Funding: Australian Research Grant Strategic Partnerships with Industry Scheme. Industry Partners: Victorian Curriculum and Assessment Authority (formerly Board of Studies), Texas Instruments, Hewlett-Packard, Shriro Australia (CASIO) Further Information: Lynda Ball Department of Science and Mathematics Education The University of Melbourne VIC 3010 Tel: +61 3 8344-8528 Facsimile: +61 3 8344-8739 Email: lball@unimelb.edu.au

97. Computer Algebra And Computer Analysis Session computer algebra and Computer Analysis at the 3rd International ISAAC Congress, Berlin, Germany 2025 August 2001. http://www.mathematik.uni-kassel.de/~koepf/ISAAC2001/CA.html

Session Computer Algebra and Computer Analysis at the 3rd International ISAAC Congress , Berlin, Germany 20-25 August 2001. Photo of the session participants Photo of the plenary speaker Michael Singer Conference Photo (1347 kB) We would like to announce the session Computer Algebra and Computer Analysis of the 3rd International ISAAC Congress ( ISAAC = International Society for Analysis, Applications and Computing; this NOT the ISSAC!) which will take place in Berlin from 20-25 August 2001, see http://www.math.fu-berlin.de/~isaac The Second Announcement with further information and a registration form can be obtained from http://www.mathematik.uni-kassel.de/~koepf/ISAAC2001/secannounce.html The meeting offers sessions in a wide variety of topics primarily circling around applied analysis. Session VII.4 is devoted to Computer Algebra and Computer Analysis , and will be organized by Karin Gatermann , Berlin ( gatermann@zib.de ) and Wolfram Koepf , Kassel ( koepf@mathematik.uni-kassel.de Researchers in analysis often are not familiar with computer algebra or find its use unsuitable for their work. In contrast, we believe that computer algebra can be a very stimulating research tool in analysis. Therefore we would like to put a session program together which is an advertisement for our field, and which presents applications of computer algebra to topics relevant for analysis. In connection with our session Michael Singer (Raleigh, NC, USA)

98. MAS - The Modula-2 Algebra System MAS is an experimental computer algebra system with algebraic specification capabilities for the design and study of algebraic algorithms. Downloads, documentation. http://www.fmi.uni-passau.de/algebra/projects/mas.php3

Lehrstuhl Prof. Weispfenning Sunday 06 Jun 2004 06:41 MAS - The Modula-2 Algebra System The current version of MAS is 1.00, released 27 Oct 1996. Announcement of version 1.00 README for version 1.00 Description of MAS Getting MAS (by ftp) ... MAS - Interactive Usage (PostScript, long!) MAS - Specifications, Definition Modules, Indexes (PostScript, very long!) Compiling, porting and modifying MAS (PostScript). Send remarks, bug-reports, questions about MAS to mas@alice.fmi.uni-passau.de http://www.fmi.uni-passau.de/algebra/projects/mas.php3 Validate A. Seidl

99. The Math Forum - Math Library - Computer Algebra This page contains sites relating to computer algebra. Slides for a series of talks on holonomic functions and computer algebra more . 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>> Computer Algebra Information Network (CAIN) Europe CAIN Europe is a server providing all kinds of information about Symbolic and Algebraic Computation. It is set up by eight teams in the framework of the European SAC Network and maintained by CAN/Riaca (Computer Algebra Nederland). News; Announcements; Teams and People; Systems and Packages; Literature; European Projects in Symbolic and Algebraic Computation; Newcomers in Computer Algebra; Education; Applications in Computer Algebra; The Virtual Computer Algebra Library.

100. East Coast Computer Algebra Day 2002 City University of New York, Long Island City, New York, USA; 18 May 2002,. http://www.lagcc.cuny.edu/Mathematics/ECCAD2002/default.htm

Page 5     81-100 of 172    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20