81. Atypical: Integrating Computer Algebra And Reasoning This is the home page for the project Integrating computer algebra and Reasoning Logic and Dependent Types in the Aldor computer algebra System and the http://www.cs.kent.ac.uk/people/staff/sjt/Atypical/

Atypical: Integrating computer algebra and reasoning Simon Thompson, John Shackell, James Beaumont and Leonid Timochouk This is the home page for the project Integrating Computer Algebra and Reasoning: Incorporating a logic into the Aldor system , funded under EPSRC Grant GR/M37851. The project Project overview Case study in symbolic asymptotics Technical background and overview Understanding the Aldor compiler Adding type annotations to Aldor programs Report on the Aldor compiler Chris Ryder. The Type System of Aldor . Erik Poll and Simon Thompson. Technical Report 11-99. Project publications Adding the Axioms to Axiom: a paper presented at the Calculemus and Types workshop, Eindhoven, July 1998. Integrating Computer Algebra and Reasoning through the Type System of Aldor . Erik Poll and Simon Thompson. From Frontiers of Combining Systems: Frocos 2000, LNCS 1794, 2000. Logic and Dependent Types in the Aldor Computer Algebra System and the programs from the document Asymptotic Expansions with Oscillating Coefficients Bruno Salvy and John Shackell. Complexity bounds for zero-test algorithms John Shackell and Joris van der Hoeven.

82. ULB - Computer Algebra Division Home page for the computer algebra Division at the Université Libre de Bruxelles. http://cso.ulb.ac.be/

Computer Algebra Division !!! New !!! Consultation des e-mails ULB : webMail ULB Visit our new web site (yet under construction) You can now discuss about Symbolic Calculus or related subjects on the new forum of the CSO Welcome to the CSO. Our tasks are to provide computer facilities and expertise for using most of the available computer algebra systems (Maple, Reduce, Cayley, Magma, Mathematica, Axiom, Gap, Lie) and to develop computer algebra methods for solving differential equations (see projects). Contact Members Projects Cours ... Le Forum du CSO Contact Calcul Symbolique sur Ordinateur blvd du Triomphe. B-1050 Bruxelles (Belgium) Fax e-mail cso@ulb.ac.be Members Jean-Louis Colot, coordinator ( mail Gerald HOUART , system manager ( mail Jacqueline Sengier, responsable ( mail mail Projects The CSO is involved in a European ESPRIT working group called CATHODE. Within this group, we are developping a software called NODES CATHODE 2 We have organized the CATHODE 2 workshop in Han-sur-Lesse from september 1 to september 5, 1997. You have access to the program and the extended abstracts (also in Postscript or Compressed Postscript version). The use of the postscript version is recommended for the Extended Abstracts (the translation of the latex source to html is not completly reliable).

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

84. Computer Algebra Systems computer algebra systems. ili Sustavi racunalne algebre Multiplevalued complex functions and computer algebra (by Helmer Aslaksen) http://www.math.hr/~nenad/cas/cas.html

Computer algebra systems ili Sustavi racunalne algebre CAS: Maple i preostala dva velika `M' A book on Maple Wester's thesis Some CAS reviews A Review of CAS Mathematical Capabilities (by Michael Wester) Multiple-valued complex functions and computer algebra (by Helmer Aslaksen) Review of Symbolic Software for Lie Symmetries (by W. Hereman) Does Axiom Solve Systems of ODE's Like Mathematica? (Nicolas Robidoux) Wester's test suite in MuPAD 1.2.2 (by Paul Zimmermann) Some CAS links: Macsyma Maple Mathematica Matlab

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

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

87. Hans-Wolfgang Loidl's Home Page computer algebra Related Info. This page contains a collection of links to pages information to computer algebra systems, algorithms, applications etc. http://www.tcs.informatik.uni-muenchen.de/~hwloidl/ca-stuff.html

Computer Algebra Related Info This page contains a collection of links to pages that contain information to computer algebra systems, algorithms, applications etc. RISC Linz Waterloo Maple Symbolic Computation Group , at the University of Waterloo Maple Guides etc Mathematica , by Wolfram Research GAP MAGMA Home Page cached announcement of V2.2 ... Maxima (now under GPL) MuPAD Yacas , yet another computer algebra system SymbolicNet , Symbolic Mathematical Computation Information Center Docon a computer algebra system written in Haskell Singular Computer Algebra System CoCoa Link List to Mathemtics Software Not Computer Algebra but related (sort-of): Numerical Recipes in C , on-line book PARI A package for number theory and simple numerical analysis Parallel LU Factorization of Block-Diagonal-Bordered Sparse Matrices , on-line paper Last modified: Tue May 28 17:54:53 2002 Stardate: [-30]8528.52

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

89. The Math Forum - Math Library - Computer Algebra The Math Forum s Internet Math Library is a comprehensive catalog of Web sites and Web pages relating to the study of mathematics. This page contains sites http://mathforum.org/library/topics/computer_alg/

Browse and Search the Library Home Math Topics Applications/Connections Sciences ... Computer Science : Computer Algebra Library Home Search Full Table of Contents Suggest a Link ... Library Help Selected Sites (see also All Sites in this category Computer Algebra Information Network (CAIN) A server providing information about Symbolic and Algebraic Computation, set up by the European SAC (Symbolic and Algebraic Computation) Network. The site maintains bibliographies, supports electronic newsletters, and announces current conferences, software releases, job opportunities, and books about computer algebra. Also available are archives of sites providing computer algebra educational material for elementary through graduate school students; sites illustrating the application of computer algebra to scientific research; links to commercial computer algebra systems; introductory Maple tutorials and courses. The Virtual Computer Algebra Library offers tutorials, algorithms, implementations in computer algebra systems, applications and literature for topics in computer algebra. more>> Computer Algebra Information Network (CAIN) Europe CAIN Europe is a server providing all kinds of information about Symbolic and Algebraic Computation. It is set up by eight teams in the framework of the European SAC Network and maintained by CAN/Riaca (Computer Algebra Nederland). News; Announcements; Teams and People; Systems and Packages; Literature; European Projects in Symbolic and Algebraic Computation; Newcomers in Computer Algebra; Education; Applications in Computer Algebra; The Virtual Computer Algebra Library.

90. DrHuang.com: Web Directory Tree An online symbolic math and computer algebra system. http://www.drhuang.com

91. David Stes HomePage My interests are computer algebra and Number Theory, objectoriented programming languages and Unix system administration and software development. http://users.pandora.be/stes/

Welcome to David Stes' homepage ! My interests are Computer Algebra and Number Theory, object-oriented programming languages and Unix system administration and software development. Elliptic Curve Cryptography tools for signatures and encryption (July 2004) Legato NetWorker Connection Tracking with Linux , using iptables RPC connection tracking (January 2004) Update of the above paper to Linux 2.6.12.4 , using the same firewall ruleset (August 2005) NSRIO I/O statistics for various Unix platforms HTML version of the Objective-C FAQ SafeRelay and ipmenu utilities (February 2001) Computer Algebra Kit for Squeak Computer Algebra Kit for Portable Object Compiler Text on why I use Objective-C for the Polynomial Object (March 1996) Text on Blocks for Objective-C (March 1998) Text on Producer (from 1986) which I converted to HTML and put on the web (with permission) Address: David Stes, Email: stes@pandora.be Elliptic curve public key: stes.pub Public Keys : steskey.asc and stescrypt.asc My X509 Certificate (PEM encoded) signed by my own Root Certificate Authority : [application/x-x509-ca-cert] or the PEM encoded version [application/pkix-cert]

92. CAS-CAT Project University of Melbourne. Investigating the changes that regular access to calculators equipped with a computer algebra system will have on senior mathematics subjects, including curriculum, teaching methods and associated assessment in Victoria, Australia. http://www.edfac.unimelb.edu.au/DSME/CAS-CAT/

CAS-CAT HOME Research Project 00-02 Selected Recent Publications Resources for Teachers P.D. and Post Grad courses Welcome to the CAS-CAT homepage Research and training on using technology in mathematics education This is the website for research related to technology in mathematics education in the Department of Science and Mathematics Education at The University of Melbourne. Our Mathematics Education team have carried out extensive research related to the use of technology for the teaching and learning of mathematics and presented at many teacher and research conferences. We have explored issues associated with teaching and learning using a range of technologies including geometry packages, graphics calculators and computer algebra systems (CAS). This website provides information about our recent work and provides access to materials for schools, publications and post-graduate course information. Further details can be found by accessing the links below: The research team CAS-CAT research projects Publications and theses Post graduate courses Resources for Teachers Professional development Links to Research projects RITEMATHS (2004-06) Computer Algebra in Schools Research project (Development of Maths Methods (CAS)) Other Mathematics Education Research Projects The Research Team The research team includes Kaye Stacey, Lynda Ball, Peter Flynn, Gloria Stillman, Jill Brown, Jill Vincent and John Dowsey, as well as the many colleagues and post-graduate students with whom we work.

93. Imacs-aca-2000 2000 IMACSACA (Applications of computer algebra) Conference computer algebra tools such as TI-92/89, DERIVE, MATHEMATICA, MAPLE, AXIOM, REDUCE, http://b.kutzler.com/bk/aca-2000.html

C O M E T O S A I N T P E T E R S B U R G ! Call for Submissions last update: Mar 26, 2000 for the session "Education" in the frame of the 2000 IMACS-ACA (Applications of Computer Algebra) Conference 25-29 June 2000, Saint Petersburg, Russia NEW Submission deadline April 20, 2000. Session Chairpersons: Bernhard Kutzler Vlasta Kokol-Voljc Education has become one of the fastest growing application areas for computers in general and computer algebra in particular. Computer algebra tools such as TI-92/89, DERIVE, MATHEMATICA, MAPLE, AXIOM, REDUCE, MACSYMA, or MUPAD make powerful teaching tools in mathematics, physics, chemistry, biology, economy, ..... The goal of this session is to exchange ideas and experiences, to hear about classroom experiments, and to discuss all issues related with the use of computer algebra tools in classroom (such as assessment, change of curricula, new support material, ...) If you have anything of the above which you would like to share with colleagues in the inspiring atmosphere of an IMACS-ACA conference, then please make a submission comprising - title - author(s) - abstract (10 lines min, 20 lines max)

94. The Yacas Computer Algebra System A general purpose easy program for It is built on top of its own programming language designed for symbolic manipulation of math symbols. Includes information on how to use the software. http://yacas.sourceforge.net/

YACAS is an easy to use, general purpose Computer Algebra System, a program for symbolic manipulation of mathematical expressions. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system has a library of scripts that implement many of the symbolic algebra operations; new algorithms can be easily added to the library. YACAS comes with extensive documentation (320+ pages) covering the scripting language, the functionality that is already implemented in the system, and the algorithms we used. This entire site (including the documentation) can also be found in the source code distribution . Yacas can also be used on line as a Java applet

95. 10th Rhine Workshop On Computer Algebra On 16 and 17 March 2006 the 10th Rhine Workshop on computer algebra (RWCA) will be held in Basel, Jacques Calmet, computer algebra and deduction systems http://www.math.unibas.ch/~draisma/rwca06/

96. SONAD'2000, ECCAD'2000 Research Centre for computer algebra, University of Western Ontario in London, Ontario, Canada; 13 May 2000. http://www.orcca.on.ca/eccad2000/

Southern Ontario Numerical Analysis Day May 12, 2000 East Coast Computer Algebra Day May 13, 2000 University of Western Ontario London, Ontario, Canada SONAD and ECCAD are annual regional workshops that provide opportunities to learn of new developments and to present research results in the areas of numerical analysis and symbolic mathematical computation. The two workshops are hosted by the Ontario Research Centre for Computer Algebra at the University of Western Ontario in London, Ontario, Canada. Activities For SONAD, the planned activities include invited presentations, and short talks on current research topics. Graduate students are especially invited to give such talks. For ECCAD, the planned activities include invited presentations, and two posters sessions offering an opportunity to present timely research in an informal environment. Organizing Committee General Chair (SONAD) Rob Corless Department of Applied Mathematics University of Western Ontario London ON N6A 5B7 CANADA rcorless@julian.uwo.ca

97. Symbmath.com: Online Math Handbook Online calculator, math handbook, symbolic math and computer algebra System. http://www.symbmath.com

Symbmath.com: online math handbook math software, math handbook, computer algebra system math software, math handbook, computer algebra system Click here to enter http://www.drhuang.com/indexmath.htm mydomain.com - Register your domain name

98. A Guide To Computer Algebra Systems. This is a review by Pam Bishop of CTI Mathematics of Doug Quinney s review of A Guide to computer algebra Systems. http://www.bham.ac.uk/ctimath/reviews/cas8.html

A Guide to Computer Algebra Systems Doug Quinney, Department of Mathematics, Keele University, email maa07@keele.ac.uk This book was written by David Harper, Chris Wooff and David Hodgkinson, and published by John Wiley. It attempts to combine in a single book a comparison of the popular computer algebra systems which are currently available. It has developed from a booklet which was produced by the authors as part of the Computer Algebra Support Project which was based at Liverpool University. The Computer Algebra Support Project began in 1987 with the aim of promoting the use of computer algebra systems in the UK academic community, offering free impartial advice and giving lectures on request. The most important point was that the project had no commercial interest in any of the systems and was thus demonstrably impartial. There is little doubt about the potential of Computer Algebra Systems, they abound in both number and capabilities. However, it was to answer question such as "What systems are available?", "What facilities do they offer?" and "What are their relative merits?" that the authors of this book produced "A Guide to Computer Algebra Systems" which evolved as different systems were developed and new systems were introduced. The current text considers the five systems which are currently widely available; REDUCE, MACSYMA, MAPLE, MATHEMATICA and DERIVE, but unfortunately the precise versions of each system which is included in this survey is not given. For example, the graphics capabilities of the current version of say MAPLE V are greatly improved on those of previous versions and now compare favourably with the best systems available.

99. Algebra And Number Theory Based at the Technische Universit¤t, Berlin. Producers of KANT/KASH, a computer algebra system for sophisticated computations in algebraic number fields. http://www.math.tu-berlin.de/algebra/

Algebra and Number Theory The KANT Group The KANT Group: [members] [publications] [database] ... KANT/KASH - computer algebra system KANT is a computer algebra system for sophisticated computations in algebraic number fields. It has been developed under the project leadership of Prof. Dr. M. Pohst at the Technische Universität Berlin. KANT stands for Computational Algebraic Number Theory with a slight hint to its German origin ( Immanuel Kant The KANT functions are accessible through a user-friendly shell named KASH (KAnt SHell) which is freely available. You can pick up the current release of KASH using ftp or from our downlad page Most of the functionality of KASH is also available through a web interface ( webkash QaoS - Querying Algebraic Objects System  new  QaoS is a database interface implemented under the aspect to establish a common gateway via web-browsers and computer algebra systems. QaoS is designed to fulfil modern demands for accessing large amounts of pre-computed algebraic data, both comfortably and fast. ANTS VII The 7th Algorithmic Number Theory Symposium will take place from July 23 to July 28, 2006 at Technische Universität Berlin.

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

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