Extractions: the Netherlands The topics of the workshop include all aspects of Computer Algebra, from theory to applications and systems. This will be the ninth edition of a workshop initiated in Strasbourg in 1988 and held every second year since. To avoid competition with well-established conferences in the field, the workshop is kept as informal as possible. Its two main purposes are to offer an opportunity for newcomers in the field to present their work and to be a forum for aimed at (but not restricted to) European researchers. Workshop Chair
Education.ti.com - Home Compact, easy to use, reliable computer algebra software. It intelligently applies the rules of algebra, trigonometry, calculus and matrix algebra to solve a wide range of mathematical problems. This nonnumeric approach goes far beyond the capabilities of dedicated statistics packages and equation solvers that use only approximate numerical techniques. http://www.ti.com/calc/docs/derive.htm
Extractions: Tell us your course and we'll point you in the right direction. Select your course Algebra Biology Calculus Chemistry Earth Science Engineering Finance General Use Geometry Middle Grades Math Middle Grades Science Physics Real Estate Statistics products Handheld technology, software and accessories for every class.
Extractions: Abstract: 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.
SAL- Mathematics - Computer Algebra Systems The major purpose of a computer algebra System (CAS) is to manipulate a bernina interactive program with interface to a computer algebra library. http://sal.linet.gr.jp/A/1/index.shtml
Extractions: The major purpose of a Computer Algebra System (CAS) is to manipulate a formula symbolically using the computer. For example, expanding, factorizing, root finding, or simplifying an algebraic polynomial are some of the common uses of CAS. However, many systems listed here have gone far beyond that and also offer other functionalities like numerical calculation, graphics, and simulations. They are included in this section because their very original, and still their most distinguishable capability is performing computer algebra. Search SAL: Computer Algebra Systems Commercial, Shareware, GPL Axiom a computer algebra system with powerful symbolic solver.
Kan/sm1 Rings and computer algebra software, part of OpenXM. http://www.math.sci.kobe-u.ac.jp/KAN/
Extractions: Kan/sm1 (19912003) is a system for computing in the ring of differential operators D (and difference operators, ...). The latest version of kan/sm1 is obtainable as a part of the OpenXM package. Access to the OpenXM home page to download the OpenXM package . After downloading, build the system following the instruction included. The system "sm1" will be built under OpenXM/bin. The system has been tested on cygwin (windows), Debian, and FreeBSD. Documents for kan/sm1 is here What's new in the version 2.990914? ox_asir server is now available, which performs multi-variable factorizations, primary ideal decompositions, efficient Grobner basis computation in the ring of polynomials, and so on. ox_asir is based on asir. See below. New package lib/intw.sm1 : Computing 0-th integration by a new algorithm using a generic weight vector. This package requires open asir server to analyze the roots of b-functions.
Computer Algebra Group -- Computer Algebra At RISC computer algebra is that part of computer science which designs, analyzes, While it is arguable whether computer algebra is part of computer science or http://www.risc.uni-linz.ac.at/research/compalg/description/
Extractions: about welcome! the castle of hagenberg partners ... software search: sitemap Computer algebra is that part of computer science which designs, analyzes, implements, and applies algebraic algorithms. (Buchberger, Loos) n terms of a power series solution by exact methods from computer algebra before handing these terms over to a numerical package for evaluating the power series.
Extractions: Local Arrangements Stanly Steinberg Nicolas Robidoux NOTE: PASCO'97 (Second International Symposium on Parallel Symbolic Computation) and ISSAC'97 (International Symposium on Symbolic and Algebraic Computation) will be held just previous to this meeting (July 20-22 and July 21-23, respectively) also at the Aston Wailea Resort. Contents: Conference proceedings and publishing papers Join the list of interested parties!
Robbins Algebras Are Boolean Mathematics and computer Science Division Argonne National Laboratory It is clear that every Boolean algebra is a Robbins algebra, so the interesting http://www.mcs.anl.gov/~mccune/papers/robbins/
Extractions: Argonne National Laboratory Posted on the Web October 15, 1996. Last updated September 24, 2003. These Web pages contain some information on the solution of the Robbins problem. A paper on this topic appears in the Journal of Automated Reasoning [W. McCune, "Solution of the Robbins Problem", JAR 19(3), 263276 (1997)]. Here is a preprint . The JAR paper has simpler proofs than the ones below on this page. Here are the input files and proofs corresponding to the JAR paper A draft of a press release , intended for a wider audience, is also available. The Robbins problem-are all Robbins algebras Boolean?-has been solved: Every Robbins algebra is Boolean. This theorem was proved automatically by EQP , a theorem proving program developed at Argonne National Laboratory. In 1933, E. V. Huntington presented [1,2] the following basis for Boolean algebra: x + y = y + x. [commutativity] (x + y) + z = x + (y + z). [associativity] n(n(x) + y) + n(n(x) + n(y)) = x. [Huntington equation] Shortly thereafter, Herbert Robbins conjectured that the Huntington equation can be replaced with a simpler one [5]:
Gert Vegter University of Groningen Geometric computing, computer algebra, and dynamical systems. http://www.cs.rug.nl/~gert/
Extractions: The meeting will focus on actual or possible applications of nontrivial computer algebra techniques to other fields and substantial interactions of computer algebra with other fields. Contents: Electronic proceedings List of attendees (final) Conference program (final) Conference location Prague Information How much would it cost?
NETCA UK Network In Computer Algebra This is the home page for the UK Network in computer algebra, NETCA, which is supported by EPSRC. To join the netca mailing list sent the message subscribe http://www.cs.kent.ac.uk/research/groups/tcs/netca/
Chartwell-Yorke Mathematics ICT computer algebra mathematics software (Derive 5 and LiveMath), Autograph for plotting, coordinate geometry and single variable statistics, CabriGeometre II dynamic geometry software, Fathom dynamic statistics, MathType equation editor. http://www.chartwellyorke.com/
Extractions: Autograph 3 - the ultimate graphing, coordinate geometry and single-variable statistics package. Lots of uses at KS3, KS4 and above. See the Flash video tutorials. Cabri Geometry II Plus lets you dynamically explore Euclidean, transformational and coordinate geometry. Vectors, conics, equations of lines, much more. Reviews. Cabri 3D Construct, manipulate and explore solid geometry with Cabri 3D in just a few clicks with this exciting and revolutionary new software. New version 1.1 free trial and introductory guide just uploaded. Derive 6 Explore symbolic and numeric maths solutions from school to professional level. Particularly useful at KS4 and above. New version 6 shows calculus steps, exchanges data with TI calcs, has sliders to change values, and more. Demo Tutorials Reviews Fathom Dynamic Data v2 software for data handling and statistics at KS3, KS4 and A-Level.
Atypical: Integrating Computer Algebra And Reasoning This is the home page for the project Integrating computer algebra and Reasoning Logic and Dependent Types in the Aldor computer algebra System and the http://www.cs.kent.ac.uk/people/staff/sjt/Atypical/
Extractions: 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 Understanding the Aldor compiler 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.
Leipzig, University Institute of computer Science. Areas of interest include automata and formal languages, natural language processing, computer graphics, image processing, visualization, computational algebra, computer systems, databases, formal concepts, intelligent systems, parallel and distributed systems, and technical computer science. http://www.informatik.uni-leipzig.de/cgi-bin/MakeHTML.cgi?EHTML=/ifi/home.ehtml&
MAS161 Calculus And Matrix Algebra - Computer Information computer equipment and software (the computer algebra package Maple, comes with the textbook by Stewart contains a basic computer algebra System, http://www.maths.murdoch.edu.au/units/mas161/resources/hardware.html
Extractions: Electronic Communications It is no longer necessary to perform many routine mathematical tasks by hand. You are strongly encouraged to gain access to a computer with appropriate software to help you in studying this unit. Students taking the unit internally, and external students with access to the campus, will be able to use University computer equipment and software (the computer algebra package Maple, the matrix algebra package Matlab, or Scientific Notebook). These software packages can perform many of the routine manipulations such as the evaluation of most limits, integrals and derivatives, and the determination of eigenvalues and eigenvectors, as well as producing high quality plots. Therefore, they become invaluable tools for performing these tasks once the underlying principles are understood. The CD that comes with the textbook by Stewart contains a basic Computer Algebra System, but it is a little limited if you intend to do further mathematics. In the case of external students, access to the required software and suitable computing equipment may be organized in a numbers of ways:
Felix computer algebra system for computation in commutative and noncommutative rings and modules. Win32, Unix. http://felix.hgb-leipzig.de/
Extractions: Authors Joachim Apel, Uwe Klaus Title Felix Short description Special computer algebra system for the computation in commutative and non-commutative rings and modules. The central method is Buchberger's algorithm and its generalizations to non-commutative rings, in particular to free k-algebras and algebras of solvable type. Among the implemented applications there are syzygy computations and basic ideal operations. Felix provides a complete programming language which in standard mode is interpreted but also on-line compiler and linker are included. Platforms System requirements Installation Guide More information/updates at Contact e-mail: apel@mathematik.uni-leipzig.de uklaus@hgb-leipzig.de
Workshop Workshop on computer algebra and Representation Theory Representation theory of groups of Lie type using computer algebra. Lunch break http://www.mathematik.uni-bielefeld.de/~sek/workshop2000.html
