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. http://www.mathematik.uni-kl.de/~zca/

Willkommen ZCA Kaiserslautern Centre for Computer Algebra Welcome 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. Latest News Goals and activities Actively participating research groups and their projects Paper series ... Links related to Computer Algebra c/o Prof. Dr. G.-M. Greuel FB Mathematik D-67663 Kaiserslautern Germany greuel@mathematik.uni-kl.de 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. http://www.wspc.com/journals/ijmpc/ijmpc.html

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 http://www.mathematik.uni-kl.de/~zca/Reports_on_ca/

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. Postscript BibTeX Greuel, G.-M.; Lossen, C.; Schulze, M. Three Algorithms in Algebraic Geometry, Coding Theory, and Singularity Theory. March 2001. HTML Postscript BibTeX Greuel, G.-M. Applications of Computer Algebra to Algebraic Geometry, Singularity Theory and Symbolic-Numerical Solving. June 2000. HTML 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 http://www.hartmath.com/

@import url("themes/FunkyDelic/style/style.css"); Main Menu Home About Your Account WebStart/Download ... PDF documentation MathML BLOG/Wiki Testpage (hmath.org) Development (Java 1.3) Project Page Report-a-Bug 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. http://www.maplesoft.com

Maple 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 http://www.learn-line.nrw.de/angebote/cas/

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. http://tnt.math.metro-u.ac.jp/simath/

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: SIMATH - a computer algebra system for number theoretic applications as dvi-file or as ps-file Basic algorithms for elliptic curves as dvi-file or as ps-file 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 simath-user-request@tnt.math.metro-u.ac.jp

68. ECCAD 2001 East Coast Computer Algebra Day Florida State University, Tallahassee, Florida, USA; 5 May 2001. http://www.math.fsu.edu/eccad01/

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 eccad01@math.fsu.edu 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: eccad01@math.fsu.edu 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: Interactive Campus Map Turnbull Florida State Conference Center 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 http://mathworld.wolfram.com/BooleanAlgebra.html

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. http://symaxx.sourceforge.net/

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. http://www.mathematik.uni-kl.de/~zca/Welcome.html

Willkommen ZCA Kaiserslautern Centre for Computer Algebra Welcome 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. Latest News Goals and activities Actively participating research groups and their projects Paper series ... Links related to Computer Algebra c/o Prof. Dr. G.-M. Greuel FB Mathematik D-67663 Kaiserslautern Germany greuel@mathematik.uni-kl.de 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. http://RichardPClarke.tripod.com/ideas/

var cm_role = "live" var cm_host = "tripod.lycos.com" 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. 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;

74. 8th Rhine Workshop On Computer Algebra http://www.uni-mannheim.de/RWCA/

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

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. http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/html/summary.html

Practical Foundations of Mathematics Paul Taylor Practical Foundations of Mathematics Paul Taylor Published by Cambridge University Press, 1999, ISBN 521 63107 6. http://www.dcs.qmw.ac.uk/ 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: rknott@cup.cam.ac.uk 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. http://www.cargo.wlu.ca/

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. Events: 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 http://www.cargo.wlu.ca/eccad2004/ Research Topics: Last updated: March 11 th Design and Maintenance by MaximAlgorithms Technologies Webstat PHP Setup This web site is best viewed with CSS enabled browsers. Mozilla Firebird

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. 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 Handbook ( postscript 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

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. http://www.informatik.uni-leipzig.de/cgi-bin/MakeHTML.cgi?EHTML=/ifi/home.ehtml&

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. http://momonga.t.u-tokyo.ac.jp/~paoon/OriginalDoc/MuPAD.html

¢£ 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