61. Department Of Pure Mathematics And Computer Algebra http://cage.rug.ac.be/zwc/

If your browser doesn't support frames, go to this site

62. 8th Rhine Workshop On Computer Algebra Category Computers Algorithms Conferences Past Conferences http://www.uni-mannheim.de/RWCA/

Navigation ohne Frames Navigation ohne Frames

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

The Collection of 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 Boolean operators: and and or . Use to group boolean subexpressions. Example: (specification or verification) and asynchronous Information on the Bibliography Author: (email mangled to prevent spamming) 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

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

The Collection of 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 Boolean operators: and and or . Use to group boolean subexpressions. Example: (specification or verification) and asynchronous Information on the Bibliography Editor: (email mangled to prevent spamming) Browsing the bibliography Original source: ftp://ftp.inf.ethz.ch ... (Format: bibtex) Bibliographic Statistics Types: article(76), incollection(70), book(12), techreport(11), misc(2), phdthesis(1) Fields: author(172), title(170), year(168), pages(131), keywords(101), volume(98), publisher(78), address(77), journal(75), booktitle(70), editor(59), series(28), key(24), number(15), type(8), howpublished(7), note(6), institution(5), annote(1) Distribution of publication dates: liinwwwa@ira.uka.de

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

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

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

68. Savannah: Project Info - Axiom Computer Algebra System Savannah Free Software project for revival of Axiom as open source. http://savannah.nongnu.org/projects/axiom

Login Status: NOT LOGGED IN Why Log In? Login via SSL New User via SSL Savannah Connection Get Support Project Help Wanted Hosted Projects List Savannah Information User Docs (FAQ) Admin Docs Statistics System Information ... Contact Us GNU Project Coming Events Brave GNU World Free Software Directory Help GNU ... Licenses List Search Software/Group People Require All Words Axiom Computer Algebra System - Summary Public Areas: Main Homepage Bugs Support ... Files This project is not part of the GNU Project. Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions.

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

2001 Conference on Applications of Computer Algebra ACA'2001: An Albuquerque odyssey ... May 31-June 3, 2001 Technical Vocational Institute Albuquerque New Mexico , USA ACA'2001 will be held jointly with the NMMATYC (New Mexico Mathematical Association of Two-Year Colleges) 12th Annual Conference , which will be held June 1-3 at also at TVI Organizers: General Chair Bill Pletsch Program Chair Stanly Steinberg 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 the names of the organizers, email addresses of the organizers, the title of the special session, a short abstract describing the special session, and a list of proposed speakers 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 Sponsors/Collaborators: Albuquerque Technical Vocational Institute Cotopaxi IMACS International Association for Mathematics and Computers in Simulation NSA The National Security Agency (USA) Prentice-Hall Further information about IMACS is available as well as information on joining IMACS and the ACA Technical Group.

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

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

71. Computer Algebra Research Group @ WLU Department of Physics and Computer Science of Wilfrid Laurier University, Waterloo, Ontario, Canada .Category Computers Algorithms Computational Algebra Research Groups......computer 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/

Home Research Members CVS Modules ... 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. Research Topics: Last updated: March 12 th Webstat PHP Setup

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

Projects, Packages, and Notes 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

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

CASA Computer Algebra System for Algebraic Geometry 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

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

Computer Algebra Division !!! New !!! You can now discuss about Symbolic Calculus or related subjects on the new forum of the CSO Welcome to the CSO. Our tasks are to provide computer facilities and expertise for using most of the available computer algebra systems (Maple, Reduce, Cayley, Magma, Mathematica, Axiom, Gap, Lie) and to develop computer algebra methods for solving differential equations (see projects). Contact Members Projects Cours ... Le Forum du CSO Contact Calcul Symbolique sur Ordinateur blvd du Triomphe. B-1050 Bruxelles (Belgium) Fax e-mail cso@ulb.ac.be Members Jean-Louis Colot, coordinator ( mail Gerald HOUART , system manager ( mail Jacqueline Sengier, responsable ( mail mail Projects The CSO is involved in a European ESPRIT working group called CATHODE. Within this group, we are developping a software called NODES 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).

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

Lehrstuhl Prof. Weispfenning Dienstag 18 Mär 2003 07:29 MAS - The Modula-2 Algebra System The current version of MAS is 1.00, released 27 Oct 1996. Announcement of version 1.00 README for version 1.00 Description of MAS Getting MAS (by ftp) ... MAS - Interactive Usage (PostScript, long!) MAS - Specifications, Definition Modules, Indexes (PostScript, very long!) Compiling, porting and modifying MAS (PostScript). Send remarks, bug-reports, questions about MAS to mas@alice.fmi.uni-passau.de http://www.fmi.uni-passau.de/algebra/projects/mas.php3 Validate A. Seidl

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

Welcome to David Stes' homepage ! Most of the links that you will find here, relate to Computer Algebra and object-oriented programming languages : Elliptic Curve Cryptography extensions to Open SSL Computer Algebra Kit for Squeak Computer Algebra Kit for Portable Object Compiler Text on why I use Objective-C for the Polynomial Object (March 1996) Text on Blocks for Objective-C (March 1998) Text on Producer (from 1986) which I converted to HTML and put on the web (with permission) HTML version of the Objective-C FAQ SafeRelay and ipmenu utilities Address: David Stes, Email: stes@pandora.be Public Keys : steskey.asc and stescrypt.asc My X509 Certificate (PEM encoded) signed by my own Root Certificate Authority : [application/x-x509-ca-cert] or the PEM encoded version [application/pkix-cert]

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

78. Rings And Computer Algebra Rings and computer algebra software, part of OpenXM.Category Science Math Algebra Software......Rings 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/

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.

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

Computer algebra systems with links to GNU TeXmacs 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 1. Giac Giac Is A Computer algebra system. The system has been designed by Bernard Parisse and is under active development. 2. GTybalt 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: Object Oriented: gTybalt allows symbolic calculations within the C++ programming language. Efficiency for large scale problems: Solutions developed with gTybalt can be compiled with a C++ compiler and executed independently of gTybalt. Short development cycle: gTybalt can interpret C++ and execute C++ scripts. Solutions can be developed quickly for small-scale problems, either interactively or through scripts, and once debugged, the solutions can be compiled and scaled up to large-scale problems. 3. Macaulay 2

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

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