141. Felix computer algebra system for computation in commutative and noncommutative rings and modules. Win32, Unix. http://felix.hgb-leipzig.de/

Authors Joachim Apel, Uwe Klaus Title Felix Short description Special computer algebra system for the computation in commutative and non-commutative rings and modules. The central method is Buchberger's algorithm and its generalizations to non-commutative rings, in particular to free k-algebras and algebras of solvable type. Among the implemented applications there are syzygy computations and basic ideal operations. Felix provides a complete programming language which in standard mode is interpreted but also on-line compiler and linker are included. Platforms Windows, Windows NT, OS/2 Linux NetBSD Solaris System requirements PC with 80386 processor or higher SUN Sparc v8 Installation Guide More information/updates at Computer algebra group at Leipzig university Felix's home Contact e-mail: apel@mathematik.uni-leipzig.de uklaus@hgb-leipzig.de

142. Workshop Workshop on computer algebra and Representation Theory Representation theory of groups of Lie type using computer algebra. Lunch break http://www.mathematik.uni-bielefeld.de/~sek/workshop2000.html

Workshop on Computer Algebra and Representation Theory September 25 - September 27, 2000 The workshop is partially supported by the European TMR program. A main aim of this workshop will be to bring together areas which are related to representation theory of algebras in order to see how computer algebra is used and to obtain stimulations for the further work and possible cooperations. Monday, September 25 H 3 Opening H 3 G. Michler (Essen): Uniform existence proofs for the sporadic simple groups not contained in the monster H 3 M. Kratzer (Essen): Uniform and natural existence proofs for Janko's sporadic groups J and J Coffee H 3 A. Lascoux (Marne-la-Vallee): Double crystal graphs Lunch break H 3 M. Barot (UNAM, Mexico): Classifying equivalence classes of integral quadratic forms H 3 A. Krause (Bielefeld): Algebraic computations in derived categories Coffee H 3 R. Lychman (Kiev): Quadratic forms and coverings: a computer implementation H 3 B. Buchberger (Linz): The Theorema project: logic and algebra Tuesday, September 26 H 3 Hall polynomials for E H 3 D. Guhe (Bielefeld):

143. 1999 IMACS Conference On Applications Of Computer Algebra 5th IMACS Conference on Applications of computer algebra. Euroforum, El Escorial, Madrid, Spain; 2427 June 1999. http://math.unm.edu/ACA/1999.html

1999 IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra June 24-27, 1999 (scientific program June 25-27) Euroforum, El Escorial (near Madrid), Spain imacs-aca99@ccedu.ucm.es Sponsors/Collaborators: Addlink Software Cientifico Cotopaxi IMACS Sociedad Matematica Puig Adam Texas Instruments Universidad Complutense de Madrid Universidad Complutense de Madrid - Servicios Informaticos Organizers: Honorary President : Rafael Puyol (Rector of the Universidad Complutense de Madrid) General Chair Eugenio Roanes-Lozano (Univ. Complutense de Madrid, Spain) Program Chairs Victor Edneral (Moscow State Univ., Russia), Laureano Gonzalez-Vega (Univ. de Cantabria, Spain), Jaime Gutierrez (Univ. de Cantabria, Spain) Richard Liska (Czech Technical University, Czech Republic) Organizing Committee Stanly Steinberg (Univ. New Mexico, USA), Michael Wester (Cotopaxi, USA), Eugenio Roanes-Macias (Univ. Complutense de Madrid, Spain)

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

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

145. Codemist Ltd Software provider in compilers and symbolic computation. The main products are the Norcroft C compiler and the computer algebra system Reduce, together with the Lisp system CSL/CCL. Demo versions available free for download. http://www.codemist.co.uk/

146. Computer Algebra And Computer Analysis We would like to announce the session computer algebra and Computer Researchers in analysis often are not familiar with computer algebra or find its use http://www.mathematik.uni-kassel.de/~koepf/ISAAC2001/CA.html

Session Computer Algebra and Computer Analysis at the 3rd International ISAAC Congress , Berlin, Germany 20-25 August 2001. Photo of the session participants Photo of the plenary speaker Michael Singer Conference Photo (1347 kB) We would like to announce the session Computer Algebra and Computer Analysis of the 3rd International ISAAC Congress ( ISAAC = International Society for Analysis, Applications and Computing; this NOT the ISSAC!) which will take place in Berlin from 20-25 August 2001, see http://www.math.fu-berlin.de/~isaac The Second Announcement with further information and a registration form can be obtained from http://www.mathematik.uni-kassel.de/~koepf/ISAAC2001/secannounce.html The meeting offers sessions in a wide variety of topics primarily circling around applied analysis. Session VII.4 is devoted to Computer Algebra and Computer Analysis , and will be organized by Karin Gatermann , Berlin ( gatermann@zib.de ) and Wolfram Koepf , Kassel ( koepf@mathematik.uni-kassel.de Researchers in analysis often are not familiar with computer algebra or find its use unsuitable for their work. In contrast, we believe that computer algebra can be a very stimulating research tool in analysis. Therefore we would like to put a session program together which is an advertisement for our field, and which presents applications of computer algebra to topics relevant for analysis. In connection with our session Michael Singer (Raleigh, NC, USA)

147. Computer Algebra At JINR, Dubna computer algebra Site in Dubna. computer algebra. at JINR, Dubna. computer algebra at JINR, Systems. CA Group CA Systems Research projects Free CA http://ca-d.jinr.ru/

Computer Algebra at JINR, Dubna Computer Algebra at JINR Systems CA Group CA Systems Research projects Free CA Software Location Literature Dubna Journals JINR Books ... Tutorials Links Events CA Web Sites ACM SIGSAM Seminars ... CA Workshop: Dubna 2005 Last modified: June 10, 2005 by Alla Bogolubskaya Access: since January 1, 2001

148. ACA 2004-LAMAR UNIVERSITY Applications of computer algebra. July 2123, 2004. Beaumont, Texas, USA. Real-Life Interactive News. Current Sessions Current Talks Current Attendees http://buchberger.cs.lamar.edu/ACA2004/index.jsp

149. ACA'2000: 6th IMACS Conference On Applications Of Computer Algebra 6th IMACS Conference on Applications of computer algebra. St. Petersburg, Russia; 2528 June 2000. http://math.unm.edu/ACA/2000/

Mirrors: Steklov Institute of Mathematics at St.Petersburg, Russia and UNM, Albuquerque, USA ACA'2000 6th IMACS Conference on Applications of Computer Algebra International Association for Mathematics and Computers in Simulation Conference on Applications of Computer Algebra St. Petersburg, Russia, June, 25-28, 2000 Steklov Institute of Mathematics at St.Petersburg Euler International Mathematical Institute St.Petersburg Mathematical Society St.Petersburg State University St. Petersburg Center for International Cooperation Sponsored by General Chair Nikolay Vassiliev Program Chairs Victor Edneral, Richard Liska, Michael Wester Organizing Committee Stanly Steinberg Michael Wester Yuri Matiyasevich Anatoly Vershik Local Arrangements: Elena Novikova Nikolay Mnev Vyacheslav Nesterov Sergei Slavyanov Scientific Committee: Bruno Buchberger RISC-Linz, Jacques Calmet Univ. of Karlsruhe, Arieh Cohen Eindhoven Univ.Tech, Rob Corless Univ. of Western Ontario, Andre Deprit Ntl. Bureau of Standarts, Sam Dooley IBM Yorktown Heights, Keith Geddes Univ. of Waterloo

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

151. Symbolic Computation Group, University Of Waterloo Research and development of algorithms for computer algebra, including both symbolic computation and hybrid symbolicnumeric computation. The algorithms developed are incorporated into the Maple computer algebra system. Publications, software, meetings, people. http://www.scg.uwaterloo.ca/

152. GIAC Is A computer algebra system. A semiclassical CAS by Bernard Parisse, available for Windows, Linux. http://www-fourier.ujf-grenoble.fr/~parisse/english.html

Version francaise Computer algebra system Giac/xcas project Xcas on line E-prints Calculators HP CAS Geometry Mathematical physics Publications Preprint Lecture Notes Links Computer algebra system Giac/xcas , a free computer algebra system Giac/Xcas is a free computer algebra system for Windows, Mac OS X and Linux/Unix. It has a compatibility mode for maple, mupad and the TI89. It is available as a standalone program (graphic or text interfaces) or as a C++ library. It's name is derived from GiNaC and means Giac Is A Computer algebra system. Download xcas for Windows Mac OS X Linux PC , or ARM Test the on-line version Discuss xcas on the forum Some documentation is available in English on-line or English PDF or Espanol on-line . The complete documentation is available in French For more information on the Giac/xcas project, visit its homepage E-prints A correct proof of the heuristic GCD algorithm PDF LaTeX Jordan Normal and Rational Normal Form Algorithms , in collaboration with M. Vaughan : PDF LaTeX , source maple/xcas Calculators I'm the main author of the CAS of the HP49G, HP40G, HP49G+ and HP48GII calculators.

153. 8th Rhine Workshop On Computer Algebra Eighth Rhine Workshop on computer algebra. Mannheim, Germany; 2122 March 2002. http://www.uni-mannheim.de/RWCA/

Navigation ohne Frames Navigation ohne Frames

154. ALCCAL.html Algebraic Combinatorics and computer algebra Summer School. Varna, Bulgaria; 314 September 2000. http://www.math.bas.bg/~ALCCAL/

Summer School ALCCAL' 2000 "ALGEBRAIC COMBINATORICS AND COMPUTER ALGEBRA" September 3 - 14, 2000, Varna, BULGARIA First Announcement Place of the ALCCAL'2000 Summer School Main idea Scientific Community Structure of the meeting Method of organization ... Important dates Main idea We are organizing a summer school with the above title in Bulgaria on the coast of Black Sea from September 3 to September 14, 2000. The duration of the summer school will be 12 days, including 8 working days, 2 excursion days and days of arrival and departure. Sponsorship was not sought for the meeting and so we are unable to give any financial support to the participants. Everything is based on the enthusiasm of the organizers and our guests. In a sense the idea of this meeting is similar to the idea of the First International Conference on Algebraic Combinatorics in Vladimir, USSR, August 1991. We think that the present time in Bulgaria is most appropriate: this country is striving to become a major tourist and recreational attraction. Thus we have been able to find reasonable prices at a high level of service. Scientific community Roughly speaking, algebraic combinatorics deals with highly symmetrical combinatorial objects (graphs, designs, codes etc.). What "high symmetry" means can be rigorously formulated in terms of the action of the automorphism group of the object. One of the most beneficial ways to consider this is that the requirement of transitivity (primitivity) of the action of a certain group is substituted by weaker assumption of combinatorial regularity. For example, parallel consideration and classification of rank 3 graphs and strongly regular graphs is one of the areas in algebraic combinatorics. The techniques used in algebraic combinatorics is in a sense an amalgamation of methods from group theory, linear algebra, graph theory, number theory and representation theory. Extensive use of computers and especially of computer algebra packages is an essential feature of this area.

155. GTybalt Home Page An experimental free computer algebra system built on top of GiNaC, CLN and a program to interpret C and C++ commands. http://www.fis.unipr.it/~stefanw/gtybalt.html

gTybalt - a free computer algebra system gTybalt is a free computer algebra system. It is distributed under the terms and conditions of the GNU General Public Licence ( GPL Main Features 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. This is particular important for computer-extensive problems and a major weakness of commercial computer algebra systems. 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. High quality output: Mathematical formulae are visualized using TeX fonts and can easily be converted to LaTeX on a what-you-see-is-what-you-get basis. gTybalt is built on various other packages: The TeXmacs -editor is used to display the output in high quality mathematical typesetting using TeX fonts.

156. Eduscape - E-math Company that develops computer software for algebra, calculus, and differential equations. http://www.eduscape2000.com/

O ur objective at Eduscape is to provide first-class distance learning opportunities for students by developing the best learning software for business and education. Our distance education courseware begins with careful planning and a focused understanding of course requirements and student needs. Human advisors, PHDs in the field of Education and experts in Distance Learning, create a lesson plan based on these requirements. N ext, the appropriate technology is selected to deliver the training. Hard work and dedicated efforts by our programming staff create a rich interactive, multi-media learning program that meets the lesson plans and student requirements. Educators and students use and provide continual feedback on our learning programs. You can sample the quality of our work by selecting the Public Demo link at the top of this page. Eduscape's Learning Tools: W e feel our Internet and CD-ROM courseware, along with your PC, is the ultimate distant learning tool. The courseware uses Real Audio sound clips, digital movies, and hyperlinking to create a rich user experience that allows you to interact with the media, as opposed to the traditional or electronic textbook approach. Flash movies Interactive mathematics Quizzes MS Agent Sound Server ready Cdrom DHTML We are switching servers, thus some of the pages will be temporarily nonfunctional.

157. Nico Benschop Homepg: Associative Digital Network Theory; Powersums, Fermat, War A compendium of papers by Nico F. Benschop on abstract algebra, number theory, computer science and physics. http://home.iae.nl/users/benschop

Welcome to the homepage of Nico F. Benschop John Glenn (77), Shuttle #92: Discovery - 7nov1998 @ Kennedy Space Center... Proficiat! Charles Lindbergh Spirit of St.Louis - 21may1927 @ Le Bourget, Paris... touch down! - - - - - - - And the E xplorative . D iscovery . S pirit goes on ... ;-) - - - - - - - Home email: Mail('n.benschop') . . AmSpade Research Edouard Manet (1882): Chrystal vase + clematis > Some WWWisdom cookies and quotes (beware: with sci.math Core ;-) about: Curiosity and Search "An open mind is a joy forever " Inertia " Climbing Mount Prejudice " Generalize "If a problem is too hard, generalize it " Simplify " We have to fight uphill to rediscover the obvious " Coincidence " Life is fighting entropy " My CV Work Play ff finite fun . . (reflections in the finite)* Intuition : . . Even if you don't see it, you still can smell it ! Remembering Claude Shannon - - - (NB: 28-july-2002) DigNetTh-bk - My new BOOK - ( preface.htm + each Chapter.pdf of 12) : Associative Digital Network Theory an Associative Algebra Approach to Logic, Arithmetic and State Machines (Oct. 2004)

158. Bath University - Department Of Computer Science Department of computer Science. Research themes Computational algebra and geometry; HCI; Multimedia computing; Systems software engineering. http://www.bath.ac.uk/comp-sci/

Undergraduate Students Post-graduate Students Exchange/Visiting Students Undergraduate Admissions ... Coping with Complexity (July '04) Maintained by web support

159. Mathematical Structures In Computer Science Focuses on the application of areas such as logic, algebra, geometry and category theory to theoretical computer science. http://uk.cambridge.org/journals/msc/

Home Journals Features Related Journals Journals By Title By Subject Highlights New Journals 2004 ... Advanced Search Cambridge Alerts Free journal TOC alerts New title information alerts Mathematical Structures in Computer Science Edited by G. Longo CNRS and Ecole Normale Supérieure, Paris, France Editorial Board Instructions for Contributors Advertising Rates Links Aims and Scope Mathematical Structures in Computer Science Print ISSN: 0960-1295 Online ISSN: 1469-8072 Full pricing details Current volume: 15:1 - 15:6, 2005 All issues View a free sample of this journal Cambridge University Press 2005. North America: Order by phone 800-872-7423 (U.S. and Canada) 95-800-010-0200 (Mexico) or 845-353-7500, or by fax 845-353-4141. All other countries: Order by phone (+44 (0)1223 326070) or fax (+44 (0)1223 325150)

160. CS 649 Database Management Systems computer Science course for Database management systems. Has information about SQL and Relational algebra. A DatabaseI course for graduates of the masters program in computer science http://myweb.brooklyn.liu.edu/gnarra/database

Database Management Systems Signin Home Syllabus Assignments ... Contact Home Friday, July 2nd, 2004 The exam grades are posted. You will be able to see them soon on the SIS system. Friday, July 2nd, 2004 The final exam is available now in the handouts section for your reference. I enjoyed teaching this course. Enjoy the rest of summer. Wednesday, June 16th, 2004 The midterm exam along with solutions is available now in the handouts section. Tuesday, June 8th, 2004 Download the SQL Files from the lecture. SQL File with CREATE operations(Oracle and SQL Server) SQL Learn History Monday, June 7th, 2004 Today we will see two topics. Creating Databases Normalization Wednesday, May 26th, 2004 New assignments and handouts from the class are available online. Also Solutions for Assignment#2 and the quiz are available. Thursday, May 20th, 2004 The Assignment #2 is availale in the Assignments section. You could print the datasheet for the SPJ tables from the Handouts section. Wednesday, May 19th, 2004

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