Geometry.Net - Pure_And_Applied_Math: Computer Algebra


Home - Pure_And_Applied_Math - Computer Algebra

e99.com Bookstore

Images

Newsgroups

61-80 of 124 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20

Computer Algebra: more books (100)

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

EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings (Lecture Notes in Computer Science) (Volume 0)

lists with details

Department Of Pure Mathematics And Computer Algebra
http://cage.rug.ac.be/zwc/
8th Rhine Workshop On Computer Algebra
Category Computers Algorithms Conferences Past Conferences
http://www.uni-mannheim.de/RWCA/
A Bibliography Of Computer Algebra
A Bibliography of computer algebra. This bibliography is a part of the ComputerScience Bibliography Collection. A Bibliography of computer algebra.
http://liinwww.ira.uka.de/bibliography/Math/Comp.Alg.1.html

Extractions: Computer Science Bibliographies Up: Bibliographies on Mathematics Collection Home A Bibliography of Computer Algebra About Browse Statistics Number of references: Last update: December 14, 1992 Number of online publications: Supported: no Most recent reference: Info: Version 1.3 Search the Bibliography Query: Options case insensitive Case Sensitive partial word(s) exact online papers only Results Citation BibTeX Count Only Maximum of matches Help on: [ Syntax Options Improving your query Query examples CRESS, York University, North York, Ontario, M3J 1P3, Canada Author Comments: Please send comments, corrections, and especially additions to Mike Clarkson. This file is organized alphabetically by the first author's name. The exception is PROCEEDINGS which are at the send of the file which are ordered by the conference acronym. The key is the first author's last name followed by the year of publication, ie. Foo1987. If there is more than one such key, the first reference key is Foo1987a, etc. In some cases where the year is not known, the year part of the key may be left out, or set to 1999. Browsing the bibliography Original source: ftp://louie.udel.edu
Bibliography Of The CATHODE (Computer Algebra Tools For Handling Ordinary Differ
Bibliography of the CATHODE (computer algebra Tools for HandlingOrdinary Differential Equations) project. This bibliography is
http://liinwww.ira.uka.de/bibliography/Math/cathode.html

Extractions: Computer Science Bibliographies Up: Bibliographies on Mathematics Collection Home Bibliography of the CATHODE (Computer Algebra Tools for Handling Ordinary Differential Equations) project About Browse Statistics Number of references: Last update: July 23, 1995 Number of online publications: Supported: Unknown Most recent reference: Search the Bibliography Query: Options case insensitive Case Sensitive partial word(s) exact online papers only Results Citation BibTeX Count Only Maximum of matches Help on: [ Syntax Options Improving your query Query examples
Computer Algebra Research Group
computer algebra Research Group. MRC LOGO. Group Theory. Prof. MalcolmAH MacCallum, General Relativity, computer algebra. Dr Leonard
http://centaur.maths.qmw.ac.uk/CARG/
Atypical Integrating Computer Algebra And Reasoning
Atypical Integrating computer algebra and reasoning. Integrating computer algebraand Reasoning through the Type System of Aldor. Erik Poll and Simon Thompson.
http://www.cs.ukc.ac.uk/people/staff/sjt/Atypical/
NETCA UK Network In Computer Algebra
NETCA UK Network in computer algebra. This is the home page for the UKNetwork in computer algebra, NETCA, which is supported by EPSRC.
http://www.cs.ukc.ac.uk/research/groups/tcs/netca/
Savannah: Project Info - Axiom Computer Algebra System
Savannah Free Software project for revival of Axiom as open source.
http://savannah.nongnu.org/projects/axiom
2001 Conference On Applications Of Computer Algebra (ACA'2001)
2001 IMACS Conference on Applications of computer algebra, Technical Vocational Institute, Albuquerque, New Mexico, USA. 31 May 3 June 2001.
http://math.unm.edu/ACA/2001/2001.html

Extractions: Dis Organizer Michael Wester Description of the Meeting Scientific Committee Albuquerque Attractions ... Registered Attendees Complete Program ( Word PDF PDF Electronic Proceedings The ACA meetings are organized as a series of Special Sessions . To propose a special session, please send to the chair of the Scientific Committee, Stanly Steinberg (see the instructions for Organizing a Special Session ). The Scientific Committee will review the proposal. Selected papers will be considered for publication in the Journal of Symbolic Computation Further information about IMACS is available as well as information on joining IMACS and the ACA Technical Group.
JSC Special Issue On Computer Algebra And Mechanized Reasoning
Journal of Symbolic Computation. Special Issue on. Integration of Automated Reasoningand computer algebra Systems. Guest Editors Olga Caprotti Volker Sorge.
http://www.ags.uni-sb.de/~cm2002/jsc_cfp.html

Extractions: Call for Papers Journal of Symbolic Computation Special Issue on Integration of Automated Reasoning and Computer Algebra Systems Guest Editors: Olga Caprotti Volker Sorge The special issue is related to topics discussed in the context of the CALCULEMUS-2002 symposium in July 2002 in Marseilles, France. We invite any work that substantially extends ideas and topics presented there. Both deduction systems and computer algebra systems are receiving growing attention from industry and academia. On the one hand, mathematical software systems have been commercially very successful. Their use is now wide-spread in industry, education, and scientific contexts. On the other hand, the use of formal methods in hardware and software development has made deduction systems indispensable not least because of the complexity and sheer size of the reasoning tasks involved. As many application domains fall outside the scope of existing deduction systems and computer algebra systems, there is still need for improvement and in particular need for the integration of computer algebra and deduction systems. The JSC special issue is intended for researchers and developers interested in combining the reasoning capabilities of deduction systems and the computational power of computer algebra systems.
Computer Algebra Research Group @ WLU
Department of Physics and Computer Science of Wilfrid Laurier University, Waterloo, Ontario, Canada .Category Computers Algorithms Computational Algebra Research Groupscomputer algebra Research Group (CARGO) was formed in May 2002. We arepart of Department of Physics and Computer Science of Wilfrid
http://www.cargo.wlu.ca/
Computer Algebra In The Workplace
Projects, Packages, and Notes. The following table contains links toseveral of my projects, notes, scribbles, etc. They were generated
http://arnold.usno.navy.mil/murison/Maple/

Extractions: The following table contains links to several of my projects, notes, scribbles, etc. They were generated with Maple version V release 5 . Available for each are PDF, Maple-generated HTML, and the Maple worksheet. The date shown is that of the most recent significant content change in the Maple worksheet. The PDF files are optimized for "print" resolution; hence lines in plots appear very thin on screen, but they print okay. Description HTML PDF Maple date Characteristics of Selected Map Projections 594 kB 12.9 MB Ecliptic Coordinates of the FAME Viewports and Symmetry Axis 163 kB 846 kB A Method for Directly Generating a Gaussian Distribution with Nonunit Variance and Nonzero Mean from Uniform Random Deviates 120 kB 28 kB An Automated Linear Least Squares Solution Generator 172 kB 38 kB Conversions between Taylor Series and Orthogonal Polynomials 358 kB 152 kB Determination of Two-Body Orbital Elements from the Two-Body State Vector 174 kB 50 kB Intersection of a sphere with a plane 1,055 kB
CASA
computer algebra Software for constructive Algebraic geometry. Designed for performing computations and reasoning about geometric objects in classical algebraic geometry, in particular affine and projective algebraic geometry over an algebraically closed field of characteristic 0.
http://www.risc.uni-linz.ac.at/software/casa/

Extractions: CASA is a special-purpose system for computational algebra and constructive algebraic geometry. The system has been developed since 1990. CASA is the ongoing product of the Computer Algebra Group at the Research Institute for Symbolic Computation (RISC-Linz), the University of Linz, Austria, under the direction of Prof. Winkler. The system is built on the kernel of the widely used computer algebra system Maple. Introduction Requirements, Distribution And Contact CASA: A Quick Tour What Is New ... Bibliography
ULB - Computer Algebra Division
Home page for the computer algebra Division at the Université Libre de Bruxelles.ULB, Université Libre de Bruxelles. computer algebra Division. !!! New !!!
http://cso.ulb.ac.be/

Extractions: 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).
MAS - The Modula-2 Algebra System
MAS is an experimental computer algebra system with algebraic specification capabilities for the design and study of algebraic algorithms. Downloads, documentation.
http://www.fmi.uni-passau.de/algebra/projects/mas.php3
David Stes HomePage
Welcome to David Stes' homepage ! Most of the links that you will find here,relate to computer algebra and objectoriented programming languages
http://users.pandora.be/stes/
East Coast Computer Algebra Day 2002
City University of New York, Long Island City, New York, USA; 18 May 2002,.
http://www.lagcc.cuny.edu/Mathematics/ECCAD2002/default.htm
Rings And Computer Algebra
Rings and computer algebra software, part of OpenXM.Category Science Math Algebra SoftwareRings and computer algebra. Last update is May 13, 2001. Risa/Asir Version 940320,950831 A general computer algebra system developed at Fujitsu Laboratory .
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.
Computer Algebra Systems With Links To GNU TeXmacs (FSF GNU Project)
computer algebra systems with links to GNU TeXmacs. TeXmacs can belinked to several free and proprietary computer algebra systems.
http://www.texmacs.org/Web/Links3.html

Extractions: TeXmacs can be linked to several free and proprietary computer algebra systems. On this page, we only mention the free ones. Giac GTybalt Macaulay 2 Maxima ... Yacas Giac Is A Computer algebra system. The system has been designed by Bernard Parisse and is under active development. GTybalt is a free computer algebra system which is built on top of GiNaC, CLN and a program to interpret C and C++ commands. gTybalt, which is still in an experimental stage, is maintained by Stefan Weinzierl . Some of the main features of gTybalt are the following: 3. Macaulay 2
Computing Services - Computer Algebra
computer algebra. It is not widely appreciated that computers canbe used to perform calculations using symbols as well as numbers
http://www.lboro.ac.uk/computing/apps/algebra.html

61-80 of 124 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20