121. Department Of Computer Algebra Department of computer algebra. Members, research projects and computer algebra resources. Site in Hungarian and English. http://compalg.inf.elte.hu/

Tartalom: Projektek H-1117 Budapest Telefon: Mail: 1518 Budapest Pf. 32. Fax:

122. Visual Math For Java It is online symbolic math and computer algebra system, powered by SymbMath. It can perform exact, numeric, symbolic and graphic computation, http://did.mat.uni-bayreuth.de/~wn/BLK/CAS/vmath21/VisualMath.html

Visual Math For Java 2.1 Dr. Weiguang Huang 124 Eastern Avenue, Kingsford, Sydney, NSW 2032, Australia Phone: (61 2) 96620516 http://showing.home.ml.org/ http://www.bigfoot.com/~VisualMath/ VisualMath@bigfoot.com, showing@bigfoot.com It is online symbolic math and computer algebra system, powered by SymbMath visualmath@bigfoot.com Home

123. RelMiCS8 8th International Conference on Relational Methods in computer Science; in combination with the COST 274 / TARSKI Workshops and the 3rd International Workshop on Applications of Kleene algebra. Brock University, St. Catharines, Ontario, Canada. 2226 February 2005. http://www.relmics8.org/

Sorry, you don't appear to have frame support. Go here instead -

124. IBFI Schloss Dagstuhl - Dagstuhl Seminar 03021 The idea is roughly that computer algebra should communicate mathematical data This equality is perfectly valid from the computer algebra viewpoint, http://www.dagstuhl.de/03021/

SCHLOSS DAGSTUHL INTERNATIONAL CONFERENCE AND RESEARCH CENTER FOR COMPUTER SCIENCE Dagstuhl Seminar 03021 Home Page Dagstuhl-Seminars Verification and Constructive Algebra Seminar Data This seminar is granted by the HLSC programme of the European Community. Seminar Materials List of participants with talks + materials List of participants with adresses From outside of Dagstuhl this list is only accessible via anonymous login. Use "anonymous" as user id and your e-mail address as password. (Works similar to anonymous ftp.) Seminar Participants Group Picture Seminar Participants Group Picture Seminar Report General Presentation The meeting was an attempt to bring together people from different communities: constructive algebra, computer algebra, designers and users of proof systems. Though the goals and interests are distinct, the meeting revealed that there is a strong core of common interests, the main one maybe the shared desire to understand in depth mathematics concepts in connections with algorithms and proofs. An interaction appears thus to be possible and fruitful. One outcome of this week was the decision to create a European group under the acronym MAP for "Mathematics: Algorithms and Proofs". As we said in our proposal: "If there is enough common interests and good interactions during the week, the Dagstuhl seminar could be the starting point of a european proposal on the same topic, with more ambitious goals." This is indeed what happened. We would like at this point to thank the team of Schloss Dagtuhl. The exceptional working conditions we enjoyed there played an important rôle in the success of the meeting.

125. 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 Saturday 17 Sep 2005 00:33 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

126. 2005 Conference On Applications Of Computer Algebra (ACA'2005) ACA 2005 homepage has been moved to http//www.jssac.org/Conference/ACA/. http://www.hpc.cs.ehime-u.ac.jp/ACA2005/

ACA'2005 homepage has been moved to http://www.jssac.org/Conference/ACA/

127. Modern Computer Algebra - Cambridge University Press Courses computer algebra, Symbolic Computation, Analysis of Algorithms, computer algebra systems are gaining importance in all areas of science and http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521826462

128. Centre For Teaching Mathematics, University Of Plymouth, UK - IJCAME Home Formerly the International Derive Journal. Offers contents and abstracts. http://www.tech.plym.ac.uk/maths/CTMHOME/ijcame.htm

C entre for T eaching M athematics School of Mathematics and Statistics University of Plymouth Home People Mathematics Enrichment Activities Continuing Professional Development ... Resources The International Journal for Technology in Mathematics Education (IJTME) ISSN: 1362-7368 (formerly the International Journal of Computer Algebra in Mathematics Education) Aims and Scope How to Subscribe Editorial Team How to Submit a Paper Abstracts of Research papers can be found for the past volumes: Volume 4 Volume 5 Volume 6 Volume 7 ... Back to CTM Home

129. Hans-Wolfgang Loidl's Home Page computer algebra Related Info. This page contains a collection of links to pages information to computer algebra systems, algorithms, applications etc. http://www.tcs.informatik.uni-muenchen.de/~hwloidl/ca-stuff.html

Computer Algebra Related Info This page contains a collection of links to pages that contain information to computer algebra systems, algorithms, applications etc. RISC Linz Waterloo Maple Symbolic Computation Group , at the University of Waterloo Maple Guides etc Mathematica , by Wolfram Research GAP MAGMA Home Page cached announcement of V2.2 ... Maxima (now under GPL) MuPAD Yacas , yet another computer algebra system SymbolicNet , Symbolic Mathematical Computation Information Center Docon a computer algebra system written in Haskell Singular Computer Algebra System CoCoa Link List to Mathemtics Software Not Computer Algebra but related (sort-of): Numerical Recipes in C , on-line book PARI A package for number theory and simple numerical analysis Parallel LU Factorization of Block-Diagonal-Bordered Sparse Matrices , on-line paper Last modified: Tue May 28 17:54:53 2002 Stardate: [-30]8528.52

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

131. Fields Institute - Industry, Mathematics And Computer Algebra Workshop on Industry, Business, Mathematics and computer algebra The Ontario Research Centre for computer algebra (ORCCA) performs fundamental research http://www.fields.utoronto.ca/programs/cim/02-03/INDACA/

COMMERCIAL AND INDUSTRIAL MATHEMATICS September 16, 2005 Home About Us NPCDS/PNSDC Mathematics Education ... Search W orkshop on Industry, Business, Mathematics and Computer Algebra A workshop on the practical application of mathematics and modern computing tools in industry and business. Friday, 25 October 2002 Sponsored by Ontario Research Centre for Computer Algebra Registration Housing and Hotels Visitor Information Keynote Lectures Schedule ... About the Sponsors In today's highly competitive business environment, many professionals in business and industry are facing analytical and design challenges that require ever more sophisticated approaches and tactics. This unique meeting will bring together people from industry, universities, and the software industry who share a common interest in using advanced mathematical modelling and sophisticated computing techniques such as computer algebra. The meeting will address the complex challenges faced by modern industry. Professionals in business and industry will find it a useful introduction to techniques to improve their analytical and design processes. The conference is a part of the outreach mandate of the Ontario Research Centre for Computer Algebra, and the Fields Institute to support the ongoing education of the professional public on the benefits of mathematical and computer algebraic techniques.

132. Webopc4 UB Braunschweig - CS E - Schaltungen, Boole-Algebra, Computer-Arithmetik algebra, computer-Arithmetik http://sunny.biblio.etc.tu-bs.de:8080/CHARSET=ISO-8859-1/DB=1/LNG=DU/UBBS_LS_CS_

suchen (oder) suchen (und) alle Wörter [ALL] Person, Autor [PER] Titelstichwörter [TIT] Titelanfänge [TAF] Stichwörter Serie/Zeitschrift [SER] Titelanfang Zeitschrift/Serie [ZTI] Schlagwörter [SWW] Basisklassifikation [BKL] Stichwörter Körperschaft [KOR] Stichwörter Kongress [KON] Ort,Verlag als Stichwörter [PUB] alle Nummern (ISBN, ISSN, ...)[NUM] Signatur [SGN] sortiert nach Erscheinungsjahr sortiert nach Relevanz CS E - Schaltungen, Boole-Algebra, Computer-Arithmetik CS E 300 Lehrbücher, Einführungen CS E 700 VLSI in der Computertechnik

133. COCOA SCHOOL COmputational COmmutative algebra and International School on computer algebra. Corte Rosada Hotel Porto Conte, Italy; 2326 May 2005. http://cocoa.dima.unige.it/conference/schooliv/

COCOA International School on Computer Algebra Hotel Corte Rosada Porto Conte, Italy 23-26 May, 2005 Preliminary announcement First announcement Second announcement After the school ... CoCoA Home Page After the school... Course 1 Juan Migliore Experiments in Commutative Algebra and Algebraic Geometry tutor: Martin Kreuzer Course 2 Serkan Hosten The Combinatorics of Syzygies tutor: Anna Bigatti Minicourse John Abbott Modular methods in CoCoA photos by Lorenzo Robbiano , by Montserrat Manubens , by John Abbott slides The Combinatorics of Syzygies Lecture 1 Lecture 2 Lecture 3 notes Experiments in Commutative Algebra and Algebraic Geometry notes (preliminary) Modular methods notes (preliminary) tutorials The Combinatorics of Syzygies Modular methods Euclid.coc BigGCD.coc BenOr-Tiwari.coc GBCoeffSize.coc ... Sundries.coc

134. Derive 2000 TI-89 computer algebra in Mathematics Education. Fourth International DERIVETI92/89 conference at Liverpool John Moores University. http://www.cms.livjm.ac.uk/derive2k/

This page has been ac Liverpool John Moores University times since 29th September 1999 To contact us: Fax: (+) 44 151 207 4594 Email: derive2k@livjm.ac.uk Homepage Conference Registration Conference Schedule Keynote Speakers ... Accommodation

135. ULB - Computer Algebra Division Home page for the computer algebra Division at the Université Libre de Bruxelles. http://cso.ulb.ac.be/

Computer Algebra Division !!! New !!! Consultation des e-mails ULB : webMail ULB Visit our new web site (yet under construction) 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).

136. SIMATH Homepage computer algebra system for number theoretic applications. http://tnt.math.metro-u.ac.jp/simath/

Welcome at SIMATH! ABOUT SIMATH SIMATH is a computer algebra system, especially for number theoretic purpose. A more detailed overview (as dvi file) or (the TeX Source) The center of development and maintainance of SIMATH is now in TMU (Tokyo Metropolitan University).our present policy and an aim (as dvi file) or (as ps file) DOWNLOAD Download the SIMATH package. : you should first read. Some installation hints : perhaps you should also read before download. The SIMATH manual is also available (as div file) . The TeX-Source of this file is distributed together with the SIMATH system. If you have problems with downloading the tar archive you can try to get the files splitted MAILING LIST 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 including the line info in the message of the mail in order to get information on the mailing list, and include the line subscribe in order to join the mailing list for discussing anything related to SIMATH.

137. MATHnetBASE: Mathematics Online Handbook of computer Vision Algorithms in Image algebra, Second Edition. Gerhard X. Ritter Joseph N. Wilson. Read it Online! Buy it Today! http://www.mathnetbase.com/ejournals/books/book_summary/summary.asp?id=888

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

Anti Software Patents Demonstration Stop the nonsense, Stop the fraud! For the last few years the European Patent Office (EPO) has, contrary to the letter and spirit of the existing law, granted more than 30000 patents on computer-implemented rules of organisation and calculation (programs for computers). Now Europe's patent movement is pressing to consolidate this practise by writing a new law. Some of these patents may be impossible to work around, because they are broad or because they are part of communication standards. Evidence from economic studies Advances in software are advances in abstraction. While traditional patents were for concrete and physical inventions , software patents cover ideas means of trapping data in an emulated environment When software is patentable, anything is patentable! For more information about software patents in Europe, visit this website: swpat.ffii.org 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 ... 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.

139. Ecole Polytechnique - Computer Algebra Ecole Polytechnique computer algebra. GAGE s logo - computer algebra Sciences et Techniques de l Information et de la Communication - STIX http://www.polytechnique.edu/page.php?MID=94

140. 1995 IMACS Conference On Applications Of Computer Algebra First IMACS Conference on Applications of computer algebra. University of New Mexico, Albuquerque, New Mexico, USA; 1619 May 1995. http://math.unm.edu/ACA/1995.html

1995 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra May 16-19, 1995 University of New Mexico Albuquerque, New Mexico, USA Contents: Electronic proceedings A list of the attendees A description of the meeting. Conference details: The conference program The schedule for the meeting. Maps of New Mexico (AAA) Albuquerque showing the meeting and hotel locations (31K) the University of New Mexico campus the meeting area on the UNM campus Albuquerque area attractions Pictures of the University of New Mexico campus. Join the list of interested parties Conference proceedings and publishing papers. Future meetings at RISC and MHPCC. Further information about IMACS is available, as well as the IMACS calendar of events . There is also information on joining IMACS and the ACA Technical Group You can also find out about the Department of Mathematics and Statistics at the University of New Mexico as well as about other places in New Mexico For more information on symbolic computing or computer algebra, consult the

Page 7     121-140 of 179    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20