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

This page may now be found at www.cs.man.ac.uk/~pt/Practical_Foundations/html/summary.html to which you should be redirected in 3 seconds. Paul Taylor, Wed Oct 20 21:05:06 BST 2004

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

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. University of Aston University of Bath University of Cambridge University of Derby University of Kent at Canterbury University of Liverpool Queen Mary and Westfield College, London University of St Andrews University of Southampton SECANTS Codemist Ltd NAG Ltd Forthcoming Meetings in United Kingdom Groups St Andrews in Bath 1997. Links to Other Computer Algebra Information Group Theory community pages Computational Number Theory Software and ServicesAvailable Cathode software ClassSym Crack ODE Solving GMP System ... VE Other CAIN Nodes CAIN Main Node University of Paderborn (Germany) Risc Institute, Linz (Austria) University of Santander (Spain) University of Genova (Italy) Inria and University of Nice (France) ETH Zurich (Switzerland) masjpf@bath.ac.uk Last modified: Thu Nov 12 16:00:46 GMT 1998

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

About Derive Derive Features Derive in Action Derive Reviews ... Derive User Group How to use Derive Introduction Training Resources Other Maths ICT Autograph 3 Cabri Geometry II Plus Cabri 3D Fathom data/statistics ... Teach A Level Maths 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: display the steps in the simplification of an expression along with the transformation rules applied send and receive maths worksheets to and from the TI-89, TI-92+, Voyage 200 TI CAS handhelds

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

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.

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

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 Events including Tuesday lab lunch The weekly seminar series. The annual Milner Lecture People in LFCS Software including Locally installed packages The Edinburgh Concurrency Workbench The LEGO Proof Checker The PEPA Workbench ... Poly/ML Research including Research Projects Mobile Resource Guarantees The .NET lab APPSEM - Applied Semantics GAMES network Some recent publications Our technical report archive. How to apply for a PhD place Staff research interests Teaching including The Theory Postgraduate Course Local links Activities and information Theory seminars Lab lunch specification club semantics club ... Edinburgh restaurant guide Administration and funding Mailing lists LFCS organisation Research Committee library matters ... EU Framework V Informatics Local School page research institutes telephone directory system support ... Graduate school , teaching in Computer Science Artificial Intelligence , and Cognitive Science Contact information Laboratory for Foundations of Computer Science School of Informatics The University of Edinburgh James Clerk Maxwell Building The King's Buildings Mayfield Road

86. Matti K. Sinisalo's Homepage GeraCap Ltd. Algorithms in number theory, computer algebra. Publications. http://www.geocities.com/mattiksinisalo/

Matti K. Sinisalo's homepage Name: Matti K. Sinisalo Education: Ph. Lic. in mathematics, University of Oulu Born: 1961 in Muonio My CV Special Interests: Algorithms in Number Theory, Computer Algebra , Elementary and Algebraic Number Theory, Error Correcting Codes, Cryptology, Digital Signal Processing, Finite Fields, Elliptic Curves Publications: Matti K. Sinisalo: On the minimal cycle lengths of the Collatz sequences, Preprint, June 2003, University of Oulu ( WORD Matti K. Sinisalo: Fareyn luvut ja Mathematica (Farey sequences and Mathematica, in finnish), in Logic, mathematics and computer, Publications of Finnish Society of Artificial Intelligence, symposium serie, No 14, 1996, pp. 243-249 ( PDF Matti K. Sinisalo: Carmichaelin lukujen konstruktioista, Esitelmä lukuteorian päivillä 1995 (in finnish) ( PDF Matti K. Sinisalo: Checking the Goldbach conjecture up to 4*10^11, Mathematics of Computation, 61 (204), pp. 931-934, October 1993. Matti K. Sinisalo: Solutions of the Congruence 2^(n-2) = 1 (mod n) up to 10^ 11, Preprint, Department of Mathematics, University of Oulu, 1991 ( PDF Hobbies: -International Radio Amateur Certificate in Technical Class:CEPT B, Harmonized Amateur Radio Examination Certificate, HAREC, CEPT Recommendation T/R 61-02.

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

Bliki.info Einloggen Hauptseite Hauptseite ... Benutzer registrieren Bliki.info 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) ... Benjamin Reitzammer hat Version 0.5 seiner "Desktop Suc... AJAX Chat entwickeln mit der DWR Bibliothek Ein interessanter Artikel, wie man ein kleines Chat System (... Eclipse und Sysdeo Tomcat Plugin Link Im Eclipse Wiki habe ich jetzt das Tutorial " Hello Wor...

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

The Computer Algebra System Please! Update your bookmark or url link The Axiom home page has changed to: http://www.axiom-developer.org (automatic re-direction in 20 seconds)

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

INDEX Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics ... Alphabetical Index DESTINATIONS About MathWorld About the Author Headline News ... Random Entry CONTACT Contribute an Entry Send a Message to the Team 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

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

INDEX Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics ... Alphabetical Index DESTINATIONS About MathWorld About the Author Headline News ... Random Entry CONTACT Contribute an Entry Send a Message to the Team 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.

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

Maxima for Symbolic Computation Program The offical homepage for Maxima is located at http://maxima.sourceforge.net/ . This page is no longer maintained. 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.

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

History Customer Service Privacy Policy Product Partners ... Order MuPAD Pro 3: The Open Computer Algebra System for Windows and Macintosh 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

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

Computer Algebra Systems in Calculus Reform by Lisa Denise Murphy Abstract The Calculus Reform Movement Factors Leading to Reform 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 Abstract Back to the table of contents of this paper. The Calculus Reform Movement 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.

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

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.

95. Beth Arnold's Homepage James Madison University. Groebner Bases and computer algebra. Publications. http://www.math.jmu.edu/~arnoldea/

Elizabeth A. Arnold Assistant Professor Department of Mathematics MSC 7803 James Madison University Harrisonburg, VA 22807 E-mail: arnoldea@math.jmu.edu Office hours: Fall 2005 Math 235 M,W 2:15-3:15, T 1:45-2:45 Math 430 T,Th 10:45-11:45 Note to students: You should try to come to the office hours for your class. If you need to see me during a different office hour, you may come, but preference will be given to students in the other class. Teaching Fall 2005 MATH 430, Abstract Algebra, T,Th 9:30-10:45, Burruss 036 Syllabus MATH 235, Calculus I, Section 7 M,W 1:25-2:15 Burruss 033, T,Th 12:30-1:45, Burruss 126 MATH 235, Calculus I, Section 10 M,W 3:35-4:25 Burruss 033, T,Th 3:30-4:45, Burruss 033 Syllabus Summer 2005 MATH 520, Geometry for High School Teachers, M-F, 9-11:30am, 12:30-2:30pm, Burruss 034 Syllabus Spring 2005 MATH 108, Fundamentals of Mathematics II, MWF 12:20-1:10, Burruss 032, MWF 1:25-2:15 Burruss 133 Syllabus MATH 501, Teaching Geometry Effectively: A Course to Prepare Highly Qualified Teachers M 5-7:30pm, THMS Rm. 509 Syllabus Fall 2004 MATH 305

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

Computer Algebra Systems 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. Features and Capabilities of MuPAD MuPAD Version.

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

@import url(lib/gw.css); GAP Main Branches Download Overview Data Libraries Packages ... Sitemap Navigation Tree Start Download Overview Data Libraries ... GAP 3 Quicklinks Site Structure Search Web Site Capabilities Manuals ... References Welcome to GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra What is GAP? 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

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

East Coast Computer Algebra Day Saturday, April 5, 2003 Madren Conference Center Clemson University Clemson South Carolina Sponsors Department of Mathematical Sciences Department of Computer Science National Science Foundation ECCAD, East Coast Computer Algebra Day, is an annual conference that provides opportunities to learn and share new developments and to present research results in the areas of symbolic and mathematical computation. Invited Speakers: Prof. Richard Brent Computing Lab, Oxford University Primitive and almost primitive trinomials over GF(2) Prof. Jeremy Johnson Computer Science, Drexel University Computer Algebra and Signal Processing Prof. Wolfgang Schreiner 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

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

Algolib: The Algorithms Project's Library and Other Packages of the Algorithms Project Welcome! Research Topics People Publications ... Extensive Example Sessions Combinatorics meets computer algebra! 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

100. First West Coast Computer Algebra Day Okanagan University College, Kelowna, BC, Canada; 15 November 1997. http://www.cecm.sfu.ca/CAG/1stWCCAD.html

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