61. LiveMath Germany Das Programm LiveMath Maker von Theorist Interactive ist ein computeralgebra-System (CAS). http://www.livemath.de/

Die deutsche Seite zu LiveMath Computeralgebra im Internet kostenlose LiveMathPlug-in. Anwendungsbeispiele LiveMath Galerie Download Informationen zur deutschsprachige Distribution von LiveMath Schweiz und Deutschland Empfehlungen: "Das Programm ist ein modernes, in programmtechnischer Hinsicht ausgereiftes, bequem zu bedienendes und sehr effektives Werkzeug zur Lösung von Problemen in Mathematik, Physik und Technik." c't "Browsererweiterungen wie das LiveMath-Plugin befähigen einen herkömmlichen Browser zur Darstellung von komplexen Funktionen. Schüler können die Bedeutung der verschiedenen Glieder eines Funktionsterms durch eigenes Experimentieren erschließen." Links: LiveMath an der Realschule www.livemath.com LiveMath am Gymnasium info@livemath.de ... Anwendungsbeispiele

62. GiNaC Is Not A CAS An open framework for symbolic computation within the C++ programming language. The name GiNaC is an iterated and recursive abbreviation for GiNaC is Not a CAS , where CAS stands for computer algebra System. Its design is revolutionary in a sense that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities. It is published under the GNU Public License (GPL). http://www.ginac.de/

About GiNaC updated March 1 2003 Tutorial view tutorial as PS Developer's Reference view reference as PS CVS tree Mini-FAQ updated February 28 2002 Screenshots Get it now! Related Software CLN ... ToDo List updated March 21 2001 The Authors Christian Bauer Alexander Frink Richard Kreckel ... GiNaC is Not a Cocktail G o o g l e this site: G i N a C is an iterated and recursive acronym for G iNaC i s N ot a C AS, where CAS stands for C omputer A lgebra S ystem. It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation- intense numeric applications, graphical interfaces, etc.) under one roof. It is distributed under the terms and conditions of the GNU general public license ( GPL It has been specifically developed to become a replacement engine for xloops which is up to now powered by the Maple CAS. However, it is not restricted to high energy physics applications. Its design is revolutionary in a sense that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities. Perplexed? Feel free to read

63. 1997 IMACS Conference On Applications Of Computer Algebra 3rd IMACS Conference on Applications of computer algebra. Aston Wailea Resort, Wailea, Maui, Hawaii, USA; 2426 July 1997. http://math.unm.edu/ACA/1997.html

1997 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra Aston Wailea Resort Wailea, Maui, Hawaii, USA July 24-26, 1997 General Chair Michael Wester Program Chairs Jacques Calmet Vladimir Gerdt Local Arrangements Stanly Steinberg Nicolas Robidoux Partially supported by Albuquerque Resource Center IBM Research Maui High Performance Computing Center National Security Agency NOTE: PASCO'97 (Second International Symposium on Parallel Symbolic Computation) and ISSAC'97 (International Symposium on Symbolic and Algebraic Computation) will be held just previous to this meeting (July 20-22 and July 21-23, respectively) also at the Aston Wailea Resort. Contents: Electronic proceedings Registered attendees summary A description of the meeting Final program [ DVI PostScript Maui Activities on Maui, climate and a map of the island About the Aston Wailea Resort and plans and pictures of the hotel Making reservations at the Aston Wailea Getting to Maui and the Aston Wailea Conference proceedings and publishing papers Join the list of interested parties!

64. CANdiensten - Your Partner In Mathematics And Statistics Commercial offshoot of CAN (computer algebra Nederland) specialising in software, courses and consultancy in mathematics and statistics. Based in Amsterdam. http://www.candiensten.nl/english/

65. Ashay Dharwadker's Profile Proof of the four color theorem and its ramifications, algebra, topology, graph theory and theoretical computer science. http://www.geocities.com/dharwadker/profile.html

Ashay Dharwadker Born 1967, New Delhi, India Address: H-501 Palam Vihar, District Gurgaon, Haryana 122017, India. Website: http://www.geocities.com/dharwadker/ Email: dharwadker@yahoo.com Research: Algebra, combinatorics, topology and their applications. Theoretical computer science and information technology. Google Directory - Graph Theorists Riemann Surfaces, http://www.eg-models.de n Calculus 1.0, http://www.geocities.com/dharwadker/calculus.html Software for Windows: Compute and graph functions, derivatives, integrals, tangents, arc lengths, areas, roots, maxima/minima, Taylor series and Fourier series. Simtel.net MathNet - Computational Geometry and Visualization The Math Forum Review The Witt Design, http://www.geocities.com/dharwadker/witt.html The Steiner system S(5,8,24) with a C++ program to generate the Witt design, Golay code and projective plane PG(2,4). Design Resources at Queen Mary, University of London The Math Forum Review A New Proof of The Four Colour Theorem, http://www.geocities.com/dharwadker/ A new proof of the famous Four Colour Theorem using Steiner systems, Eilenberg modules, Hall matchings and Riemann surfaces. Canadian Mathematical Society Award The Math Forum Review Google Directory Graph Theory Florida State University Virtual Math Library ... Dr. Matrix Award for Science Excellence - Mathematics

66. Rings And Computer Algebra Rings and computer algebra software, part of OpenXM. http://www.math.sci.kobe-u.ac.jp/KAN/

Rings and Computer algebra Last update is May 13, 2001. The latest version of kan/sm1 is obtainable as a part of the OpenXM package. Access to the the OpenXM home page at OpenXM Home page to download the OpenXM package. Open XM specifications and the OpenXM package : OpenXM is an abbreviation of "an open message eXchange protocol for Mathematics". The OpenXM package includes "asir" , "kan/sm1", "gnuplot", "PHC pack", "tigers", "Mathematica interface", "OpenMath Proxy". Old kan/sm1 (sources and binaries of version 2.990914 are here) : A system for computation in algebraic analysis, 1991-. Version 1, 1991, Version 2, 1994. The last standalone distribution is kan/sm1 Release 2.990914. (source code and Linux binary distribution only.) What's new in the version 2.990914? ox_asir server is now available, which performs multi-variable factorizations, primary ideal decompositions, efficient Grobner basis computation in the ring of polynomials, and so on. ox_asir is based on asir. See below. New package lib/intw.sm1 : Computing 0-th integration by a new algorithm using a generic weight vector. This package requires open asir server to analyze the roots of b-functions.

67. ACA'98, 1998 IMACS Conference On Applications Of Computer Algebra 4th IMACS Conference on Applications of computer algebra. Czech Technical University, Prague, Czech Republic; 911 August 1998. http://www-troja.fjfi.cvut.cz/aca98/

Mirrors: CTU, Prague, Europe and UNM, Albuquerque, USA ACA'98 1998 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra Czech Technical University Prague Czech Republic August 9-11, 1998 Just before ISSAC'98 , August 13-15, Rostock, Germany Sponsors: Ministry of Education of Czech Republic Czech Technical University Faculty of Nuclear Sciences and Physical Engineering Texas Instruments Inc. ... Wolfram Research Inc. General Chair Richard Liska Program Chairs Victor Edneral Organizing Committee Stanly Steinberg Michael Wester Local Arrangements: Jiri Limpouch Milan Sinor Petr Kapusta Faculty of Nuclear Sciences and Physical Engineering ... Czech Technical University The meeting will focus on actual or possible applications of nontrivial computer algebra techniques to other fields and substantial interactions of computer algebra with other fields. Contents: Electronic proceedings List of attendees (final) Conference program (final) Conference location Prague Information How much would it cost?

68. Chartwell-Yorke Mathematics Software And Books computer algebra mathematics software (Derive 5 and LiveMath), Autograph for plotting, coordinate geometry and single variable statistics, CabriGeometre II dynamic geometry software, Fathom dynamic statistics, MathType equation editor. Based in Bolton, UK. http://www.chartwellyorke.com/

Autograph for Windows - the ultimate graphing, coordinate geometry and single-variable statistics package. Lots of uses at KS3, KS4 and above. lets you dynamically explore Euclidean, transformational and coordinate geometry. Vectors, conics, equations of lines, much more. For Windows or Mac. Strongly recommended for KS3 in particular, but with many uses at KS4 and above. Derive 5 is a powerful computer algebra system for doing symbolic and numeric maths from school to professional level. Great value, compact and really easy to use. Arithmetic, Algebra, 2D and 3D plots, Calculus, Vector, Matrices, Sets, Programming. Wide range of supporting books. Particularly useful at KS4 and above. Fathom Dynamic Statistics software for data handling and statistics, specifically designed for education. Extensive sampling and simulation tools, hypothesis testing and estimation, over 200 data sets, infinite undo and redo, drag and grop data capture from Excel or internet, over 100 built-in functions, dozens of graph types. From the creators of The Geometer's Sketchpad LiveMath MathType 5 lets you create exam papers, tests, and mathematical articles, quickly and perfectly. It's the powerful professional version of the Microsoft Equation Editor for precise control of your print or web-based documents. Helps produce T

69. ALCCAL.html algebraic Combinatorics and computer algebra Summer School. Varna, Bulgaria; 314 September 2000. http://www.math.bas.bg/~ALCCAL/

Summer School ALCCAL' 2000 "ALGEBRAIC COMBINATORICS AND COMPUTER ALGEBRA" September 3 - 14, 2000, Varna, BULGARIA First Announcement Place of the ALCCAL'2000 Summer School Main idea Scientific Community Structure of the meeting Method of organization ... Important dates Main idea We are organizing a summer school with the above title in Bulgaria on the coast of Black Sea from September 3 to September 14, 2000. The duration of the summer school will be 12 days, including 8 working days, 2 excursion days and days of arrival and departure. Sponsorship was not sought for the meeting and so we are unable to give any financial support to the participants. Everything is based on the enthusiasm of the organizers and our guests. In a sense the idea of this meeting is similar to the idea of the First International Conference on Algebraic Combinatorics in Vladimir, USSR, August 1991. We think that the present time in Bulgaria is most appropriate: this country is striving to become a major tourist and recreational attraction. Thus we have been able to find reasonable prices at a high level of service. Scientific community Roughly speaking, algebraic combinatorics deals with highly symmetrical combinatorial objects (graphs, designs, codes etc.). What "high symmetry" means can be rigorously formulated in terms of the action of the automorphism group of the object. One of the most beneficial ways to consider this is that the requirement of transitivity (primitivity) of the action of a certain group is substituted by weaker assumption of combinatorial regularity. For example, parallel consideration and classification of rank 3 graphs and strongly regular graphs is one of the areas in algebraic combinatorics. The techniques used in algebraic combinatorics is in a sense an amalgamation of methods from group theory, linear algebra, graph theory, number theory and representation theory. Extensive use of computers and especially of computer algebra packages is an essential feature of this area.

70. Singular:Home computer algebra System for polynomial computations with special emphasis on commutative algebra, algebraic geometry, and singularity theory. http://www.singular.uni-kl.de/

A Computer Algebra System for Polynomial Computations Welcome to S INGULAR November 2002: Release of SINGULAR version 2.0.4 , a minor upgrade from version 2.0.3 (mainly bug fixes) is available for Linux platforms and Mac PPC Darwin August 2002 : Textbook "A S INGULAR Introduction to Commutative Algebra" ... Springer Verlag . The book includes a CD containing a distribution of S INGULAR version 2-0-3 (for Unix/Windows/Mac platforms). S INGULAR is free software under GNU Public Licence . For registered S INGULAR users we offer the following free services e-mail information about updates and news support for installation and computational questions. Register as S INGULAR user Use any of the following links to find out more about S INGULAR Examples Announcements S INGULAR ... Forum S INGULAR is developed by the S INGULAR research group at the Department of Mathematics of the University of Kaiserslautern under the direction of Gert-Martin Greuel Gerhard Pfister , and Comments or suggestions? Send mail to

71. 1999 IMACS Conference On Applications Of Computer Algebra 5th IMACS Conference on Applications of computer algebra. Euroforum, El Escorial, Madrid, Spain; 2427 June 1999. http://math.unm.edu/ACA/1999.html

1999 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra June 24-27, 1999 (scientific program June 25-27) Euroforum, El Escorial (near Madrid), Spain imacs-aca99@ccedu.ucm.es Sponsors/Collaborators: Addlink Software Cientifico Cotopaxi IMACS Sociedad Matematica Puig Adam Texas Instruments Universidad Complutense de Madrid Universidad Complutense de Madrid - Servicios Informaticos Organizers: Honorary President : Rafael Puyol (Rector of the Universidad Complutense de Madrid) General Chair Eugenio Roanes-Lozano (Univ. Complutense de Madrid, Spain) Program Chairs Victor Edneral (Moscow State Univ., Russia), Laureano Gonzalez-Vega (Univ. de Cantabria, Spain), Jaime Gutierrez (Univ. de Cantabria, Spain) Richard Liska (Czech Technical University, Czech Republic) Organizing Committee Stanly Steinberg (Univ. New Mexico, USA), Michael Wester (Cotopaxi, USA), Eugenio Roanes-Macias (Univ. Complutense de Madrid, Spain)

72. Codemist Ltd Software provider in compilers and symbolic computation. The main products are the Norcroft C compiler and the computer algebra system Reduce, together with the Lisp system CSL/CCL. Demo versions available free for download. Based in Bath, UK. http://www.codemist.co.uk/

73. LUATCS '99 Summer School Homepage First Southern African Summer School and Workshop on Logic, Universal algebra, and Theoretical computer Science. Rand Afrikaans University, Johannesburg, South Africa; 110 December 1999. http://atlas.math.vanderbilt.edu/~pjipsen/luatcs99/

US Mirror Second Announcement Third Announcement Travel and Accomodation L ogic, U niversal A lgebra, T heoretical C omputer S cience L UA TCS Prepare for the 21st century FIRST SOUTHERN AFRICAN SUMMER SCHOOL AND WORKSHOP ON LOGIC, UNIVERSAL ALGEBRA, AND THEORETICAL COMPUTER SCIENCE (LUATCS'99) Rand Afrikaans University, Johannesburg, South Africa December 1-10, 1999 (Last change: 7 January 2000) ADVISORY BOARD: Samson Abramsky Hajnal Andreka Johan van Benthem (Chair), Chris Brink Robin Hirsch, Wilfrid Hodges, Bjarni Jonsson, Istvan Nemeti, Jeff Zucker Part 1: Introductory courses December 1-4 RAU-Island (Vaal Dam) Patrick Blackburn (University of Saarland, Germany) Introduction to Logic Matt Valeriote (McMaster University, Canada) Introduction to Universal Algebra Austin Melton (Kent State University, USA) Introduction to Theoretical Computer Science Yde Venema (University of Amsterdam, Netherlands) Introduction to Logic and Universal Algebra Course notes (.ps 337K) Holger Schlingloff (University of Bremen, Germany) Introduction to Logic and Theoretical Computer Science H. Peter Gumm

74. Felix computer algebra system for computation in commutative and noncommutative rings and modules. Win32, Unix. http://felix.hgb-leipzig.de/

Authors Joachim Apel, Uwe Klaus Title Felix Short description Special computer algebra system for the computation in commutative and non-commutative rings and modules. The central method is Buchberger's algorithm and its generalizations to non-commutative rings, in particular to free k-algebras and algebras of solvable type. Among the implemented applications there are syzygy computations and basic ideal operations. Felix provides a complete programming language which in standard mode is interpreted but also on-line compiler and linker are included. Platforms Windows, Windows NT, OS/2 Linux NetBSD Solaris System requirements PC with 80386 processor or higher SUN Sparc v8 Installation Guide More information/updates at Computer algebra group at Leipzig university Felix's home Contact e-mail: apel@mathematik.uni-leipzig.de uklaus@hgb-leipzig.de

75. ACA'2000: 6th IMACS Conference On Applications Of Computer Algebra 6th IMACS Conference on Applications of computer algebra. St. Petersburg, Russia; 2528 June 2000. http://math.unm.edu/ACA/2000/

Mirrors: Steklov Institute of Mathematics at St.Petersburg, Russia and UNM, Albuquerque, USA ACA'2000 6th IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra St. Petersburg, Russia, June, 25-28, 2000 Steklov Institute of Mathematics at St.Petersburg Euler International Mathematical Institute St.Petersburg Mathematical Society St.Petersburg State University St. Petersburg Center for International Cooperation Sponsored by General Chair Nikolay Vassiliev Program Chairs Victor Edneral, Richard Liska, Michael Wester Organizing Committee Stanly Steinberg Michael Wester Yuri Matiyasevich Anatoly Vershik Local Arrangements: Elena Novikova Nikolay Mnev Vyacheslav Nesterov Sergei Slavyanov Scientific Committee: Bruno Buchberger RISC-Linz, Jacques Calmet Univ. of Karlsruhe, Arieh Cohen Eindhoven Univ.Tech, Rob Corless Univ. of Western Ontario, Andre Deprit Ntl. Bureau of Standarts, Sam Dooley IBM Yorktown Heights, Keith Geddes Univ. of Waterloo

76. Symbolic Computation Group Home Page Research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolicnumeric computation. The algorithms developed are incorporated into the Maple computer algebra system. Publications, software, meetings, people. http://www.scg.uwaterloo.ca/

The Symbolic Computation Group is a research group within the School of Computer Science in the Faculty of Mathematics at the University of Waterloo , Waterloo, Ontario, Canada. SCG is affiliated with the Ontario Research Centre in Computer Algebra, ORCCA The co-directors are Keith Geddes and George Labahn SCG has as its primary goal the research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolic-numeric computation. The algorithms developed are incorporated into the Maple computer algebra system. Some of the Symbolic Computation Group's main research interests include: Symbolic Integration Finding closed-form solutions for ordinary and partial differential equations Developing hybrid symbolic-numeric algorithms for scientific computation. Algebraic manipulation of differential and partial differential operators. Improved algebraic number facilities. Rational approximation algorithms. The Symbolic Computation Group, through ORCCA, has positions available for Postdoctoral Fellows Research Associates Graduate Student Research Assistants Undergraduate student summer or co-op work terms Further information is available at the ORCCA website or by contacting info@scg.uwaterloo.ca

77. Department Of Mathematics, IIT Bombay Department of Mathematics. Courses at B.Tech, M.Tech, M.Sc and Ph.D level. Research areas algebra and Combinatorics; Theoretical computer Science; Analysis Functional and Numerical Analysis; Topology and Geometry; Numerical Analysis; Mechanics of Fluids; Mechanics of Solids; Statistics. http://www.math.iitb.ac.in/

Indian Institute of Technology Bombay About the Department From the Desk of Head Awards won by faculty Awards won by students Dept. Committees ... Newsletters Academic Programs M. Sc. Entrance Test Ph. D. Program M.Sc.(ASI) Programs M.Sc.(Math)Programme ... Home pages of courses ICIWIM 2002 ICIWIM-2002 Admissions Admissions People Faculty Research Scholars M. Sc. Students Administrative Staff News From Geometry To Algebra: An Introduction To Linear Algebra (Sample of an e-book) I.I.T. glorified on CBS News ... (requires windows media player) Research and Development Research areas PDE, control theory Industrial Mathematics Group Books written by faculty Resources and Services IIT Web Mail Service On-Line Registration Academic links around the world Computer Resources ... Miscellaneous Links Mathematics Association Mathematics Olympiad 2003 Alumni Information Seminars and Colloquia Seminars this week Institute Colloquia Colloquia and Seminars algebraic geometry seminars ... Popular Lecture Series Conferences and Workshops V national Meeting in Commutative Algebra and algebraic geometry Workshop and conferences held in the past ... Workshop in Mathematics XML based data collection system XML based Data Collection System MathSciNet IIT Homepage Central Library ... Time and Weather in Mumbai Department of Mathematics Indian Institute of Tech., Bombay

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

79. MuPAD Home Page Open computer algebra system for symbolic and numerical computations. Library routines for linear algebra, integration, polynomials, and graphics. Can generate and be called from C or Fortran code. Free download by FTP for personal research purposes requires registration. http://www.mupad.de/

Developers and distributors of the computer algebra system MuPAD. The MuPAD Research Group at the University of Paderborn Scientific board of MuPAD. go www.mupad.com for general and sales information. www.mupad.de/research.shtml for free versions and scientific information. Informationen zu MuPAD in Schule und Studium erhalten Sie unter www.mupad.de/schule+studium/

80. Logic At Leeds Mathematical Logic Group. Research areas recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, events, seminars. http://www.amsta.leeds.ac.uk/Pure/logic/

Sorry, this document can be viewed only with a frames-capable browser. However, you can find our Logic Group here : Logic Group Logic Seminar Logic Events

Page 4     61-80 of 82    Back | 1  | 2  | 3  | 4  | 5  | Next 20