Geometry.Net - Math_Discover: Algebra Computer


Home - Math_Discover - Algebra Computer

e99.com Bookstore

Images

Newsgroups

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

Algebra Computer: more books (100)

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference ... Computer Science and General Issues)
Logic and Algebra of Specification (NATO ASI Series / Computer and Systems Sciences)
Algebra, Combinatorics and Logic in Computer Science (Colloquia Mathematica Societatis Janos Bolyai)
Computer Algebra in Scientific Computing: CASC 2000
Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 9-11, 1990. Proceedings (Lecture Notes in Computer Science)
Computer Algebra: Symbolic and Algebraic Computation (Computing. Supplementum)
Perturbation Methods, Bifurcation Theory and Computer Algebra (Applied Mathematical Sciences) by Richard H. Rand, Dieter Armbruster, 1987-10-05
Initial Computability, Algebraic Specifications, and Partial Algebras (International Series of Monographs on Computer Science) by Horst Reichel, 1987-12-03
Computers in Algebra (Lecture Notes in Pure and Applied Mathematics)
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)
Computer Algebra: EUROCAM '82, European Computer Algebra Conference, Marseilles, France, April 5-7, 1982 (Lecture Notes in Computer Science) (v. 144)
Computer Algebra Systems: A New Software Toolbox for Maple by Victor Aladjev, 2004-09-07
Relativity and Scientific Computing: Computer Algebra, Numerics, Visualization
Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)

lists with details

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

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

Extractions: INTERNATIONAL CONFERENCE AND RESEARCH CENTER FOR COMPUTER SCIENCE Dagstuhl Seminar 03021 Home Page Dagstuhl-Seminars Verification and Constructive Algebra 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 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.
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
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/
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
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

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

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

Extractions: 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
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/
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/
ULB - Computer Algebra Division
Home page for the computer algebra Division at the Université Libre de Bruxelles.
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).
SIMATH Homepage
computer algebra system for number theoretic applications.
http://tnt.math.metro-u.ac.jp/simath/

Extractions: If you have problems with downloading the tar archive you can try to get the files splitted 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.
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
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: Anti Software Patents Demonstration 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.
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
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

Extractions: Albuquerque, New Mexico, USA Contents: Maps of 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

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