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

122. Textbooks - Cambridge University Press Algorithmics, Complexity, computer algebra,Computational Geometry Modern computer algebra. 2nd Edition; Joachim von zur Gathen, Jürgen Gerhard http://www.cambridge.org/uk/textbooks/?subject=723

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

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

125. Education.ti.com - Home Compact, easy to use, reliable computer algebra software. It intelligently applies the rules of algebra, trigonometry, calculus and matrix algebra to solve a wide range of mathematical problems. This nonnumeric approach goes far beyond the capabilities of dedicated statistics packages and equation solvers that use only approximate numerical techniques. http://www.ti.com/calc/docs/derive.htm

Welcome, please sign in My Pick-Up Window Products Training ... global sites TI's integrated portfolio - research-based technology and services designed for improved student learning. Real time, real results classroom learning system Find your TI solution. Tell us your course and we'll point you in the right direction. Select your course Algebra Biology Calculus Chemistry Earth Science Engineering Finance General Use Geometry Middle Grades Math Middle Grades Science Physics Real Estate Statistics products Handheld technology, software and accessories for every class. activities Online subscriptions, videos, activity books and much more. training On-site and online training, conferences and professional development for teachers. resources for you Regional information, success stories, useful links and more to support your classroom needs. get connected! Join Discussion Groups Sign up for eNewsletters about us ... career opportunities Know what you're looking for? Get started Activity Books Apps and OS versions Computer Software Guidebooks/Manuals StudyCards™ resources Success Stories TI Connect Tutorials Where to Buy Workshop Loan document.write(image);

126. Computer Algebra Systems And Cryptography computer algebra Systems and Cryptography. Teacher Marc Deléglise (Marc.Deleglise à igd.univlyon1.fr) Classwork teacher Xavier Roblot (Xavier. http://www.ens-lyon.fr/DMI/MIM/2005-2006/english/licence/webLicenceEng009.html

Computer Algebra Systems and Cryptography Teacher: Marc Deléglise ( Marc.Deleglise à igd.univ-lyon1.fr Classwork teacher: Xavier Roblot ( Xavier.Roblot à igd.univ-lyon1.fr Teaching language: French, English on request Abstract This course begins with some basic elementary arithmetic about integers, congruences, quadratic residues, finite fields. It presents the factorisation of polynomials. It then describes modern tools and algorithms for cryptography: modular exponentiation, elliptic curves, LLL, RSA, integer factorisation. Prerequisites: Basic notions of arithmetic and algorithmic Bibliography: Knuth (D.E.).- The Art of Computer Programming, vol. 2. Addison Wesley, 1981. Cohen (H.).- A Course of Computational Algebraic Number Theory, Springer Verlag, 1993. Mignotte (M.).- Mathématiques pour le calcul formel, PUF, 1989. MacWilliams and Sloane.- The theory of error-correcting codes, North-Holland, 1977. Koblitz (N.)., - A course in Number Theory and Cryptography, Springer Verlag 1987. Stinson (D.), - Cryptography - Theory and Practice, CRC Press, Inc., 1995. Crandall (R.), Pomerance (C.). Prime Numbers. A computational Perspective. Springer 2000.

127. Computer Algebra Group -- Computer Algebra At RISC computer algebra is that part of computer science which designs, analyzes, While it is arguable whether computer algebra is part of computer science or http://www.risc.uni-linz.ac.at/research/compalg/description/

about welcome! the castle of hagenberg partners ... software search: sitemap Computer Algebra at RISC Computer algebra is that part of computer science which designs, analyzes, implements, and applies algebraic algorithms. (Buchberger, Loos) n terms of a power series solution by exact methods from computer algebra before handing these terms over to a numerical package for evaluating the power series.

128. Kan/sm1 Rings and computer algebra software, part of OpenXM. http://www.math.sci.kobe-u.ac.jp/KAN/

Kan/sm1 Kan/sm1 (19912003) is a system for computing in the ring of differential operators D (and difference operators, ...). Download The latest version of kan/sm1 is obtainable as a part of the OpenXM package. Access to the OpenXM home page to download the OpenXM package . After downloading, build the system following the instruction included. The system "sm1" will be built under OpenXM/bin. The system has been tested on cygwin (windows), Debian, and FreeBSD. Documents Documents for kan/sm1 is here $Id: index-kan.html,v 1.2 2003/09/22 07:22:10 taka Exp $ Archives 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.

129. Webserver Maxima A GPL CAS based on DOE-MACSYMAMaxima - a sophisticated computer algebra system. Maxima Logo Macsyma was the first of a new breed of computer algebra systems, leading the way for http://www.rrz.uni-koeln.de/REDUCE/

ERROR The address www.rrz.uni-koeln.de is not used as webserver. Please use www.uni-koeln.de instead. The full URL is http://www.uni-koeln.de/REDUCE/

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

1997 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra Aston Wailea Resort Wailea, Maui, Hawaii, USA July 24-26, 1997 General Chair Michael Wester Program Chairs Jacques Calmet Vladimir Gerdt Local Arrangements Stanly Steinberg Nicolas Robidoux Partially supported by Albuquerque Resource Center IBM Research Maui High Performance Computing Center National Security Agency 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: Electronic proceedings Registered attendees summary A description of the meeting Final program [ DVI PostScript Maui Activities on Maui, climate and a map of the island About the Aston Wailea Resort and plans and pictures of the hotel Making reservations at the Aston Wailea Getting to Maui and the Aston Wailea Conference proceedings and publishing papers Join the list of interested parties!

131. PARI/GP Development Headquarter PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves. http://pari.math.u-bordeaux.fr/

Main: PARI/GP? Download Search Support: FAQ Documentation Mailing Lists Links Development: CVS Last Changes Buildlogs Bugs ... WWW Stats PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations. Originally developed by Henri Cohen and his co-workers (Université Bordeaux I, France), PARI is now under the GPL and maintained by Karim Belabas with the help of many volunteer contributors. PARI is a C library, allowing fast computations. gp is an easy-to-use interactive shell giving access to the PARI functions. GP is the name of gp's scripting language. , the GP-to-C compiler, combines the best of both worlds by compiling GP scripts to the C language and transparently loading the resulting functions into gp. (gp2c-compiled scripts will typically run 3 or 4 times faster.) gp2c currently only understands a subset of the GP language. PARI/GP Development Last Modified: 2005-09-05 16:03:22 the PARI group

132. CANdiensten - Your Partner In Mathematics And Statistics Commercial offshoot of CAN (computer algebra Nederland) specialising in software, courses and consultancy in mathematics and statistics. http://www.candiensten.nl/english/

133. CAOP: Computer Algebra And Orthogonal Polynomials CAOP computer algebra and Orthogonal Polynomials. CAOP is a package for calculating formulas for orthogonal polynomials belonging to the Askey scheme by http://amstel.science.uva.nl:7090/CAOP/

CAOP: Computer Algebra and Orthogonal Polynomials CAOP is a package for calculating formulas for orthogonal polynomials belonging to the Askey scheme by Maple (at present Maple 9). With the present version users can compute recurrence relations, differential and difference equations or make a plot of every polynomial in the Askey scheme, without having Maple installed on their own computer. It is also possible to multiply the polynomial by a scaling function, to change the argument and to give values to the parameters by filling out a form, before doing the calculation. As an extra option the user can choose the layout of the output: prettyprint, lineprint or LaTeX. The latter two options make it possible to insert the output in another Maple worksheet respectively in a LaTeX document by a simple mouse-action. Furthermore there are some help pages available for users who are not familiar with Maple. They can be viewed simultaneously while filling in the form. Most computations in CAOP are performed by calling procedures in Wolfram Koepf , University of Kassel).

134. Gert Vegter University of Groningen Geometric computing, computer algebra, and dynamical systems. http://www.cs.rug.nl/~gert/

Prof.Dr. Gert Vegter I can be reached at: University of Groningen Institute for Mathematics and Computing Science, room 126 P.O. Box 800, NL 9700 AV Groningen, Netherlands Telephone +31 50 363.3930, Telefax: +31 50 363.3800 E-mail: gert@cs.rug.nl Research interests Geometric Computing Computational Topology Dynamical Systems Recent publications ... Computational Topology: some Snapshots (slides from a talk at Dassault, Paris (Fr), 31 March 2000) Version with two slides per page Onderwijs Vacancies PhD Research position for the project Geometry of Resonance Tongues.

135. IBFI Schloss Dagstuhl - Dagstuhl Seminar 05391 In contrast, most algorithms in computer algebra are never failing , Selfvalidating and computer algebra methods aim on the reliable solution of http://www.dagstuhl.de/05391/

SCHLOSS DAGSTUHL INTERNATIONAL CONFERENCE AND RESEARCH CENTER FOR COMPUTER SCIENCE Dagstuhl Seminar 05391 Home Page Dagstuhl-Seminars Algebraic and Numerical Algorithms and Computer-assisted Proofs B. Buchberger (Univ. Linz, AT), S. Oishi (Waseda Univ., JP), M. Plum (Univ. Karlsruhe, DE), S. M. Rump (TU Hamburg-Harburg, DE) Seminar Data Seminar Materials List of participants with talks + materials Short description and aims of the seminar Recently, a number of problems have been solved by so-called computer-assisted proofs, among them the celebrated Kepler conjecture, the proof of existence of chaos, the verification of the existence of the Lorenz attractor, and more. All those problems have two things in common: first, the computer is used to assist the proof by solving certain subproblems, and second these subproblems are of numerical nature. Those algorithms are frequently executed in exact arithmetic over the field of rationals or an algebraic extension field using well known methods from computer algebra. The problems mentioned in the first paragraph are continuous in nature. Tehy can be solved by so-called verification or self-validating methods. Basically, self-validating methods verify the validity of assertions of certain theorems which are formulated in such a way that validation is possible by means of numerical computations. The main point is that this validation is absolutely rigorous including all possible procedural or rounding errors. On the one hand, the use of finite precision arithmetic implies very fast calculations, but on the other hand it limits the scope of applicability.

136. Modern Computer Algebra, 2 Edition Modern computer algebra, 2 edition. Modern computer algebra, 2 edition. Purchase this Book Purchase this Book. Source. Pages 800. Medium Hardcover http://portal.acm.org/citation.cfm?id=945759

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

Mirrors: CTU, Prague, Europe and UNM, Albuquerque, USA ACA'98 1998 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra Czech Technical University Prague Czech Republic August 9-11, 1998 Just before ISSAC'98 , August 13-15, Rostock, Germany Sponsors: Ministry of Education of Czech Republic Czech Technical University Faculty of Nuclear Sciences and Physical Engineering Texas Instruments Inc. ... Wolfram Research Inc. General Chair Richard Liska Program Chairs Victor Edneral Organizing Committee Stanly Steinberg Michael Wester Local Arrangements: Jiri Limpouch Milan Sinor Petr Kapusta Faculty of Nuclear Sciences and Physical Engineering ... Czech Technical University 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?

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

139. Chartwell-Yorke Mathematics ICT 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. http://www.chartwellyorke.com/

Chartwell-Yorke Ltd, 114 High St, Belmont, Bolton, Lancs, BL7 8AL, UK, tel 01204 811001 fax 01204 811008 info@chartwellyorke.com Autograph 3 Cabri Geometry II Plus Cabri 3D Derive 6 ... Autograph 3 - the ultimate graphing, coordinate geometry and single-variable statistics package. Lots of uses at KS3, KS4 and above. See the Flash video tutorials. Cabri Geometry II Plus lets you dynamically explore Euclidean, transformational and coordinate geometry. Vectors, conics, equations of lines, much more. Reviews. Cabri 3D Construct, manipulate and explore solid geometry with Cabri 3D in just a few clicks with this exciting and revolutionary new software. New version 1.1 free trial and introductory guide just uploaded. Derive 6 Explore symbolic and numeric maths solutions from school to professional level. Particularly useful at KS4 and above. New version 6 shows calculus steps, exchanges data with TI calcs, has sliders to change values, and more. Demo Tutorials Reviews Fathom Dynamic Data v2 software for data handling and statistics at KS3, KS4 and A-Level.

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

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