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

         Algebra Computer:     more books (100)
  1. Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings (Lecture Notes in Computer Science)
  2. Undergraduate Algebra (Lecture Notes in Computer Science) by Serge Lang, 1990-01
  3. Algebraic Logic and Universal Algebra in Computer Science (Lecture Notes in Computer Science)
  4. Computer Algebra Recipes for Classical Mechanics by Richard H. Enns, George C. McGuire, 2002-11-22
  5. Process Algebra (Cambridge Tracts in Theoretical Computer Science) by J. C. M. Baeten, W. P. Weijland, 1990-10-26
  6. Initial Computability, Algebraic Specifications, and Partial Algebras (International Series of Monographs on Computer Science) by Horst Reichel, 1987-12-03
  7. Computer Algebra and Differential Equations (London Mathematical Society Lecture Note Series)
  8. Computational Commutative Algebra 2 by Martin Kreuzer, Lorenzo Robbiano, 2005-08-22
  9. Linear Algebra With Applications by Gareth Williams, 2007-08-17
  10. Q-Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics and Computer Algebra (Cbms Regional Conference Series in Mathematics) by George E. Andrews, 1986-09
  11. Computer Algebra 2006: Latest Advances in Symbolic Algorithms: Proceedings of the Waterloo Workshop in Computer Algebra 2006, Ontario, Canada, 10-12 April 2006
  12. At Last Computer Exercise for Linear Algebra by Steven J. Leon, 1996-01
  13. Elements of Computer Algebra With Applications by Alkiviadis G. Akritas, 1989-03-30
  14. Prentice Hall Pre-Algebra, Computer Item Generator with Standardized Test Practice

61. 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.
ZCA Kaiserslautern
Centre for Computer Algebra
Mathematics Computer Science , and Electrical Engineering at the University of Kaiserslautern . The goal of the centre is to advance and to support the use of Computer Algebra in industry, research, and teaching.
c/o Prof. Dr. G.-M. Greuel
FB Mathematik
D-67663 Kaiserslautern
Olaf Bachmann Last modified: Fri Feb 4 11:12:05 MET 2000

62. International Journal Of Modern Physics C
Covers Computational Physics, Physical Computation and related subjects. Publishes both review and research articles on the use of computers to advance knowledge in the physical sciences, and the use of physical analogies in computation. Topics include computer algebra, numerical simulation techniques, parallel and vector computers, lattice gauge theory, and algorithms.

63. 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
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.
Greuel, G.-M.; Lossen, C.; Schulze, M.
Three Algorithms in Algebraic Geometry, Coding Theory, and Singularity Theory.

March 2001.
Postscript BibTeX
Greuel, G.-M.
Applications of Computer Algebra to Algebraic Geometry, Singularity Theory and Symbolic-Numerical Solving.

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

64. HartMath Java Computer Algebra Tool :: Developing A Java Based Mathematics Syste
Java computer algebra applet. Some features are EPOC32 Java version, big rational number arithmetic, symbolic differentiation, linear algebra functions, 2D plot functions, numeric computations, pattern matching, transformation rules, functional programming, pure functions. Open Source, GPL
@import url("themes/FunkyDelic/style/style.css"); Main Menu Home

Your Account

PDF documentation

MathML BLOG/Wiki
Testpage (

Development (Java 1.3)
Project Page


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.

65. Maplesoft - Command The Brilliance
Maple the computer algebra System used in college and university math programs across North America.

MapleNet Maple T.A. Toolboxes ... Contact Us
Maple 9.5, the essential productivity tool for every technical professional.
Learn more about
Maple 9.5 Learn how our products make all tasks that depend on mathematics easier, more efficient, and more effective.
Take the Maplesoft Product Tour Now!
New product line offers powerful solutions for specialized
application areas. Learn more about the series and the release of Global Optimization,
the first Maple Professional Toolbox Series product Read the complete press release
Maple T.A. Release 1.5 delivers richer experience to students and increased efficiency to instructors.
Maple Course, Aug 9-13th, Vancouver. Hosted at Simon Fraser University, this course provides an opportunity to learn Maple from an expert. Click here to learn more. MapleConnect First set of third party products now available from the Maplesoft Web Store.

66. Mathematik Mit Computer-Algebra-Systemen
Translate this page Mathematik mit computer-algebra-Systemen. Der Ist-Zustand. Alltagsprobleme und reizvolle, durchaus komplexe Problemstellungen, die
Mathematik mit Computer-Algebra-Systemen (ARCHIV) betreut durch Juergen Rau Home Angebot: Home Mediothek Forum Foyer ... Info
Mathematik mit Computer-Algebra-Systemen
Der Ist-Zustand
Der Weg- das Ziel!

67. SIMATH Homepage
computer algebra system for number theoretic applications.
Welcome at SIMATH!
SIMATH is a computer algebra system, especially for number theoretic purpose. A more detailed overview is available as dvi file. You can alternatively download the TeX Source of this file. The center of development and maintainance of SIMATH is now in TMU (Tokyo Metropolitan University). You can get our present policy and an aim from here as dvi file or from here as ps file The SIMATH manual is also available (as dvi file). The TeX-Source of this file is distributed together with the SIMATH system. For more information about the algorithms in SIMATH, you can download the following articles: Following this link, you will find some examples of sources of programs written in SIMATH. We have set up a mailing list to discuss several problems related to the number theoretic system SIMATH among the users of the system. Send an email to

68. ECCAD 2001 East Coast Computer Algebra Day
Florida State University, Tallahassee, Florida, USA; 5 May 2001.
ECCAD , East Coast Computer Algebra Day, is an annual conference that provide opportunities to learn and share new developments and to present research results in the areas of symbolic mathematical computation.
T H E M E S T O B E C O V E R E D:
  • Algebraic Algorithms
    Hybrid Symbolic-Numeric Computation
    Computer Algebra Systems and Generic Programming
    Mathematical Communication
    Complexity of Algebraic Problems
Registered Participants

Titles of Posters

G E N E R A L I N F O R M A T I O N Please Note:
The weekend of May 5th, Tallahassee Legislature will be in session and FSU and FAMU will be hosting International Conferences. . Tallahassee Regional Airport is small and limited. Please do not wait long making air reservations. R E G I S T R A T I O N: Fill out the following registration form and e-mail it to: C O N F E R E N C E L O C A T I O N: Turnbull Conference Center at Florida State University in Tallahassee Florida D I R E C T I O N S: P A R K I N G: Parking is available across the street of the Turnbull Conference Center at the Civic Center Parking lot.

69. Boolean Algebra -- From MathWorld
The algebra defined by commutativity, associativity, and the Robbins axiom is called Robbins algebra. computer theorem proving demonstrated that every Robbins
INDEX Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics ... Alphabetical Index
ABOUT THIS SITE About MathWorld About the Author
DESTINATIONS What's New MathWorld Headline News Random Entry ... Live 3D Graphics
CONTACT Email Comments Contribute! Sign the Guestbook
MATHWORLD - IN PRINT Order book from Amazon Algebra Named Algebras Boolean Algebras
Boolean Algebra
A Boolean algebra is a mathematical structure that is similar to a Boolean ring , but that is defined using the meet and join operators instead of the usual addition and multiplication operators. Explicitly, a Boolean algebra is the partial order on subsets defined by inclusion (Skiena 1990, p. 207), i.e., the Boolean algebra b A ) of a set A is the set of subsets of A that can be obtained by means of a finite number of the set operations union OR intersection AND ), and complementation NOT ) (Comtet 1974, p. 185). A Boolean algebra also forms a lattice (Skiena 1990, p. 170), and each of the elements of b A ) is called a Boolean function . There are Boolean functions in a Boolean algebra of order n (Comtet 1974, p. 186).

70. Symaxx
Graphical frontend for the Maxima computer algebra system.
Symaxx/2 - a graphical frontend for the Maxima computer algebra system
Note: The obsolete Symaxx (1) homepage has moved here
Maxima is a computer algebra system, whose roots go back to 1970 and earlier. Many users consider it a reliable and efficient program. It is operated through the command line (advanced users prefer Emacs).
Fig 1: Maxima / Emacs snapshot Symaxx/2 is a graphical frontend for Maxima.
Fig 2: Symaxx/2 snapshot Here are the Symaxx/2 demo files, which should give you a good impression about the program.
Fig 2a: One of the demos A calculation in Symaxx/2 consists of a number of calculation `objects', as shown in fig. 2.
Each object consists of one or more command lines, and the corresponding number of result lines.
In fig. 2, the command is the integration, the result is the polynomial below.
An object can be considered as a `small Maxima session'.
Fig 3 Figure 3 shows two objects with independent calculations.
Maxima-note: The `%' operator refers to the last result. Ev(Expr,NUMER) calculates Expr as a floating point number
Each object has a unique identifier ID.

71. ZCA Home Page
A scientific institution of the departments of Mathematics , computer Science , and Electrical Engineering at the University of Kaiserslautern. The goal of the centre is to advance and to support the use of computer algebra in industry, research, and teaching.
ZCA Kaiserslautern
Centre for Computer Algebra
Mathematics Computer Science , and Electrical Engineering at the University of Kaiserslautern . The goal of the centre is to advance and to support the use of Computer Algebra in industry, research, and teaching.
c/o Prof. Dr. G.-M. Greuel
FB Mathematik
D-67663 Kaiserslautern
Olaf Bachmann Last modified: Fri Feb 4 11:12:05 MET 2000

72. Internet Distance Education Academies: CXC Math Software, Caribbean Distance Edu
Interactive computer program on algebra designed primarily to the needs of the Caribbean and Latin America.
var cm_role = "live" var cm_host = "" var cm_taxid = "/memberembedded"
Internet Distance Education Academies About Us Our Services Support Contact Information ... Purchasing Gateway Welcome to the Caribbean's Distance Education Web Site.
Our business is about the development of educational software tailored primarily to the needs of the Caribbean and Latin America. CLICK HERE FOR ON-LINE SIMULATION OF EFFECTS OF HURRICANES AND EARTHQUAKES ON CARIBBEAN HOUSES Free CXC Maths 1 Demo software (2.8M) Purchase CXC Maths 1
The products can be used either over the internet, over a LAN or WAN, or standalone. Each product is designed for interactivity which together with graphics technology optimizes the learning process.
Our product lines are intended to eventually be components of a total educational experience with special emphasis on the requirements of the Caribbean Examinations Council (CXC) O'Level and A'Level exams for general Caribbean secondary school requirements. We are also developing products for the Trinidad and Tobago Secondary Education Assessment (SEA) exams.
Our first available product is Math Term 1. To download (10 mins) a free demo copy please click above and follow the instructions. The system requirements are - Windows 3.x/95/98; a PC compatible above Intel 386, and VGA or SVGA.

73. REDUCE Home Page (archival Version)
The REDUCE computer algebra System. Current Version REDUCE 3.8. Version 3.8 of the REDUCE computer algebra System was released 15 April 2004.
The REDUCE Computer Algebra System
Current Version: REDUCE 3.8
Version 3.8 of the REDUCE Computer Algebra System was released 15 April 2004. Information on this and future releases of REDUCE is now available from a dedicated website at Information available from the current page ( contains archival information on older versions of REDUCE, and is being offered to support those who may still be running older versions of REDUCE.
Previous Versions
Version 3.7 of REDUCE was released on April 30th, 1999. Please see the announcement by Tony Hearn and the documentation for the new version. The REDUCE Homepage of ZIB also includes much more information on the current version of REDUCE. There is also a Y2K compliance statement for REDUCE 3.7.
REDUCE 3.6 Table of Contents
  • Introduction General Information Ordering Information Demonstration Versions ... About the REDUCE Home Page
  • Introduction
    REDUCE is an interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers. Its capabilities include:
    • expansion and ordering of polynomials and rational functions;

    74. 8th Rhine Workshop On Computer Algebra
    Navigation ohne Frames Navigation ohne Frames

    75. CAIN-UK: Computer Algebra Information Network
    computer algebra Information Network. UK Node. computer algebra in Britain. The following sites have one or more person involved in computer algebra.
    Computer Algebra Information Network
    UK Node
    Computer algebra in Britain
    The following sites have one or more person involved in computer algebra. The links are to the most specific address which covers the activity.
    Forthcoming Meetings in United Kingdom
    Links to Other Computer Algebra Information
    Software and ServicesAvailable
    Other CAIN Nodes Last modified: Thu Nov 12 16:00:46 GMT 1998

    76. Practical Foundations Of Mathematics
    An account of the foundations of mathematics (algebra) and theoretical computer science, from a modern constructive viewpoint by Paul Taylor. Published by Cambridge University Press. HTML approximation.
    Practical Foundations of Mathematics
    Paul Taylor
    Practical Foundations of Mathematics
    Paul Taylor
    Published by Cambridge University Press, 1999, ISBN 521 63107 6. pt/Practical_Foundations This summary explains which parts of the book are original research or novelties of exposition. The entire text is now accessible on the Web in an approximate HTML translation, so if you are reading the HTML version of this document you can go directly to the parts of the text to which it refers. Richard Knott, email:
    fax: +44 1223 315 052 tel: +44 1223 325 916 (but other methods are preferable)
    snail: Cambridge University Press, The Edinburgh Building, Shaftesbury Road, Cambridge, CB2 2RU, UK
    General description
    Practical Foundations collects the methods of construction of the objects of twentieth century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic ZF, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. The first three chapters will be essential reading for the design of courses in discrete mathematics and reasoning, especially for the ``box method'' of proof taught successfully to first year informatics students. Chapters

    77. Computer Algebra Research Group @ WLU
    Department of Physics and computer Science of Wilfrid Laurier University, Waterloo, Ontario, Canada. Research interests include Gr¶bner Bases, Implicitization on Polynomial Curves and Surfaces, Enumerating Regular MixedCell Configurations, Symmetric Polynomials.
    Home Research Members ECCAD 2004 ... Webmaster Computer Algebra Research Group (CARGO) was formed in May 2002. We are part of Department of Physics and Computer Science of Wilfrid Laurier University Waterloo , Ontario, Canada.
    The CARGO group at WLU is going to host the ECCAD 2004, East Coast Computer Algebra Day on May 8 th . The deadline for registration is on April 20 th . A free Maple tutorial is also running after the conference. For more information, please visit
    Research Topics:
    Last updated: March 11 th
    Design and Maintenance by MaximAlgorithms Technologies
    PHP Setup
    This web site is best viewed with CSS enabled browsers.

    78. Laboratory For Foundations Of Computer Science
    School of Informatics. A community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity.
    LFCS People Publications Informatics
    Laboratory for Foundations of Computer Science
    Home Page
    The Laboratory for Foundations of Computer Science is a research institute within the School of Informatics at the University of Edinburgh . We are a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity. To find out more, join the LFCS-interest mailing list

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

    80. MuPad -- A Computer Algebra System $Revision: 1.4 $
    The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set.
    ¢£ MuPAD a computer algebra system ¢£ MuPAD ¤È¤Ï¤â¤Î¤¹¤´¤¯´Ê±¤Ë¸À¤¤Æ¤·¤Þ¤¨¤Ð ¡Ö¾¦ÍѤǤʤ¤¸¦µæ¡¢¶µ°é¤Ë»È¤¦¤Ê¤é¤Ð¥Õ¥ê¡¼¤Ë»È¤¨¤ë¡× Mathematica ¤Î¤è¤¦¤Ê¥·¥¹¥Æ¥à¤Ç¤¹¡£ Mathematica ¤è¤ê¥·¥¹¥Æ¥à¤â·Ú¤¤¤ß¤¿¤¤¤À¤·¡¢¤Ê¤«¤Ê¤«¤¤¤¤¤«¤â¤·¤ì¤Þ¤»¤ó¡£ ·ÐÈñ¤¬¤«¤«¤é¤Ê¤¤¤Î¤âÌ¥ÎÏŪ¡£ (ÅìÂç¤Ê¤ó¤«¤À¤È¡¢Mathematica ¤Î¥µ¥¤¥È¥é¥¤¥»¥ó¥¹¤ò¤È¤¤Æ¤ë¤Î¤Ç¡¢ ¤³¤ÎÊÕ¤ê¤Ï¶¥Áè¤Ë¤Ê¤é¤Ê¤¤¤±¤É)
    (2001ǯ9·î¸½ºß) ºÇ¿·¥Ð¡¼¥¸¥ç¥ó¤Ï 2.0 ¤Ë¤Ê¤ê¤Þ¤¹¡£ ¥é¥¤¥»¥ó¥¹·ÁÂÖ¤ÏƤËÊѤ襤Ƥ¤¤Ê¤¤¤è¤¦¤Ç¤¹¤¬¡¤1.4 »þÂå¤Î¥Ñ¥¹¥ï¡¼¥ÉÅù¤Ï»È¤¨¤Ê¤¤¤Î¤Ç¡¤regitration ¤ò¤ä¤êľ¤¹É¬Íפ¬¤¢¤ê¤Þ¤¹¡£
    MuPAD Official Page (¥ª¥Õ¥£¥·¥ã¥ë¥µ¥¤¥È)

    official WWW site for MuPad
    Sciface Software ¤È The Mupad Research Group ¤ÎξÊý¤Ë·Ò¤¬ ¤ë¸ø¼° WWW ¥µ¥¤¥È¤Ç¤¹¡£ MuPAD ¤Î¥Ð¡¼¥¸¥ç¥ó¤â¾å¤¬¤ê¤Þ¤·¤¿¤·¡¤¤¿¤Þ¤Ë¤Ï´Ñ¤Æ¤ß¤Þ¤·¤ç¤¦¡£ Germany ¤Ë¤¢¤ë¥µ¥¤¥È¤Ê¤Î¤Ç¡¢¤Á¤È±ó¤¤¤Ç¤¹¤¬¡£
    µ­½Ò¤Ï¾åµ­¤Î¤É¤Á¤é¤Î web ¤âËܼÁŪ¤Ë¤Ï»÷¤¿¤è¤¦¤Ê¤â¤Î¤Ç¤¹¤¬¡¤ The MuPAD Research Group ¤Î web ¤ÎÊý¤¬¤Ê¤ó¤«¿ÆÀڤʵ¤¤¬¤·¤Þ¤¹¤Ê¡£ Free Personal Licenses (¸Ä¿Í¥Õ¥ê¡¼¥é¥¤¥»¥ó¥¹¤Ë¤Ä¤¤¤Æ: ºÇ¿·)
    MuPAD License Agreement (°ìÈ̸þ¤±: 1999ǯ¤è¤êÊѲ½¤·¤Æ¤Ê¤¤ÈÇ)
    MuPAD License Agreement (Èó¾¦ÍѶµ°é¤â¤·¤¯¤Ï¸¦µæµ¡´Ø¸þ¤±: 1999ǯ¤è¤êÊѲ½¤·¤Æ¤Ê¤¤ÈÇ)

    official MuPAD License documentation
    ¸ø¼° ¥µ¥¤¥È¤ËÖ¤«¤ì¤Æ¤¤¤ë MuPAD ¤Î¥é¥¤¥»¥ó¥¹¾ò¹à¤Ç¤¹¡£ ¥é¥¤¥»¥ó¥¹¤Îºß¤êÊý¼«ÂÎ¤Ï 1999ǯ¤°¤é¤¤¤«¤éÊѲ½¤Ï¤Ê¤¤¤è¤¦¤Ë¸«¤¨¤Þ¤¹¤¬¡¤ ºÇ¶á¤Ï Free License ¤Ë¤Ä¤¤¤Æ¤½¤Î¸ºß¤ò°Õ¿ÞŪ¤Ë¡Ö¤Ü¤«¤·¤¿¤¤¡×¤ß¤¿¤¤¤Ç¡¤ web ¤ò¤¿¤É¤¤Æ¤¤¤¤Æ¤â¾ðÊó¤¬Èó¾ï¤ËÆÀ¤Ë¤¯¤¯¤Ê¤¤Æ¤¤¤Þ¤¹¡£

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

    free hit counter