21. Computer Algebra In Mathematics Education An open international organisation for those interested in the use of computer algebra software in mathematics education. http://ltsn.mathstore.ac.uk/came/

Forwarding to new page

22. Contemporary Abstract Algebra - Computer Exercises And Applets The computer exercises and applets on this web site correspond to the programming problems found within the Fifth Edition of Contemporary Abstract algebra. http://college.hmco.com/mathematics/gallian/abstract_algebra/5e/students/applets

GAP Manual True/False Practice Questions Maple Manual Computer Exercises and Applets Textbook Site for: Contemporary Abstract Algebra , Fifth Edition Joseph A. Gallian, University of Minnesota, Duluth Computer Exercises and Applets To view the Computer Exercises and Applets, please visit the web site http://www.d.umn.edu/~jgallian and click on Gallian's Contemporary Abstract Algebra . The computer exercises and applets on this web site correspond to the programming problems found within the Fifth Edition of Contemporary Abstract Algebra Site Map I Partners I Press Releases I Company Home I Contact Us Terms and Conditions of Use Privacy Statement , and Trademark Information

23. Laws Of Boolean Algebra - Computer Fundamentals - Free Computer Science Tutorial Laws of Boolean algebra. Boolean algebra The most obvious way to simplify Boolean expressions is to manipulate them in the same way http://www.laynetworks.com/Boolean Algebra.htm

CS 01 CS 02 CS 03 CS 04 ... CS 17 Laws of Boolean Algebra Boolean Algebra The most obvious way to simplify Boolean expressions is to manipulate them in the same way as normal algebraic expressions are manipulated. With regards to logic relations in digital forms, a set of rules for symbolic manipulation is needed in order to solve for the unknowns. P1: X = or X = 1 Laws of Boolean Algebra the basic Boolean laws. Note that every law has two expressions, (a) and (b). This is known as duality. These are obtained by changing every AND(.) to OR(+), every OR(+) to AND(.) and all 1's to 0's and vice-versa.

24. Ontario Research Centre For Computer Algebra - ORCCA University of Western Ontario and University of Waterloo. Carries out fundamental research in and development of mathematical software. Details of research project, members and meetings. http://orcca.on.ca/

25. RIACA: Research Institute For Applications Of Computer Algebra Modern computer algebra HomepageModern computer algebra. computer algebra systems are gaining more and more importance in all areas of science and engineering. This http://www.riaca.win.tue.nl/archive/index.php

Research Institute for Applications of Computer Algebra / About ... / Documentation / Download / Products ... / Home Sorry, we have restructured our website and removed the archive. If you need more information please contact the webmaster (mriem@win.tue.nl) Quick Links / GAP / Magma / MathBook / Mathematica ... Technische Universiteit Eindhoven (TU/e).

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

27. Conferences On Applications Of Computer Algebra Join the ACA mailing list! Conferences on Applications of computer algebra. Attend ACA'2004. Past and Future Conferences. ACA'2007 to be held in Moscow, Idaho, USA. ACA'2006 to be held in Varna, Bulgaria symbolic computing or computer algebra, consult the computer algebra Nederlands WWW server more information on computer algebra in education, consult the computer algebra Systems in http://www.math.unm.edu/aca.html

IMACS Sponsored Join the ACA mailing list Conferences on Applications of Computer Algebra Attend ACA'2004 Past and Future Conferences ACA'2007 to be held in Moscow, Idaho, USA ACA'2006 to be held in Varna, Bulgaria ACA'2005 to be held at Nara Women's University, Nara, Nara, Japan (August 8-10) ACA'2004 to be held in Beaumont, Texas, USA (July 21-23) ACA'2003 held in Raleigh, North Carolina, USA (July 28-31) ACA'2002 held in Volos, Greece (June 25-June 28) ACA'2001 held in Albuquerque, New Mexico, USA (May 31-June 3) electronic proceedings ACA'2000 held in Saint Petersburg, Russia (June 25-28) electronic proceedings ACA'99 held in El Escorial, Spain (June 24-27) electronic proceedings ACA'98 held in Prague, Czech Republic (August 9-11) electronic proceedings IMACS-ACA'97 held in Wailea, Maui, Hawaii, USA (July 24-26) electronic proceedings IMACS-ACA'96 held at RISC, Linz, Austria (July 17-20) IMACS-ACA'95 held in Albuquerque, New Mexico, USA (May 16-19) electronic proceedings The ACA Working Group Instructions for Organizing an ACA Meeting Instructions for Organizing a Special Session ... Past and Future Published Collections of ACA Papers Note: Publication of a full article in the ACA web archive is not considered to be an archival journal publication, so it is proper and reasonable to also publish such an article or revised article in a journal.

28. Astro Algebra - Computer Software For Five Dollars A Title! Astro algebra. Astro algebra computer Software for Five dollars a title! Kids and Education Math Click here for more info and http://www.tipsdr.com/5dollar/astroalgebra.html

Astro Algebra Astro Algebra - Computer Software for Five dollars a title! Click here for more info and current pricing on the Astro Algebra. Are you looking for Astro Algebra? Partnering with 5Dollar Software, we have a great deal on Astro Algebra, buy it today for only 5 dollars! That's right, get Astro Algebra for only 5 dollars. Previous Category Next First Product Page ... Last Product Page 5Dollar Software's concept is to sell you quality, name brand software, like the Astro Algebra, as "CD ONLY" without the extra costs of packaging. Every title they sell is $5 or less everyday. They can accomplish this because they have exclusive deals with their suppliers to purchase these programs at tremendous savings direct from the publishers, without the extra packaging costs of boxes, printed manuals etc. All instructions, manuals etc. are included on the cd's so you won't get the printed manual or boxes... ...BUT YOU WILL GET THE BEST DEALS ON THE INTERNET ON THESE TITLES -PERIOD. GO AHEAD AND SHOP AROUND-YOU WONT FIND THESE SAME TITLES AT BETTER PRICES. They work off of volume sales so they also don't overcharge you for shipping. We hope you enjoy these deals, this one Astro Algebra and the others, and if there's anything we can do for you please let us know. Great software, generic prices. Windows XP home Computer Hardware home Gaming PC's Flat Screen Monitors Used Notebook Computers Notebooks under $1000 ... Computer Magazines Back to Computer Hardware home Back to Windows XP home

29. LiveMath : Computer Algebra System & MathEQ: Mathematical Typesetting computer algebra and graphing tool for Mac, Windows, Linux and Sun, formerly sold under the product names Theorist and MathView, with ancillary product Expressionist. Includes a browser plugin. http://www.livemath.com/

Support Latest News : April 08, 2004 : New maintenance releases available for MEQ, LMM and LMP. Website Viewing Language: Change Language Quick Links HomePage Quick Tour Purchase Info New Features ... LiveMath Maker Student: $99 Academic: $189 Commercial: $299 MathEQ Student: $69 Academic: $99 Commercial: $199 Combo Pack Student: $139 Academic: $229 Commercial: $399 Plus great prices on multiple activations All prices in USD. AOL Instant Message Us for Technical Support and Software Questions LiveMath LiveMathDiane LiveMathLee LiveMathAlyssa ... LiveMath Maker Create Web-Sharable Mathematics with this Easy-to-Use Computer Algebra and Graphing System. MathEQ Expression Editor Create Professional Looking Mathematical Expressions for your Scientific Documents using this Powerful Typesetting Application. Product Info Purchase / Upgrade Download Free for 30 days Product Info Purchase / Upgrade Download Free for 30 days Online Courses through Suffolk University Distance Calculus Take one of the many Undergraduate level Calculus course offered in this on-line Classroom.

30. Universal Algebra @ Computer-Dictionary-Online.org Universal algebra @ computer Dictionary Online. computer terminology definitions including hardware, software, equipment, devices http://www.computer-dictionary-online.org/?q=Universal algebra

31. SUMMER SCHOOL Resources for Abstract algebra. True/False Questions for Gallian's Contemporary Abstract algebra for students for learning abstract algebra. computer Software for Abstract algebra http://www.d.umn.edu/~jgallian

Resources for Abstract Algebra True/False Questions for Gallian's Contemporary Abstract Algebra Advice for students for learning abstract algebra Computer Software for Abstract Algebra Gallian's Contemporary Abstract Algebra Rainbolt and Gallian Abstract Algebra with GAP Site Mihailovs's Abstract Algebra with MAPLE Site Ed Keppelman's Finite Group Behavior (Windows 95) UMD Undergraduate Math Research Program Bibliography Program Information Twenty Years of Mathematics in Duluth Photos 1980-1989 ... Photos 2004 Application Information The instructions Letter to Students Announcement Application Form ... The List of Participants Please send any comments to Joseph A. Gallian This page has been visited times since March 1, 1998

32. Algebra @ Computer-Dictionary-Online.org algebra @ computer Dictionary Online. computer terminology definitions including hardware, software, equipment, devices, jargon abbreviations and more. http://www.computer-dictionary-online.org/?q=algebra

33. Eduscape Company that develops computer software for algebra, calculus, and differential equations. http://www.eduscape2000.com/

Eduscape is distance learning at its best. Our objective at Eduscape is to provide first-class distance learning opportunities for students by developing the best learning software for business and education. Our distance education courseware begins with careful planning and a focused understanding of course requirements and student needs. Human advisors, PHDs in the field of Education and experts in Distance Learning, create a lesson plan based on these requirements. Next, the appropriate technology is selected to deliver the training. Hard work and dedicated efforts by our programming staff create a rich interactive, multi-media learning program that meets the lesson plans and student requirements. Educators and students use and provide continual feedback on our learning programs. You can sample the quality of our work by selecting the Public Demo link at the top of this page. Eduscape's Learning Tools:

34. Vol. 4 Nr. 2-3 1997 Cybernetics CyberSemiotics. Vol. 4 no. 2-3 1997. Louis H. Kauffman Virtual Logic - Boolean algebra, computer Proofs and Human Proofs. http://www.imprint.co.uk/C&HK/vol4/v4-23kauffman.htm

Vol. 4 no. 2-3 1997 Louis H. Kauffman: Virtual Logic - Boolean Algebra, Computer Proofs and Human Proofs In the last installment of this column, I promised to discuss properties of the duplicating gremlin G - a model for self-reference and recursion. In the meantime something fascinating has come up. I shall postpone the gremlin for now. This column is devoted to a discussion of the relation between computer proof and human proof. It is a discussion of the relationship of persons and machines. Can a computer discover the proof of a theorem in mathematics? Some would say that this is certainly possible, since the computer has only to find the right steps. After all, proving a theorem is like solving a problem in chess, and we are all aware that computers can play quite a good game of chess. On the other hand, I say that a proof is not a proof until a person is convinced by it. In fact a mathematical proof is exactly an argument that is completely convincing to a mathematician! In this sense, a computer does not, can not produce a proof. The computer is not convinced of anything. The computer is set to search for something - a certain series of steps according to some rules. The computer can indicate the state desired by its programmers. It does not know the proof. It only finds the steps.

35. 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!

36. ATLAST Book Of Computer Exercises ATLAST computer Exercises for Linear algebra. Edited by Steven Leon, Eugene Herman, and Richard The ATLAST collection of computer exercises represents the best creative efforts of http://www.umassd.edu/SpecialPrograms/Atlast/ATLASTbook.html

ATLAST Computer Exercises for Linear Algebra Edited by Steven Leon Eugene Herman , and Richard Faulkenberry Prentice-Hall The ATLAST collection of computer exercises represents the best creative efforts of the more than 350 faculty members who participated in the thirteen ATLAST workshops offered between 1992 and 1995. Workshop participants designed computer exercises and projects suitable for use in undergraduate linear algebra courses. From the entire ATLAST database of materials, the editors have selected a comprehensive set of exercises covering all aspects of the first course in linear algebra. Each chapter is divided into two sections. The first section consists of shorter exercises and the second section consists of longer projects. The computer exercises are all based on MATLAB . A unique feature of MATLAB is that it is the only major mathematical software package that is based almost entirely on matrices. A collection of MATLAB routines (M-files) has been developed to accompany this book. Many of these routines are designed to give visual illustrations of important linear algebra concepts such as coordinate systems, linear transformations, and eigenvalues. Other M-files illustrate visual applications such as using linear transformations for computer animations or using matrix factorizations for digital imaging. Still other M-files can be used to generate special structured matrices. Students are then challenged to discover properties of the special matrices.

37. Nico Benschop Homepg: Powersums, Fermat, Waring, Goldbach, Cantor; State Machine A compendium of papers by Nico F. Benschop on abstract algebra, number theory, computer science and physics. http://home.iae.nl/users/benschop

Welcome to the homepage of Nico F. Benschop John Glenn (77), Shuttle #92: Discovery - 7nov1998 @ Kennedy Space Center... Proficiat! Charles Lindbergh Spirit of St.Louis - 21may1927 @ Le Bourget, Paris... touch down! - - - - - - - And the E xplorative . D iscovery . S pirit goes on ... ;-) - - - - - - - Home email: Mail('n.benschop') . . AmSpade Research Edouard Manet (1882): Chrystal vase + clematis > Some WWWisdom cookies and quotes (beware: with sci.math Core ;-) about: Curiosity and Search "An open mind is a joy forever " Inertia " Climbing Mount Prejudice " Generalize "If a problem is too hard, generalize it " Simplify " We have to fight uphill to rediscover the obvious " Coincidence " Life is fighting entropy " My CV Work Play ff finite fun . . (reflections in the finite)* Intuition : . . Even if you don't see it, you still can smell it ! - - - "Remembering Claude Shannon" - - - (NB: 28-july-2002) Fermat, Waring, Goldbach -:- view Arithmetic as Function composition (semigroups) : . . . Additive Number Theory : hard problems, solved via semigroups Z(.) mod m_k , and . . . The sawtooth of Evolution : Child's arithmetic (=exponential;-( : . . . Stable economic growth of 3 % per year

38. Bath University - Department Of Computer Science Department of computer Science. Research themes Computational algebra and geometry; HCI; Multimedia computing; Systems software engineering. http://www.bath.ac.uk/comp-sci/

Undergraduate Students Post-graduate Students Exchange/Visiting Students Undergraduate Admissions ... Designing for Society, HCI 2003 Maintained by web support

39. Savannah Valid HTML 4.01! Axiom computer algebra System Summary. This project is not part of the GNU Project. Axiom is a general purpose computer algebra system. http://savannah.nongnu.org/projects/axiom

Login Status: NOT LOGGED IN Why Log In? Login via SSL New User via SSL Search in Project/Group People Support Bugs Task Patch Hosted Projects Full List Savannah Help Get Support Contributor Wanted Savannah Documentation User Docs (FAQ) Contact Us GNU Project Coming Events Brave GNU World Free Software Directory Help GNU ... Licenses List Axiom Computer Algebra System - Summary Public Areas Main Homepage Files Support ... News This project is not part of the GNU Project. Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions.

40. Mathematical Structures In Computer Science Focuses on the application of areas such as logic, algebra, geometry and category theory to theoretical computer science. http://uk.cambridge.org/journals/msc/

Home Journals Features Related Journals Journals By Title By Subject Highlights New Journals 2004 ... Advanced Search Cambridge Alerts Free journal TOC alerts New title information alerts Mathematical Structures in Computer Science Edited by G. Longo CNRS and Ecole Normale Supérieure, Paris, France Editorial Board Instructions for Contributors Advertising Rates Links Aims and Scope Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. Print ISSN: 0960-1295 Online ISSN: 1469-8072 Full pricing details Current volume: 14:1 - 14:6, 2004 All issues View a free sample of this journal Cambridge University Press 2004.

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