21. Computer Algebra And Problem Solving Environments Abstract for Stanly Steinberg's article in Comparative CAS Reviews and Philosophy , suggesting 6 ways in which computer algebra systems could be improved. http://math.unm.edu/~wester/aca96/Steinberg_abstract.html

Computer Algebra and Problem Solving Environments Stanly Steinberg stanly@math.unm.edu in Comparative CAS Reviews and Philosophy , organized by Michael Wester Abstract: Problem Solving Environments provide a promising new approach for solving modeling problems that occur in engineering and science [1]. Such environments will provide easy access to integrated symbolic and numeric computing and this will greatly enhance the tools available to modelers. However, this will place new demands on computer algebra systems. It is important to have a true paper and pencil system. Such systems will not assume that the user wishes to compute something, but that the user wishes to reason about some problem and then, possibly later, either compute something numerically or symbolically. The attitude of "I know the chain rule and will use it if I can" must be replaced by a system that can apply the chain rule in the standard way, or apply it in reverse, and have tools for helping decide which is appropriate. Clearly, heuristic reasoning systems are critical. Computer algebra systems should be able to write both numerical and symbolic programs in their own language. It will then be a relatively simple matter to translate such programs to other languages. In some sense this can be done in all CASs, but the available utilities are not helpful. This will be illustrated by some work the author is doing on a problem solving environment called SciNapse.

22. Maxima - Computer Algebra Links Other open source CAS. Maxima a sophisticated computer algebra systemHomeFAQDocsScreen ShotsDownloadReport BugsProject Axiom is an extremely powerful computer algebra system with a slightly http://maxima.sourceforge.net/compalg.shtml

Maxima - a sophisticated computer algebra system Home FAQ Docs Screen Shots ... Mail Lists Other Open Source Computer Algebra Systems Axiom Axiom is an extremely powerful computer algebra system with a slightly different philosophy than Maxima. It was commercial for many years and was discontinued - Tim Daly contacted the owners and they agreed to release the code under an open license. The team at savannah is working on cleaning up the code to create a working system before releasing the code to the public. Yacas Yacas is a young project attempting to create a new CAS. Information about Computer Algebra Systems SymbolicNet A very good starting point to learn about symbolic computation and computer algebra systems.

23. Webserver Fermat, computer algebra System Compare Your computer algebra System. Take the Fermat Tests! September 25, 2003. Fermat Very Impressive in Comparison of computer algebra Systems. http://www.rrz.uni-koeln.de/REDUCE/

ERROR The address www.rrz.uni-koeln.de is not used as webserver. Please use www.uni-koeln.de instead. The full URL is http://www.uni-koeln.de/REDUCE/

24. DLMF: Computer Algebra Chapter CA. computer algebra. Obsolete. This page is obsolete. Synopsis (about chapter status) http://dlmf.nist.gov/Contents/CA/synopsis.php

Chapter CA Computer Algebra Obsolete This page is obsolete. Synopsis (about chapter status) Integration; Summation; Mixed multiple integrals and sums; Linear differential equations for special functions; Linear difference equations for special functions; Asymptotic expansions and approximations; Specific manipulations; Guessing. Last Modified Wed, Jun 2, 2004 dlmf-feedback nist.gov

25. School Of Physics - Computational Physics 2 Simulation and modelling are usually taught by stressing numerical techniques this course focuses on using symbolic or computer algebra in particular, using Mathematica. http://physics.uwa.edu.au/Physics/Courses/Third_Year/Computational_Physics.html

School of Physics Faculty Home School Home Search UWA Website This Site People UWA Expert Structure Intranet for Welcome Information For Prospective Students Current Students ... Contact Us Computational Physics 2 The purpose of computing is insight, not numbers. — Richard Hamming The broad categories of computational physics are simulation, visualisation and modelling. At a finer scale, computational physics embraces a wide range of areas including numerical methods, algorithms and data analysis. Simulation and modelling are usually taught by stressing numerical techniques — this course focuses on using symbolic or computer algebra — in particular, using Mathematica The objectives of this course are: to use computers as an aid to understanding real physical systems; to learn efficient methods for the analysis of these systems. Computational Experiments 1 This course is a "hands-on" laboratory style course consisting of 5 assignments worth a total of 60%. The final (take-home) exam makes up the remaining 40%. The zeroth Notebook gives an overview of the course: Introduction Course Overview References Book-keeping The assignments are: Mathematica Basics Getting Help Basic Calculations Basics of Mathematica Programming Introduction Factorial!

26. Computer Algebra Benchmark Initiative computer algebra Benchmark Initiative. Directory of Activities. This page contains references to benchmark activities in computer algebra. http://krum.rz.uni-mannheim.de/cabench/diractiv.html

Computer Algebra Benchmark Initiative Directory of Activities This page contains references to benchmark activities in computer algebra. The content was compiled from the results of the Benchmark Meeting at ISSAC'98 . Please send an e-mail to me to get your activities included in this list. Breadth and Scope Benchmarks A Review of CAS Mathematical Capabilities by Michael Wester. From the Abstract: In this paper, the capabilities of six major general purpose Computer Algebra Systems (CASs) (Axiom, Derive, Macsyma, Maple, Mathematica and Reduce) are reviewed on 123 short problems covering a broad range of (primarily) symbolic mathematics. A demo was developed for each CAS, run and the results evaluated. Problems were graded in terms of whether it was easy or difficult or possible to produce an answer and if an answer was produced, whether it was correct. Wester's test suite in MuPAD 1.2.2 Wester's test suite in MuPAD 1.3 by Paul Zimmermann Comparison of Mathematica on Various Machines by Karl Unterkofler.

27. Fermat, Computer Algebra System II By Robert H. Lewis and Michael Wester. Presented as a poster to the 1999 ISSAC Conference. http://www.fordham.edu/lewis/cacomp.html

Comparison of Polynomial-Oriented Computer Algebra Systems (Preliminary Report) Robert H. Lewis and Michael Wester This paper was presented as a poster to the 1999 ISSAC Conference, Vancouver, British Columbia, 28-31 July 1999. Exact symbolic computation with polynomials and matrices over polynomial rings has wide applicability to many fields. By "exact symbolic" we mean computation with polynomials whose coefficients are integers (of any size), rational numbers, or finite fields, as opposed to coefficients that are "floats" of a certain precision. Such computation is part of most computer algebra systems ("CA systems"). Over the last dozen years several large CA systems have become widely available, such as Axiom, Derive, Macsyma, Maple, Mathematica, and Reduce. They tend to have great breadth, be produced by profit-making companies, and be relatively expensive. However, most if not all of these systems have difficulty computing with the polynomials and matrices that arise in actual research. Real problems tend to produce large polynomials and large matrices that the general CA systems cannot handle. In the last few years several smaller CA systems focused on polynomials have been produced at universities by individual researchers or small teams. They run on Macs, PCs, and workstations. They are freeware or shareware. Several claim to be much more efficient than the large systems at exact polynomial computations. The list of these systems includes CoCoA, Fermat, MuPAD, Pari-GP, and Singular.

28. ACA'2002: 8th International Conference On Applications Of Computer Algebra MAPLE OTE, Greek Telecommunications Organization UTH, University of Thessaly, Kedavros Centaur ONTARIO RESEARCH CENTRE FOR computer algebra (ORCCA) Alpha Bank http://www.orcca.on.ca/~ilias/aca2002.html

General Chairs Alkiviadis G. Akritas Ilias S. Kotsireas Administrative Assistance: Mrs Theodora Terlexi Program Chairs Victor Edneral Eugenio Roanes-Lozano Organizing Committee Stanly Steinberg Michael Wester Local Arrangements Committee: Panagiotis Germanis Thomas Kylindris Maria Papalexandri Yiannis Parassidis ... Important Dates ACA'2002 Official Sponsors: Conference e-mail: aca2002@uth.gr Conference Phone Numbers: + 30 421 074886 , CELL PHONES IN GREECE (097-3941000, 0945-842296) , + 1 519 5891323 Join the ACA mailing list Conference Poster

29. HartMath Java Computer Algebra Tool :: Developing A Java Based Mathematics Syste An experimental computer algebra system written in Java and available free under GPL. http://www.hartmath.com/

@import url("themes/FunkyDelic/style/style.css"); Main Menu Home About Your Account WebStart/Download ... PDF documentation MathML BLOG/Wiki Testpage (hmath.org) Development (Java 1.3) Project Page Report-a-Bug Feature Requests Discussion Forum ... CVS Nightly Drop Applet (Java 1.1) Main applet A Quick Tour Some Functions Linear Algebra Other options FAQ Members List Recommend Us Search ... Web Links Who's online There are currently, 1 guest(s) and member(s) online. You are an anonymous user. You can register for free by clicking here Select language Select interface language: English German Welcome to HartMath Java Computer Algebra Tool About HartMath HartMath is an experimental computer algebra system written in Java. It is available free under GNU public license. Some of the features are: Big Number Arithmetic Symbolic Computations: Add, Multiply, Pow, Sin, Cos, ... Symbolic Derivatives, Expands, Polynomials, Vectors, Matrices ... List Functions: Append, Prepend, Map, Apply, Table ... Plot Functions Numeric Functions Pattern Matching Rules Pure functions In the current beta version you can install HartMath as a standalone Java 2 application.

30. Sal.kachinatech.com/A/1/ ZCA Home Page Centre for computer algebra. Welcome. The goal of the centre is to advance and to support the use of computer algebra in industry, research, and teaching. http://sal.kachinatech.com/A/1/

31. ZCA: Reports On Computer Algebra Reports on computer algebra. The ZCA publishes the series Reports on computer algebra whose papers are listed below. A bibliography http://www.mathematik.uni-kl.de/~zca/Reports_on_ca/

Reports on Computer Algebra The ZCA publishes the series Reports on Computer Algebra whose papers are listed below. A bibliography in BibTex format of the papers published in this series can be downloaded from here . For papers not available on-line or for other request, please contact Christoph Lossen who is the current coordinator of the series. Dynamic Modules in SINGULAR. December 2003. Postscript BibTeX Greuel, G.-M.; Lossen, C.; Schulze, M. Three Algorithms in Algebraic Geometry, Coding Theory, and Singularity Theory. March 2001. HTML Postscript BibTeX Greuel, G.-M. Applications of Computer Algebra to Algebraic Geometry, Singularity Theory and Symbolic-Numerical Solving. June 2000. HTML Postscript BibTeX Greuel, G.-M. Computer Algebra and Algebraic Geometry - Achievements and Perspectives. Feb 2000. HTML Postscript BibTeX Siebert, T. Recursive Computation of Free Resolutions and a Generalized Koszul Complex. Jan 2000. HTML Postscript BibTeX The S ... Project: Towards an Electronic Repository of Tools and Data for Benchmarks of Computer Algebra Software. Jan 2000. HTML Postscript BibTeX B. Reinert.

32. Centre For Teaching Mathematics, University Of Plymouth, UK The International Journal of computer algebra in Mathematics Education (IJCAME). ISSN 13627368. (formerly the International DERIVE Journal). Aims and Scope. http://www.tech.plym.ac.uk/maths/CTMHOME/ijcame.htm

33. Darmstadt, University Of Technology Department of Computer Science. Research groups focus on automata theory and formal languages, automated reasoning and inference, computer graphics, computer algebra, distributed systems, database systems, industrial processes, integrated circuits and systems, artificial intelligence, microprogramming and computer architecture, operating systems, software engineering, programming languages and compilers, and systems programming. http://www.informatik.tu-darmstadt.de/Welcome.en.html

34. The Yacas Computer Algebra System YACAS is an easy to use, general purpose computer algebra System, a program for symbolic manipulation of mathematical expressions. http://yacas.sf.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

35. ACDCA-Homepage, Austrian Center For Didactics Of Computer Algebra Translate this page Sie sind seit 1. 9. 1999 der 63648. Besucher. © 2004 ACDCA - Austrian Center for Didactics of computer algebra. Letzte Änderung 16.5.2004. http://www.acdca.ac.at/

Deutsch English Sie sind seit 1. 9. 1999 der 64069. Besucher. ACDCA - Austrian Center for Didactics of Computer Algebra

36. SymbMath An online symbolic math and computer algebra system. It can perform exact, numeric, symbolic and graphic computation, e.g. arbitraryprecision calculation, solve equation, plot data and user-defined functions, linear regression, symbolic differentation and integration, pattern-match. http://www.raceprediction.com/math/VisualMath.html

SymbMath.com - SymbMath <META NAME="keywords" content="software, online graphical calculator, online symbolic calculator, online equation solver, online graphic calculator, Symbolic Math, Computer Algebra System, electroanalysis, electrochemistry, electrochemical simulation, voltammetry, polarography, electrochemical software, electrochemistry software, math software, symbolic math software, data analysis, curve fitting, data fitting, polar, visualmath, symbmath"> Please turn on Java enabled in your browser if you cannot see a pop-up Java Applet. Document Questions?

37. Index-Deutsch Translate this page Austrian Center for Didactics of computer algebra. Rechner TI-89/92. © 2004 ACDCA - Austrian Center for Didactics of computer algebra. http://www.acdca.ac.at/german/

Austrian Center for Didactics of Computer Algebra Materialien, Links Gesamtindex Neue Materialien Materialien in Engl. Sprache Literatursuche ... Internet-Links Projekte CAS I (Derive, 92-) CAS II (97/98) CAS III (99/00) CAS IV (01/02) ... CAS V (04/05) Kongresse ACDCA Andere (CAS) Vereinsinterna Vereinsunterlagen Weitere CAS-Quellen Derive User Group Neuigkeiten T -Materialien zu Grafikrechnern (TI-83+) Hildegard Urban-Woldron (19.4.2004) t3_ti83funktionen2.htm Voyage 200 - Workshop workv200.htm Handling - TI-Setup, Festlegen von Einstellungen (Anton Nagl, 25.1.2004) ti_setup.htm assessment.htm (New forms of teaching provoke and require new forms of assessment) howtomake.htm (How to Make Traditional Tasks Technology Compatible) T t3_gtr_unterrichtssequenz.htm t3_cas_unterrichtssequenz.htm Integral - Software Visualisierung des Integralbegriffes. 8raz_int.htm Via arts to math via_arts_to_math.htm.htm Neues Projekt - CA5 Hier findet man Ausschreibung und die Anmeldungsformulare: als RTF-Datei (WinWord-Format, mit ZIP komprimiert): ca5_ausschr_rtf.zip

38. CAME 2001 Symposium Communicating Mathematics Through Computer Algebra Systems Utrecht, The Netherlands, July 1819, 2001, following on from PME-25. http://ltsn.mathstore.ac.uk/came/events/freudenthal/

39. Geometric Modelling At Bath University Research projects include multidimensional geometric modeling, distances in geometric modeling, finding zeros of multidimensional functions, and computer algebra in geometric modeling. http://www.bath.ac.uk/~ensab/G_mod/g_mod.html

40. Welcome To GNU TeXmacs (FSF GNU Project) Freeware tool for extensible, structured and WYSIWYG technical documents. Can also be used as an interface to computer algebra systems. http://www.texmacs.org/

Home Download Help Contribute ... Search Welcome to GNU TeXmacs Welcome Screen shots News Mailing lists GNU TeXmacs is a free scientific text editor, which was both inspired by TeX and GNU Emacs . The editor allows you to write structured documents via a wysiwyg (what-you-see-is-what-you-get) and user friendly interface. New styles may be created by the user. The program implements high-quality typesetting algorithms and TeX fonts, which help you to produce professionally looking documents. The high typesetting quality still goes through for automatically generated formulas, which makes TeXmacs suitable as an interface for computer algebra systems. TeXmacs also supports the Guile Scheme extension language, so that you may customize the interface and write your own extensions to the editor. Converters exist for TeX/LaTeX and they are under development for Html MathML Xml . In the future, TeXmacs is planned to evolve towards a complete scientific office suite, with spreadsheet capacities, a technical drawing editor and a presentation mode. GNU TeXmacs is hosted by the Centre de Ressources Informatiques de Haute Savoie , Archamps, France.

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