Geometry.Net - Math_Discover: Algebra Computer


Home - Math_Discover - Algebra Computer

e99.com Bookstore

Images

Newsgroups

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

Algebra Computer: more books (100)

Computer Simulation and Computer Algebra: Lectures for Beginners by Dietrich Stauffer, Friedrich W. Hehl, et all 1993-08-26

Advanced Arithmetic for the Digital Computer by Ulrich W. Kulisch, 2002-11-20

Introduction to Matrix Computations (Computer Science and Applied Mathematics) by G. W. Stewart, 1973-06-11

Computer Algebra Systems in Secondary School Mathematics Education

Algebraic Logic and Universal Algebra in Computer Science: Proceedings of a Conference, Ames, Iowa, USA. June 1-4, 1988 (Lecture Notes in Computer Science) by R.D. Maddux, D.L. Pigozzi, 2000-11-13

Universal Algebra for Computer Scientists (Monographs in Theoretical Computer Science. An EATCS Series) by Wolfgang Wechler, 1992-03-17

Network Algebra (Discrete Mathematics and Theoretical Computer Science) by Gheorghe Stefanescu, 2000-05-11

Algebra for Computer Science (Universitext) by Lars Garding, Torbjörn Tambour, 1988-08-01

Process Algebra (Cambridge Tracts in Theoretical Computer Science) by J. C. M. Baeten, W. P. Weijland, 1990-10-26

Compact Numerical Methods for Computers: Linear Algebra and Function Minimisation by John C. Nash, 1990-01-01

Linear Algebra with Computer Applications (Pure and Applied Mathematics,) by Ronald I. Rothenberg, 1983-01

Algorithmic Algebra (Monographs in Computer Science) by Bhubaneswar Mishra, 1993-09-29

Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science) by J. C. M. Baeten, T. Basten, et all 2009-12-16

ComputerAlgebra& Parallelism (Computational Mathematics and Applications Series) by Author Unknown, 1989-02-11

lists with details

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

Extractions: "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
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/

Extractions: 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
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

Extractions: Local Arrangements Stanly Steinberg Nicolas Robidoux 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: Conference proceedings and publishing papers Join the list of interested parties!
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/
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
Rings And Computer Algebra
Rings and computer algebra software, part of OpenXM.
http://www.math.sci.kobe-u.ac.jp/KAN/

Extractions: Last update is May 13, 2001. 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. 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.
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/

Extractions: 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?
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/

Extractions: 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
ALCCAL.html
algebraic Combinatorics and computer algebra Summer School. Varna, Bulgaria; 314 September 2000.
http://www.math.bas.bg/~ALCCAL/

Extractions: 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. 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.
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/

Extractions: 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 Register as S INGULAR user Use any of the following links to find out more about S INGULAR
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
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/
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/

Extractions: 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) Matt Valeriote (McMaster University, Canada) Austin Melton (Kent State University, USA) Yde Venema (University of Amsterdam, Netherlands) Holger Schlingloff (University of Bremen, Germany) H. Peter Gumm
Felix
computer algebra system for computation in commutative and noncommutative rings and modules. Win32, Unix.
http://felix.hgb-leipzig.de/

Extractions: 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 System requirements Installation Guide More information/updates at Contact e-mail: apel@mathematik.uni-leipzig.de uklaus@hgb-leipzig.de
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/

Extractions: 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:
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/

Extractions: 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 Further information is available at the ORCCA website or by contacting info@scg.uwaterloo.ca
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/
8th Rhine Workshop On Computer Algebra
Eighth Rhine Workshop on computer algebra. Mannheim, Germany; 2122 March 2002.
http://www.uni-mannheim.de/RWCA/
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/
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/

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