81. Computer Algebra Research Summary. Currently, my activities in computer algebra fall into three different areas. We are continuing to develop a very flexible computer algebra substrate called http://www.cs.cornell.edu/rz/computer-algebra.html

Computer Algebra - Richard Zippel Research Summary Currently, my activities in computer algebra fall into three different areas. We are continuing to develop a very flexible computer algebra substrate called Weyl, which extends Common Lisp to have symbolic computing facilities. This substrate has a functorial architecture that has been implemented using object oriented programming techniques. The functorial organization allows one to define algebraic structures over arbitrary algebraic domains. This approach permits algebraic structures like groups, rings and fields to be first class objects that can be manipulated by the user. We have been attempting to link together Weyl with Bob's Constable's theorem proving system, Nuprl. This will allow us state and use theorem about algebraic structures when deciding which algorithms should be used Weyl. In additon, I have been continuing my work on algorithms in computer algebra. Among the problems I have been studying include: algebraic function decomposition (with Dexter Kozen and Susan Landau) and primality testing of polynomials. Publications Effective Polynomial Computation , Kluwer Academic Publishers, 1993.

82. 8th Rhine Workshop On Computer Algebra Eighth Rhine Workshop on Computer Algebra. Mannheim, Germany; 2122 March 2002. http://www.uni-mannheim.de/RWCA/

Navigation ohne Frames Navigation ohne Frames

83. REDUCE Home Page (archival Version) 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 http://www.uni-koeln.de/REDUCE/

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 reduce-algebra.com Information available from the current page (www.uni-koeln.de/REDUCE/) 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;

84. Computer Algebra, Spring 2009, Syllabus. Computer Algebra, Syllabus, Spring 2009. Course documents. Location 106 LOV. Time Monday, Wednesday, Friday 1220 110 . Instructor Dr. Mark van Hoeij http://www.math.fsu.edu/~hoeij/spring2009/syllabus_MAS5731.html

Computer Algebra, Syllabus, Spring 2009. Course documents Location: 106 LOV. Time: Monday, Wednesday, Friday 12:20 - 1:10 Instructor: Dr. Mark van Hoeij e-mail: hoeij@math.fsu.edu URL: http://www.math.fsu.edu/~hoeij Office: 211 LOV. Telephone: 644-3879. Office hours: MTWRF 9:00 - 10:00. What this course is about: At first sight you might be inclined to believe that algebra courses with topics like ideals, finite fields, or the Chinese remainder theorem are far away from any practical application. But this is not the case: There are algorithms to compute with almost everything you learn in algebra courses, and these algorithms have many applications. For example, finding exact solutions of differential equations, or finding an antiderivative of a function, such algorithms use the algebraic algorithms from this course in many places. The topics covered in this course are: 1. Introduction to Maple. 2. Modular Euclidean algorithm. 3. Computing with algebraic numbers. 4. Lattice reduction and applications. 5. Factorization of polynomials.

85. Fermat, Computer Algebra System II Comparison of PolynomialOriented Computer Algebra Systems (Preliminary Report) Robert H. Lewis and Michael Wester http://www.fordham.edu/lewis/cacomp.html

Comparison of Polynomial-Oriented Computer Algebra Systems (Preliminary Report) Robert H. Lewis and Michael Wester This paper was presented as a poster to the 1999 ISSAC Conference, Vancouver, British Columbia, 28-31 July 1999. Exact symbolic computation with polynomials and matrices over polynomial rings has wide applicability to many fields. By "exact symbolic" we mean computation with polynomials whose coefficients are integers (of any size), rational numbers, or finite fields, as opposed to coefficients that are "floats" of a certain precision. Such computation is part of most computer algebra systems ("CA systems"). Over the last dozen years several large CA systems have become widely available, such as Axiom, Derive, Macsyma, Maple, Mathematica, and Reduce. They tend to have great breadth, be produced by profit-making companies, and be relatively expensive. However, most if not all of these systems have difficulty computing with the polynomials and matrices that arise in actual research. Real problems tend to produce large polynomials and large matrices that the general CA systems cannot handle. In the last few years several smaller CA systems focused on polynomials have been produced at universities by individual researchers or small teams. They run on Macs, PCs, and workstations. They are freeware or shareware. Several claim to be much more efficient than the large systems at exact polynomial computations. The list of these systems includes CoCoA, Fermat, MuPAD, Pari-GP, and Singular.

86. ACA'2002: 8th International Conference On Applications Of Computer Algebra 8th International Conference on Applications of Computer Algebra. Volos, Greece; 2528 June 2002. http://www.orcca.on.ca/~ilias/aca2002.html

General Chairs Alkiviadis G. Akritas Ilias S. Kotsireas Administrative Assistance: Mrs Theodora Terlexi Program Chairs Victor Edneral Eugenio Roanes-Lozano Organizing Committee Stanly Steinberg Michael Wester Local Arrangements Committee: Panagiotis Germanis Thomas Kylindris Maria Papalexandri Yiannis Parassidis ... Important Dates ACA'2002 Official Sponsors: Conference e-mail: aca2002@uth.gr Conference Phone Numbers: + 30 421 074886 , CELL PHONES IN GREECE (097-3941000, 0945-842296) , + 1 519 5891323 Join the ACA mailing list Conference Poster

87. Steve Linton's Web Page Is On Www-circa Director, Centre for Interdisciplinary Research in Computational Algebra, University of St. Andrews. Leads the international consortium developing GAP. Publications, software. http://www.dcs.st-and.ac.uk/~sal/

My Web page is on he CIRCA Web site. You are being redirected.

88. Computer Algebra Systems In Calculus Reform by LD Murphy Cited by 5 - Related articles http://mste.illinois.edu/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.

89. Computer Algebra And Symbolic Computation: Elementary Algorithms A systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages. http://www.wolfram.com/books/profile.cgi?id=7217

90. ACA'10, Applications Of Computer Algebra Applicatios of Computer Algebra, University of Vlora June 2427, 2010. http://aca2010.info/index.php/aca2010/aca2010

91. MacKichan Software - Computer Algebra Systems MacKichan Software now offers version 5.5 of Scientific WorkPlace, Scientific Word, and Scientific Notebook. You write text and mathematics in your document without having to know http://www.mackichan.com/cas.html

History Customer Service Privacy Policy Product Partners ... Newsletters 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

92. Imai Laboratory Department of Information Science, the University of Tokyo. Research projects include Computational Algebra and Geometry. Details of members research and publications. http://naomi.is.s.u-tokyo.ac.jp/

Japanese Last Modified : 2008-05-14 Imai Laboratory Department of Computer Science Graduate School of Information Science and Technology The University of Tokyo Introduction Members Projects Current projects Old projects Publications CAUTION: The publication list is under reconstruction and so is imcomplete. List of publications Publication search Links The University of Tokyo Graduate School of Information Science and Technology Department of Information Science ERATO Quantum Computation and Information Project ... ISO/TC211 Geographic Information/Geomatics Working Group 9 (WG9) Information Management

93. [16] WINKLER, F., Polynomial Algorithms In Computer Algebra File Format PDF/Adobe Acrobat Quick View http://www.dtc.umn.edu/~odlyzko/doc/computer.algebra.future.pdf

94. Giac/Xcas, A Free Computer Algebra System Free computer algebra system Presentation of Xcas, the swiss knife for mathematics. Abstract Giac/Xcas is a free computer algebra system for Windows, Mac OS X and Linux http://www-fourier.ujf-grenoble.fr/~parisse/giac.html

Last update 2010 September 30, version 0.9.0 (except for Mac: 0.8.6) Navigate Espanol Francais Back to my homepage Presentation of Xcas Abstract Features Xcas reference card Documentation ... News Download Xcas for Windows Mac OS X Asus EEE PC linux Acer Aspire 1 linux ... iPhone (third-party, non free) Giac Source code Console LaTeX Open Office plugin (C. Devalland), Xcas on-line version 2 beta (FR) (J.P. Branchard) About Xcas Forum French doc and add-ons Thanks Presentation of Xcas , the swiss knife for mathematics. Abstract Giac/Xcas is a free computer algebra system for Windows, Mac OS X and Linux/Unix (license GPL3, for commercial dual-license contact us). Xcas is an interface to perform computer algebra, function graphs, interactive geometry (2-d and 3-d), spreadsheet and statistics, programmation. It may be used as a replacement for high end graphic calculators for example on netbooks (for about the same price as a calculator but with much more performances). Giac is a free (GPL) C++ library, it is the computation kernel, it may be used inside other C++ programs. Giac/Xcas has a compatibility mode for people used to the Maple or Mupad CAS as well as for users of TI calculators (TI89, Voyage 200, TI Nspire CAS).

95. East Coast Computer Algebra Day ECCAD 2009 East Coast Computer Algebra Day (ECCAD) is an informal meeting for those active or interested in computer algebra. It provides opportunities to learn and to http://www.cs.uri.edu/eccad2009/

96. Welcome To The Homepage Of The Computer Algebra Research Group Of The IWR Computer Algebra research group of the IWR, Heidelberg. People, research, teaching, activities, software and links. http://www.iwr.uni-heidelberg.de/groups/compalg/

ALGORITHMIC ALGEBRA AND NUMBER THEORY Research group Prof. Dr. B.H. Matzat IWR Im Neuenheimer Feld 368 D-69120 Heidelberg Germany Tel: +49 6221 54-8318 Fax: +49 6221 54-8850 People Research Teaching Activities ... Links News: Festkolloquium, February 5th 2010 webmaster

97. The 11th Rhine Workshop On Computer Algebra Topics Algorithms to solve algebraic and geometric problems, their complexity, and implementation in computer algebra systems. Organisers http://www.science.unitn.it/~degraaf/rwca.html

The 11th Rhine Workshop on Computer Algebra 16-20 June 2008 Grand Hotel Bellavista , Levico Terme Topics: Algorithms to solve algebraic and geometric problems, their complexity, and implementation in computer algebra systems. Organisers: Andrea Caranti (Trento), Jan Draisma (Eindhoven), Bettina Eick (Braunschweig), Willem de Graaf (Trento), Josef Schicho (Linz), Thorsten Theobald (Frankfurt). Participation: Everyone is cordially invited to offer a presentation by sending a full paper, or an extended abstract to Willem de Graaf degraaf@science.unitn.it . (Preferably before May 1st 2008 .) Before the meeting the papers and abstracts will appear in an informal proceedings, produced locally. Submissions are not formally refereed and can thus also be submitted elsewhere. Programme: Arrival day is Monday June 16, 2008. Departure day is Friday June 20, 2008. Accomodation is provided by Grand Hotel Bellavista , where the meeting will be held. Full board at the Grand Hotel Bellavista costs (per day) 57.50 euro per person in a double room

98. Milestones In Computer Algebra 2008 CALL FOR PAPERS Milestones in Computer Algebra MICA 2008 A Conference in Honour of Keith Geddes' 60th Birthday Stonehaven Bay, Trinidad and Tobago, 13 May 2008 http://www.orcca.on.ca/conferences/mica2008/

CALL FOR PAPERS Milestones in Computer Algebra MICA 2008: A Conference in Honour of Keith Geddes' 60th Birthday Stonehaven Bay, Trinidad and Tobago, 1-3 May 2008 http://www.orcca.on.ca/conferences/mica2008 In cooperation with ACM SIGSAM Conference Keith Geddes received his PhD in 1973 from the University of Toronto under the supervision of John C. Mason. Since that time, as a professor at the University of Waterloo, his research has spanned the areas of numerical approximation, algebraic algorithms for symbolic computation, hybrid symbolic-numeric computation and the design and implementation of computer algebra systems. He is perhaps best known as co-founder of the Maple computer algebra system. Through his teaching, research and software, the work of Keith Geddes has touched millions of individuals. In honour of Keith Geddes' 60th birthday, the 40th year of his scientific career and the 20th anniversary of the founding of Maplesoft, a conference will be held 1-3 May 2008 near Scarborough, Tobago. The conference will feature invited talks by well known figures in the computer algebra world as well as contributed talks selected by the program committee.

99. Centre For Interdisciplinary Research In Computational Algebra University of St Andrews. Coordinates the international efforts to develop maintain and promote the GAP (groups, algorithms and programming) software package. People, project, meetings, reports, theses, library and teaching material. http://turnbull.mcs.st-and.ac.uk/CIRCA/

CIRCA Home Members Pre-prints Library ... GAP C entre for I nterdisciplinary R esearch in C omputational A lgebra School of Mathematics and Statistics School of Computer Science The Centre was established in 2000 to foster new and existing collaborative research between members of the Schools of Computer Science and of Mathematics and Statistics in the area of computational abstract algebra. The Centre undertakes mathematical research with computer assistance, develops new techniques for computation in abstract algebra and develops and distributes software implementing these techniques. This work is supported by research grants from the EPSRC, the Leverhulme Trust, the British Council, the European Commission and the Royal Society of Edinburgh. The Centre also organises conferences, seminars and training courses and coordinates the international efforts to develop maintain and promote the GAP (groups, algorithms and programming) software package, a leading integrated system for computational discrete mathematics and algebra. We are partners with the (CAUL).

100. IX. Maple Computer Algebra System File Format PDF/Adobe Acrobat Quick View http://www.math.toronto.edu/help/maple99.pdf

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