141. 9th Rhine Workshop On Computer Algebra: Main Website of the ninthe Rhine Workshop on computer algebra. http://www.math.math.ru.nl/~bosma/RWCA04

Main Programme Travel Local ... Registration Ninth Rhine Workshop on Computer Algebra March 25-26, 2004 University of Nijmegen Nijmegen the Netherlands Topics The topics of the workshop include all aspects of Computer Algebra, from theory to applications and systems. Purposes 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. Organization Workshop Chair Wieb Bosma, University of Nijmegen, bosma@math.kun.nl Program Committee Chair Arjeh Cohen, University of Eindhoven, amc@win.tue.nl Important Dates January 10, 2004 Submitted papers must be received January 31, 2004

142. 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

Welcome, please sign in My Pick-Up Window Products Training ... global sites TI's integrated portfolio - research-based technology and services designed for improved student learning. Real time, real results classroom learning system Find your TI solution. 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. activities Online subscriptions, videos, activity books and much more. training On-site and online training, conferences and professional development for teachers. resources for you Regional information, success stories, useful links and more to support your classroom needs. get connected! Join Discussion Groups Sign up for eNewsletters about us ... career opportunities Know what you're looking for? Get started Activity Books Apps and OS versions Computer Software Guidebooks/Manuals StudyCards™ resources Success Stories TI Connect Tutorials Where to Buy Workshop Loan document.write(image);

143. CAS/WWW/Math Workshop, Murphy/Meade/Miller (ICTCM IX, Reno) computer algebra and the WorldWide Web Across the Mathematics Curriculum. computer algebra Systems; Graphing Calculators; Other Resources 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.

144. 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

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. bernina interactive program with interface to a computer algebra library. Computer Algebra Kit collection of small programs for computer algebra. CASA computer algebra software for constructive algebraic geometry in Maple. CoCoA a special-purpose system for doing Computations in Commutative Algebra. DrMath online symbolic math and computer algebra system. FELIX computations in and with algebraic structures and substructures.

145. Kan/sm1 Rings and computer algebra software, part of OpenXM. http://www.math.sci.kobe-u.ac.jp/KAN/

Kan/sm1 Kan/sm1 (19912003) is a system for computing in the ring of differential operators D (and difference operators, ...). Download 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 Documents for kan/sm1 is here $Id: index-kan.html,v 1.2 2003/09/22 07:22:10 taka Exp $ Archives Old kan/sm1 (sources and binaries of version 2.990914 are here) : A system for computation in algebraic analysis, 1991-. Version 1, 1991, Version 2, 1994. The last standalone distribution is kan/sm1 Release 2.990914. (source code and Linux binary distribution only.) 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.

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

about welcome! the castle of hagenberg partners ... software search: sitemap Computer Algebra at RISC 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.

147. 1997 IMACS Conference On Applications Of Computer Algebra 3rd IMACS Conference on Applications of computer algebra. Aston Wailea Resort, Wailea, Maui, Hawaii, USA; 2426 July 1997. http://math.unm.edu/ACA/1997.html

1997 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra Aston Wailea Resort Wailea, Maui, Hawaii, USA July 24-26, 1997 General Chair Michael Wester Program Chairs Jacques Calmet Vladimir Gerdt Local Arrangements Stanly Steinberg Nicolas Robidoux Partially supported by Albuquerque Resource Center IBM Research Maui High Performance Computing Center National Security Agency 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: Electronic proceedings Registered attendees summary A description of the meeting Final program [ DVI PostScript Maui Activities on Maui, climate and a map of the island About the Aston Wailea Resort and plans and pictures of the hotel Making reservations at the Aston Wailea Getting to Maui and the Aston Wailea Conference proceedings and publishing papers Join the list of interested parties!

148. CANdiensten - Your Partner In Mathematics And Statistics Commercial offshoot of CAN (computer algebra Nederland) specialising in software, courses and consultancy in mathematics and statistics. http://www.candiensten.nl/english/

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

Robbins Algebras Are Boolean William McCune Automated Deduction Group Mathematics and Computer Science Division 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. Introduction 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. Historical Background 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]:

150. Gert Vegter University of Groningen Geometric computing, computer algebra, and dynamical systems. http://www.cs.rug.nl/~gert/

Prof.Dr. Gert Vegter I can be reached at: University of Groningen Institute for Mathematics and Computing Science, room 126 P.O. Box 800, NL 9700 AV Groningen, Netherlands Telephone +31 50 363.3930, Telefax: +31 50 363.3800 E-mail: gert@cs.rug.nl Research interests Geometric Computing Computational Topology Dynamical Systems Recent publications ... Computational Topology: some Snapshots (slides from a talk at Dassault, Paris (Fr), 31 March 2000) Version with two slides per page Onderwijs Vacancies PhD Research position for the project Geometry of Resonance Tongues.

151. Boolean Algebra, Computer Arithmetic And Memory http://staff.science.uva.nl/~jesshope/web-site-08123/Boolean_algebra.f/Boole002.

152. ACA'98, 1998 IMACS Conference On Applications Of Computer Algebra 4th IMACS Conference on Applications of computer algebra. Czech Technical University, Prague, Czech Republic; 911 August 1998. http://www-troja.fjfi.cvut.cz/aca98/

Mirrors: CTU, Prague, Europe and UNM, Albuquerque, USA ACA'98 1998 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra Czech Technical University Prague Czech Republic August 9-11, 1998 Just before ISSAC'98 , August 13-15, Rostock, Germany Sponsors: Ministry of Education of Czech Republic Czech Technical University Faculty of Nuclear Sciences and Physical Engineering Texas Instruments Inc. ... Wolfram Research Inc. General Chair Richard Liska Program Chairs Victor Edneral Organizing Committee Stanly Steinberg Michael Wester Local Arrangements: Jiri Limpouch Milan Sinor Petr Kapusta Faculty of Nuclear Sciences and Physical Engineering ... Czech Technical University 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?

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

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

Chartwell-Yorke Ltd, 114 High St, Belmont, Bolton, Lancs, BL7 8AL, UK, tel 01204 811001 fax 01204 811008 info@chartwellyorke.com Autograph 3 Cabri Geometry II Plus Cabri 3D Derive 6 ... 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.

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

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.

156. 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&

157. 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

Computer Information Computer Software and Hardware Electronic Communications Computer Software and Hardware 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:

158. Felix computer algebra system for computation in commutative and noncommutative rings and modules. Win32, Unix. http://felix.hgb-leipzig.de/

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 Windows, Windows NT, OS/2 Linux NetBSD Solaris System requirements PC with 80386 processor or higher SUN Sparc v8 Installation Guide More information/updates at Computer algebra group at Leipzig university Felix's home Contact e-mail: apel@mathematik.uni-leipzig.de uklaus@hgb-leipzig.de

159. 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

Workshop on Computer Algebra and Representation Theory September 25 - September 27, 2000 The workshop is partially supported by the European TMR program. A main aim of this workshop will be to bring together areas which are related to representation theory of algebras in order to see how computer algebra is used and to obtain stimulations for the further work and possible cooperations. Monday, September 25 H 3 Opening H 3 G. Michler (Essen): Uniform existence proofs for the sporadic simple groups not contained in the monster H 3 M. Kratzer (Essen): Uniform and natural existence proofs for Janko's sporadic groups J and J Coffee H 3 A. Lascoux (Marne-la-Vallee): Double crystal graphs Lunch break H 3 M. Barot (UNAM, Mexico): Classifying equivalence classes of integral quadratic forms H 3 A. Krause (Bielefeld): Algebraic computations in derived categories Coffee H 3 R. Lychman (Kiev): Quadratic forms and coverings: a computer implementation H 3 B. Buchberger (Linz): The Theorema project: logic and algebra Tuesday, September 26 H 3 Hall polynomials for E H 3 D. Guhe (Bielefeld):

160. 1999 IMACS Conference On Applications Of Computer Algebra 5th IMACS Conference on Applications of computer algebra. Euroforum, El Escorial, Madrid, Spain; 2427 June 1999. http://math.unm.edu/ACA/1999.html

1999 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra June 24-27, 1999 (scientific program June 25-27) Euroforum, El Escorial (near Madrid), Spain imacs-aca99@ccedu.ucm.es Sponsors/Collaborators: Addlink Software Cientifico Cotopaxi IMACS Sociedad Matematica Puig Adam Texas Instruments Universidad Complutense de Madrid Universidad Complutense de Madrid - Servicios Informaticos Organizers: Honorary President : Rafael Puyol (Rector of the Universidad Complutense de Madrid) General Chair Eugenio Roanes-Lozano (Univ. Complutense de Madrid, Spain) Program Chairs Victor Edneral (Moscow State Univ., Russia), Laureano Gonzalez-Vega (Univ. de Cantabria, Spain), Jaime Gutierrez (Univ. de Cantabria, Spain) Richard Liska (Czech Technical University, Czech Republic) Organizing Committee Stanly Steinberg (Univ. New Mexico, USA), Michael Wester (Cotopaxi, USA), Eugenio Roanes-Macias (Univ. Complutense de Madrid, Spain)

Page 8     141-160 of 179    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20