Geometry.Net - Math_Discover: Algebra Computer


Home - Math_Discover - Algebra Computer

e99.com Bookstore

Images

Newsgroups

81-100 of 179 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | Next 20

Algebra Computer: more books (100)

EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings (Lecture Notes in Computer Science) (Volume 0)
Matematica: insegnamento e computer algebra (Italian Edition) by Michele Impedovo, 1999-04-01
Q-Series from a Contemporary Perspective: Ams-Ims-Siam Joint Summer Research Conference on Q-Series, Combinatorics, and Computer Algebra, June 21-25, 1998, ... South Hadley (Contemporary Mathematics)
Recent Developments in Complex Analysis and Computer Algebra (INTERNATIONAL SOCIETY FOR ANALYSIS, APPLICATIONS AND) by Robert P. Gilbert, 2000-01-31
Analysis of Complex Nonlinear Mechanical Systems: A Computer Algebra Assisted Approach (World Scientific Series on Nonlinear Science Series a) by Martin Lesser, 2000-10
Logic, Algebra, and Computation (Nato a S I Series Series III, Computer and Systems Sciences) by Friedrich L. Bauer, 1991-10
Quantum Mechanics Using Computer Algebra: Includes Sample Programs for Reduce, Maple, Mathematica and C++ by Willi-Hans Steeb, 1994-10
At Last Computer Exercise for Linear Algebra by Steven J. Leon, 1996-01
Identification, Equivalent Models, and Computer Algebra (Statistical Modeling and Decision Science) by Paul A. Bekker, Arjen Merckens, et all 1994-01
Continuous Symmetries, Lie Algebras, Differential Equations and Computer Algebra by Willi-Hans Steeb, 1996-01-15
Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science) by Luca Aceto, 1992-08-28
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
Computer algebra: EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 (Lecture notes in computer science) by J. A. van Hulzen, 1983
Computer Algebra in Scientific Computing CASC 2001: Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001

lists with details

Redirection
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.
http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/html/summary.html
CAIN-UK: Computer Algebra Information Network
The following sites have one or more person involved in computer algebra. The links are to the most specific address which covers the activity.
http://www.bath.ac.uk/~masjpf/CAIN.html
Derive 6 Mathematics Software
Derive 5 computer algebra software is available as a free 30day trial download from Chartwell-Yorke. Derive books are also here.
http://www.chartwellyorke.com/derive.html

Extractions: Derive 6 is a powerful system for doing symbolic and numeric mathematics on your PC. It processes algebraic variables, expressions, equations, functions, vectors, matrices and Boolean expressions like a scientific calculator processes numbers. It's useful from KS3 to University and beyond. Problems in the fields of arithmetic, algebra, trigonometry, calculus, linear algebra, and propositional calculus can be solved with the click of the mouse. Make plots of mathematical expressions in two and three dimensions using various coordinate systems. By its seamless integration of numeric, algebraic and graphic capabilities, Derive makes an excellent tool for learning, teaching and doing mathematics. Download Derive 6 leaflet If you are familiar with Derive 5, you will find Derive 6 an (upward-compatible) extension. Here is a list of the major new features:
UC Berkeley Computer Algebra Papers
My current views of what computer algebra systems should do for problem solving Adam Dingle and Richard Fateman Branch Cuts in computer algebra
http://www.cs.berkeley.edu/~fateman/algebra.html

Extractions: Here's an index to some recent and some older papers. A number of them have appeared in Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), an annual conference usually co-sponsored by the Association for Computing Machinery's Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM), along with other cooperating organizations. More recently I've come to the conclusion that just posting papers here when I think they are "ripe" is useful: I can point to them, and search-engine web bots can find them. Formal publication has become less important scientifically, even though it continues to be required for certain kinds of academic recognition. If you wish to refer to material listed here that is not specifically marked as published, send me a note so I can tell you its current status; it could be that a more formal, archival version exists. A paper that shows how one can save time computing with rational functions using poles and residues instead of numerators and denominators. A paper that suggests one can save time multiplying polynomials if one encodes dense univariate polys as long integers instead of sequences of coefficients.
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.
http://www.lfcs.informatics.ed.ac.uk/

Extractions: LFCS People Publications Informatics 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
Matti K. Sinisalo's Homepage
GeraCap Ltd. Algorithms in number theory, computer algebra. Publications.
http://www.geocities.com/mattiksinisalo/
Bliki.info
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
http://www.hartmath.com/

Extractions: Benutzer registrieren Der Wiki Weblog Bliki.info ist ein Weblog Service, bei dem die Blogeintr¤ge direkt in der Wikipedia Syntax erfasst werden k¶nnen. ber Wiki-Links ( ) kann man dabei direkt auf deutsche Wikipedia Seiten oder andere Wikis verlinken. Einfach einen Blog kostenlos anmelden und das Wikipedia Wiki Plugin in den Webseiten Einstellungen aktivieren . Neben der Wiki Syntax Unterst¼tzung werden nat¼rlich auch folgende Features unterst¼tzt: WYSIWYG HTML Editor, Seiten Schablonen, RSS Syndication, Trackback, und ein XML-RPC Interface f¼r Blogging Clients, wie z.B. w:bloggar MarsEdit Ecto , und nntp//rss . Siehe dazu auch den Roller User Guide Aktuelle Weblog Eintr¤ge Roosster 0.5 freigegeben (Lucene Desktop Suchmaschine) ...
Axiom Computer Algebra System - Redirect
Axiom is a general purpose computer algebra system. It is useful for research and development of mathematical algorithms. The Axiom Language provides a very
http://www.nongnu.org/axiom/
Boolean Algebra -- From MathWorld
computer theorem proving demonstrated that every Robbins algebra satisfies the second Winkler condition, from which it follows immediately that all Robbins
http://mathworld.wolfram.com/BooleanAlgebra.html

Extractions: 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 of a set is the set of subsets of 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 is called a Boolean function . There are Boolean functions in a Boolean algebra of order (Comtet 1974, p. 186). In 1938, Shannon proved that a two-valued Boolean algebra (whose members are most commonly denoted and 1, or false and true) can describe the operation of two-valued electrical switching circuits. In modern times, Boolean algebra and
Computer Algebra -- From MathWorld
computer algebra is a diffuse branch of mathematics done with computers that encompasses computer algebra. From MathWorldA Wolfram Web Resource.
http://mathworld.wolfram.com/ComputerAlgebra.html

Extractions: MATHWORLD - IN PRINT Order book from Amazon Discrete Mathematics Computational Systems Discrete Mathematics ... Experimental Mathematics Computer Algebra Computer algebra is a diffuse branch of mathematics done with computers that encompasses both computational algebra and analysis. SEE ALSO: Computational Algebra Symbolic Algebra [Pages Linking Here] CITE THIS AS: Eric W. Weisstein. "Computer Algebra." From MathWorld A Wolfram Web Resource. http://mathworld.wolfram.com/ComputerAlgebra.html Wolfram Research, Inc.
Maxima For Symbolic Computation Program
Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra, released under the GNU Public License.
http://www.ma.utexas.edu/users/wfs/maxima.html

Extractions: Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra. Maxima is now about to be released under the GNU Public License. I have maintained and extended Maxima for the last 15 years, but have only recently received formal permission from DOE , to release this under GPL as a derivative work. This formalizes earlier opinions from DOE. Plotting via netmath over the network. Computations over network Well tested on a large array of problems. Source level Debugger for maxima code Documentation available as html , or texinfo and so info, and so dvi and postscript. Latest source development version available or look here for how to download using cvs Easy to extend in fundamentally new ways, because you have complete access to source, and access to Common Lisp. Portable to many systems. Now covered by GNU public license, so it will stay free. Was the first computer algebra system, and is one of the best.
MuPAD Pro 3 - The Open Computer Algebra System
MacKichan Software offers Scientific WorkPlace, Scientific Word, and Scientific Notebook. You write text and mathematics in your document without having to
http://www.mackichan.com/products/mupad.html

Extractions: Order MuPAD Pro 3 is a full-fledged computer algebra system with a rich set of features including extensive mathematics capabilities for symbolic and numeric computation and a Virtual Camera (VCam) toolkit for visualization, animation, and interactive manipulation of 2D and 3D plots and other mathematical objects. Developed at the University of Paderborn in Germany, MuPAD Pro is intended for an extremely broad range of users. Its domains and categories are similar to object-oriented classes that allow overriding and overloading methods and operators, inheritance, and generic algorithms. The MuPAD language has a Pascal-like syntax and allows imperative, functional, and object-oriented programming. A comfortable notebook interface includes an integrated source-level debugger, a profiler, and hypertext help, along with the graphics visualization toolkit. Version 3 adds to the capabilities of earlier versions of MuPAD Pro with newly implemented renderers for 2D and 3D plots, object animation, and improved interactive manipulation of graphics; enhanced computational capability; fast numerical computations with
Computer Algebra Systems In Calculus Reform
Some reformers have used computer algebra systems (CAS) in their efforts to achieve In 1979, Soft Warehouse released muMATH, the first computer algebra
http://www.mste.uiuc.edu/users/Murphy/Papers/CalcReformPaper.html

Extractions: The Tulane Conference ... References A note about this paper. Back to Lisa's Papers page. Back to Lisa's Academic Activities page. Back to Lisa's personal home page, Over the Rainbow Send Lisa email Back to the table of contents of this paper. In the early 1980s, many computer scientists and some mathematicians began to call for replacing calculus with discrete mathematics as the core undergraduate mathematics course (***Get a few references for this.). Although calculus retained its place, the controversy brought attention to the way the standard freshman calculus course had become bloated with topics, obstructing the student's view of the central concepts. This realization spawned the calculus reform movement, which seeks to pare the syllabus down to the essentials and to find creative ways to help students gain a deeper understanding of the ideas of calculus. Some reformers have used computer algebra systems (CAS) in their efforts to achieve these goals. Back to the table of contents of this paper.
Computer Algebra System: Information From Answers.com
computer algebra system A computer algebra system (CAS) is a software program that facilitates symbolic mathematics.
http://www.answers.com/topic/computer-algebra-system

Extractions: showHide_TellMeAbout2('false'); Business Entertainment Games Health ... More... On this page: Wikipedia Mentioned In Or search: - The Web - Images - News - Blogs - Shopping computer algebra system Wikipedia computer algebra system A computer algebra system (CAS) is a software program that facilitates symbolic mathematics . The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. The expressions typically include polynomials in multiple variables; standard functions of expressions (sine, exponential, etc.); various special functions (gamma, zeta, erf, bessel, etc.); arbitrary functions of expressions; integrals, sums, and products of expressions; truncated series with expressions as coefficients, matrices of expressions, and so on. (This is a recursive definition.) The symbolic manipulations supported typically include simplification , including automatic simplification and simplification with assumptions substitution of symbolic or numeric values for expressions change of form of expressions: expanding products and powers, rewriting as partial fractions, etc.
Beth Arnold's Homepage
James Madison University. Groebner Bases and computer algebra. Publications.
http://www.math.jmu.edu/~arnoldea/
MacKichan Software - Computer Algebra Systems
MacKichan Software offers Scientific WorkPlace, Scientific Word, and Scientific Notebook. You write text and mathematics in your document without having to
http://www.scientific-solutions.ch/tech/mackichan/products/cas.html

Extractions: A computer algebra system, or CAS, is a mathematics engine that performs the symbolic computations fundamental to algebra, trigonometry, and calculus. Recent versions of Scientific WorkPlace and Scientific Notebook (after Version 4.1 Build 2347) include the kernel to the computer algebra system MuPAD Â®. Earlier versions included a Maple 5.1 kernal With MuPAD , you can evaluate, factor, combine, expand, and simplify terms and expressions that contain integers, fractions, and real and complex numbers, as required in simple arithmetic and algebra . You can also evaluate integrals and derivatives, perform matrix and vector operations, find standard deviations, and perform many other more complex computations involved in calculus linear algebra , differential equations, and statistics . Additionally, you can create 2D and 3D plots of polynomials, trigonometric functions, and exponentials, and you can create animated 2D and 3D plots and explore them with the MuPAD VCAM window. MuPAD Version.
GAP System For Computational Discrete Algebra
School of computer Science. The home of GAP, a free system for discrete computational algebra, available for FTP download.
http://www-gap.dcs.st-and.ac.uk/

Extractions: a System for Computational Discrete Algebra GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory . GAP provides a programming language , a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. See also the overview and the description of the mathematical capabilities . GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely . You can study and easily modify or extend it for your special use. The current release is GAP 4r4.6. The pages of this web site describe this release if not stated otherwise. A section of the Preface of the Manual informs about
East Coast Computer Algebra Day 2003
East Coast computer algebra Day a series of annual one day conferences on symbolic and mathematical computation. Clemson University, South Carolina, USA;
http://www.math.clemson.edu/~sgao/ECCAD03/

Extractions: RISC-Linz, Johannes Kepler University Distributed Maple - lessons learned on parallel computer algebra distributed environments Program Registration and breakfast Opening remarks Invited talk Coffee break Invited talk Lunch Poster and demo session Invited talk Poster and demo session Closing remarks Important Dates: April 5, 2003 Deadline for room reservations February 19, 2003
Algolib: The Algorithms Project's Library And Other Packages Of The Algorithms P
Combinatorial analysis, discrete mathematics and computer algebra are the main interests of the Algorithms Projects. The packages let you define combinatorial structures; manipulate the associated generating functions, functional equations or recurrences; study their asymptotic behaviour.
http://algo.inria.fr/libraries/software.html

Extractions: Welcome! Research Topics People Publications ... Extensive Example Sessions Combinatorial analysis, discrete mathematics and computer algebra are the main interests of the Algorithms Project. Our packages let you specify, generate, and enumerate combinatorial structures; manipulate the associated generating functions, functional equations or recurrences; study their asymptotic behaviour. The interplay between these applications serves the Algorithms Project's main goal of the automatic complexity analysis of algorithms. However, long-term research in this direction has induced the development of other packages for the manipulation of linear differential and difference operators, Groebner basis calculations, and the symbolic summation and integration of special functions and combinatorial sequences. Special emanations of the above are the algolib library , which collects most of our programs in a single archive, and the encyclopedia of combinatorial structures , which allows access by keywords, combinatorial specifications, generating function, closed-form or by the first integers in the enumeration sequence to many combinatorial structures. A lot of it was automatically generated using
First West Coast Computer Algebra Day
Okanagan University College, Kelowna, BC, Canada; 15 November 1997.
http://www.cecm.sfu.ca/CAG/1stWCCAD.html

81-100 of 179 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | Next 20