Geometry.Net - the online learning center
Home  - Math_Discover - Algebra Computer Bookstore
Page 2     21-40 of 173    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20

         Algebra Computer:     more books (100)
  1. Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series) by Wan Fokkink, 2000-02-03
  2. Physics with MAPLE: The Computer Algebra Resource for Mathematical Methods in Physics (Physics Textbook) by Frank Y. Wang, 2006-04-17
  3. Linear Algebra with Computer Applications (Pure and Applied Mathematics,) by Ronald I. Rothenberg, 1983-01
  4. Proceedings of the Conference on Ordered Structures and Algebra of Computer Languages, Hong Kong, 26-29 June 1991 by K. P. Shum, Pong C. Yuen, 1993-08
  5. Analysis of Complex Nonlinear Mechanical Systems: A Computer Algebra Assisted Approach by Martin Lesser, 2000-10
  6. Computer Algebra and Symbolic Computation: Mathematical Methods by Joel S. Cohen, 2003-01
  7. Applications of Geometric Algebra in Computer Science and Engineering
  8. Computer Algebra with LISP and REDUCE: An Introduction to Computer-Aided Pure Mathematics (Mathematics and Its Applications) by F. Brackx, D. Constales, 1991-10-04
  9. Computer Algebra Systems: A Practical Guide
  10. Computer Algebra Methods for Equivariant Dynamical Systems (Lecture Notes in Mathematics) by Karin Gatermann, 2000-04-26
  11. Universal Algebra and Applications in Theoretical Computer Science by Klaus Denecke, Shelly L. Wismath, 2002-01-18
  12. Quantum Mechanics Using Computer Algebra: Includes Sample Programs for Reduce, Maple, Mathematica and C++ by Willi-Hans Steeb, 1994-10
  13. Rational Algebraic Curves: A Computer Algebra Approach (Algorithms and Computation in Mathematics) by J. Rafael Sendra, Franz Winkler, et all 2007-11-08
  14. Modular Algorithms in Symbolic Summation and Symbolic Integration (Lecture Notes in Computer Science) by Jürgen Gerhard, 2005-01-12

21. Computer Algebra In Mathematics Education
An open international organisation for those interested in the use of computer algebra software in mathematics education.
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.
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 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 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.

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
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 ( 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.
Computer Algebra and Problem Solving Environments
Stanly Steinberg
in Comparative CAS Reviews and Philosophy , organized by Michael Wester
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
    IMACS Sponsored Join the ACA mailing list
    Conferences on Applications of Computer Algebra
    Attend ACA'2004
    Past and Future Conferences
    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
    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.
    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
    Computer Hardware
    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.
    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
    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 @
    Universal algebra @ computer Dictionary Online. computer terminology definitions including hardware, software, equipment, devices algebra

    Resources for Abstract algebra. True/False Questions for Gallian's Contemporary Abstract algebra for students for learning abstract algebra. computer Software for Abstract algebra
    Resources for Abstract Algebra
    Computer Software for Abstract Algebra
    UMD Undergraduate Math Research

    32. Algebra @
    algebra @ computer Dictionary Online. computer terminology definitions including hardware, software, equipment, devices, jargon abbreviations and more.

    33. Eduscape
    Company that develops computer software for algebra, calculus, and differential equations.
    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.
    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.
    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:

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

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

    free hit counter