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

142. 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 is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. Print ISSN: 0960-1295 Online ISSN: 1469-8072 Full pricing details Current volume: 14:1 - 14:6, 2004 All issues View a free sample of this journal Cambridge University Press 2004.

143. LiveMath Germany Das Programm LiveMath Maker von Theorist Interactive ist ein computeralgebra-System (CAS). http://www.livemath.de/

Die deutsche Seite zu LiveMath Computeralgebra im Internet kostenlose LiveMathPlug-in. Anwendungsbeispiele LiveMath Galerie LiveMathMaker 3.5 ist bei Cotec Empfehlungen: "Das Programm ist ein modernes, in programmtechnischer Hinsicht ausgereiftes, bequem zu bedienendes und sehr effektives Werkzeug zur Lösung von Problemen in Mathematik, Physik und Technik." c't "Browsererweiterungen wie das LiveMath-Plugin befähigen einen herkömmlichen Browser zur Darstellung von komplexen Funktionen. Schüler können die Bedeutung der verschiedenen Glieder eines Funktionsterms durch eigenes Experimentieren erschließen." Links: LiveMath an der Realschule www.livemath.com LiveMath am Gymnasium info@livemath.de ... Germany - Discover Germany

144. Home Page For The Analytic Topology Research Group Research interests topology of metric spaces, generalised metric spaces, continua, function spaces, hyperspaces, topological algebra, set theoretic methods in topology, and applications of topology to computer science and the theory of differential equations. http://www.maths.ox.ac.uk/atg/

Analytic Topology Research Group About the Research Group Members of the Analytic Topology Research Group at the Mathematical Institute, University of Oxford, are working on a range of topological topics, which include: topology of metric spaces, generalised metric spaces, continua, function spaces, hyperspaces, topological algebra, set theoretic methods in topology, and applications of topology to computer science and the theory of differential equations. The research group has, at present, six members and organises a regular research seminar , usually given by a visiting speaker . In Hilary Term 2003, Rolf Suabedissen is thinking of organising some seminars/classes aimed at graduate students or final year undergraduates: please mail him if you might be interested. If you are interested in doing research in general topology in Oxford, email Dr. P. J. Collins A new website for topological events in the UK. The Birmingham Topology Seminar meets on Fridays at 4pm in G40, the Computer Science Building, at the University of Birmingham. Here is a list of former students from the group. If you have relevant information please let me know.

145. Engr. Allan S. Hugo's Class Web Pages This page is the entry point for several class web pages of Engr. Allan S. Hugo which includes chemistry, mathematics (algebra, analytic geometry, etc.), chemical engineering, and computer programming. http://www.geocities.com/ahugo_classes/index.html

Engr. Allan S. Hugo's Class Web Pages Subjects: computer programming concepts, general chemistry, computer applications in chemical engineering, college algebra, analytic geometry Kindly sign our guestbook August 21, 2001: Something new at cool stuff! Don't miss it. To view class web pages, please see contents below. For articles, please see EXTRA . For entertainment, kindly visit Cool Stuff Looking for me? Please check my schedules I invite you to take a few moments of your time to reflect on the message coming from our daily motivator . This is a wonderful opportunity to fill up your spirit everyday! Your education is more than just academics. It should be more of values. While you are studying, you should inculcate in yourself the right attitudes and cherish those values. Welcome to Engr. Allan S. Hugo's Class Web Pages Search this Site: W elcome. Thank you for visiting our class web pages. My name is Engr. Allan S. Hugo and I am a member of the faculty of chemical engineering of the University of Saint La Salle What you will find here are the courses related to chemistry, computer programming, chemical engineering and mathematics. You will be able to see class notes, handouts and lectures. You will also have the chance to read online tutorials on computer programming plus some available source codes on C programming.

146. Mathematik Mit Computer-Algebra-Systemen Translate this page Mathematik mit computer-algebra-Systemen. Der Ist-Zustand. Alltagsprobleme und reizvolle, durchaus komplexe Problemstellungen, die http://www.learn-line.nrw.de/angebote/cas/

Mathematik mit Computer-Algebra-Systemen (ARCHIV) betreut durch Juergen Rau Home Angebot: Home Mediothek Forum Foyer ... Info Mathematik mit Computer-Algebra-Systemen Der Ist-Zustand Der Weg- das Ziel!

147. Internet Distance Education Academies: CXC Math Software, Caribbean Distance Edu Interactive computer program on algebra designed primarily to the needs of the Caribbean and Latin America. http://RichardPClarke.tripod.com/ideas/

var cm_role = "live" var cm_host = "tripod.lycos.com" var cm_taxid = "/memberembedded" Internet Distance Education Academies About Us Our Services Support Contact Information ... Purchasing Gateway Welcome to the Caribbean's Distance Education Web Site. Our business is about the development of educational software tailored primarily to the needs of the Caribbean and Latin America. CLICK HERE FOR ON-LINE SIMULATION OF EFFECTS OF HURRICANES AND EARTHQUAKES ON CARIBBEAN HOUSES Free CXC Maths 1 Demo software (2.8M) Purchase CXC Maths 1 The products can be used either over the internet, over a LAN or WAN, or standalone. Each product is designed for interactivity which together with graphics technology optimizes the learning process. Our product lines are intended to eventually be components of a total educational experience with special emphasis on the requirements of the Caribbean Examinations Council (CXC) O'Level and A'Level exams for general Caribbean secondary school requirements. We are also developing products for the Trinidad and Tobago Secondary Education Assessment (SEA) exams. Our first available product is Math Term 1. To download (10 mins) a free demo copy please click above and follow the instructions. The system requirements are - Windows 3.x/95/98; a PC compatible above Intel 386, and VGA or SVGA.

148. Practical Foundations Of Mathematics An account of the foundations of mathematics (algebra) and theoretical computer science, from a modern constructive viewpoint by Paul Taylor. Published by Cambridge University Press. HTML approximation. http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/html/summary.html

Practical Foundations of Mathematics Paul Taylor Practical Foundations of Mathematics Paul Taylor Published by Cambridge University Press, 1999, ISBN 521 63107 6. http://www.dcs.qmw.ac.uk/ pt/Practical_Foundations This summary explains which parts of the book are original research or novelties of exposition. The entire text is now accessible on the Web in an approximate HTML translation, so if you are reading the HTML version of this document you can go directly to the parts of the text to which it refers. Richard Knott, email: rknott@cup.cam.ac.uk fax: +44 1223 315 052 tel: +44 1223 325 916 (but other methods are preferable) snail: Cambridge University Press, The Edinburgh Building, Shaftesbury Road, Cambridge, CB2 2RU, UK General description Practical Foundations collects the methods of construction of the objects of twentieth century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic ZF, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. The first three chapters will be essential reading for the design of courses in discrete mathematics and reasoning, especially for the ``box method'' of proof taught successfully to first year informatics students. Chapters

149. Laboratory For Foundations Of Computer Science School of Informatics. A community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity. http://www.lfcs.informatics.ed.ac.uk/

LFCS People Publications Informatics Laboratory for Foundations of Computer Science Home Page The Laboratory for Foundations of Computer Science is a research institute within the School of Informatics at the University of Edinburgh . We are a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity. To find out more, join the LFCS-interest mailing list Events including Tuesday lab lunch The weekly seminar series. The annual Milner Lecture People in LFCS Software including Locally installed packages The Edinburgh Concurrency Workbench The LEGO Proof Checker The PEPA Workbench ... Poly/ML Research including Research Projects Mobile Resource Guarantees The .NET lab APPSEM - Applied Semantics GAMES network Some recent publications Our technical report archive. How to apply for a PhD place Staff research interests Teaching including The Theory Postgraduate Course Handbook ( postscript Local links Activities and information Theory seminars Lab lunch specification club semantics club ... Edinburgh restaurant guide Administration and funding Mailing lists LFCS organisation Research Committee library matters ... EU Framework V Informatics Local School page research institutes telephone directory system support ... Graduate school , teaching in Computer Science Artificial Intelligence , and Cognitive Science Contact information Laboratory for Foundations of Computer Science School of Informatics The University of Edinburgh James Clerk Maxwell Building

150. Leipzig, University Institute of computer Science. Areas of interest include automata and formal languages, natural language processing, computer graphics, image processing, visualization, computational algebra, computer systems, databases, formal concepts, intelligent systems, parallel and distributed systems, and technical computer science. http://www.informatik.uni-leipzig.de/cgi-bin/MakeHTML.cgi?EHTML=/ifi/home.ehtml&

151. Maxima For Symbolic Computation Program Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra, released under the GNU Public License. http://www.ma.utexas.edu/users/wfs/maxima.html

Maxima for Symbolic Computation Program The offical homepage for Maxima is located at http://maxima.sourceforge.net/ . This page is no longer maintained. Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra. Maxima is now about to be released under the GNU Public License. I have maintained and extended Maxima for the last 15 years, but have only recently received formal permission from DOE , to release this under GPL as a derivative work. This formalizes earlier opinions from DOE. Plotting via netmath over the network. Computations over network Well tested on a large array of problems. Source level Debugger for maxima code Documentation available as html , or texinfo and so info, and so dvi and postscript. Latest source development version available or look here for how to download using cvs Easy to extend in fundamentally new ways, because you have complete access to source, and access to Common Lisp. Portable to many systems. Now covered by GNU public license, so it will stay free. Was the first computer algebra system, and is one of the best.

152. Welcome To The Turnbull Server School of computer Science. The home of GAP, a free system for discrete computational algebra, available for FTP download. http://www-gap.dcs.st-and.ac.uk/

T URNBULL WWW S ERVER School of Mathematical and Computational Sciences University of St Andrews Welcome to the T URNBULL world wide web server, named after the mathematician Herbert Westren Turnbull (1885-1961) who was the Regius Professor of Mathematics at the University of St Andrews from 1921 to 1950. To find out more about Turnbull you can read his biography T URNBULL is run by the School of Mathematics and Statistics at the University of St Andrews , St Andrews, Fife, Scotland. T URNBULL is the home of the award-winning MacTutor History of Mathematics Archive an integrated collection of over 1000 biographies and historical articles of a mathematical nature, alongside interactive birthplace maps and the famous curve applet. To visit the archive click on the logo, name or here The web pages for the computer algebra system GAP are now on http://www-gap.dcs.st-and.ac.uk/~gap . Information about ISSAC 2000 is at http://www-gap.dcs.st-and.ac.uk/issac2000 Server statistics for T URNBULL can be found here BS. File /home.turnbull/httpd/html/index.html

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

154. Mrs. King's Mater Dei Page Teacher at Mater Dei H.S., Santa Ana, CA. Student and parent resources. AP Calculus, Intermediate algebra, AP computer Science. Homework links. Study tips. http://www.thinkspot.net/materdei/

Mrs. King was a teacher at Mater Dei High School She taught at MDHS from Sept. 1983 until June 2001. She was also an alumna of MDHS class of 1979. I have not had much time to update this portion of my website, but will be doing so over the next several months. I will be leaving up the pages that some people use as reference material, and trimming away some of the obsolete material that is no longer relevant, since I am no longer teaching at that school. During the 2000-2001 school year I taught: A.P. Calculus Intermediate Algebra A.P. Computer Science Discussion Board: Get help with math. Ask questions. Sites to Check Out: Math for Morons Like Us: Tutorials, quizzes and discussion boards for math from PreAlgebra up through Calculus Print a sheet of graph paper. (Opens a new browser window. Then print it.)

155. Department Of Computer Science Department of computer Science. Research areas include declarative languages and artificial intelligence, distributed systems and computer networks, software development methodology, hypermedia and databases, computer graphics, numerical approximation and linear algebra, scientific computing and , numerical computation. http://www.cs.kuleuven.ac.be/cwis-cs/frames/index-E.shtml

Your browser does not support frames. Use this page to browse further anyway.

156. Ashay Dharwadker's Profile algebra, topology, graph theory and theoretical computer science. http://www.geocities.com/dharwadker/profile.html

Ashay Dharwadker Born 1 st January 1967, New Delhi, India Address: H-501 Palam Vihar, District Gurgaon, Haryana 122017, India. Website: http://www.geocities.com/dharwadker/ Email: dharwadker@yahoo.com Research: Algebra, combinatorics, topology and their applications. Theoretical computer science and information technology. Google Directory - Graph Theorists My Students Database, http://members.lycos.co.uk/dharwadker/ A prototype online relational database management system in Boyce-Codd normal form using MySQL, PHP and Apache web server. Riemann Surfaces, http://www.eg-models.de , Electronic Geometry Models, Model 2002.05.001, 2003. n Calculus 1.0, http://www.geocities.com/dharwadker/calculus.html Software for Windows: Compute and graph functions, derivatives, integrals, tangents, arc lengths, areas, roots, maxima/minima, Taylor series and Fourier series. Simtel - Calculus 1.0 The Math Forum - Single Variable Calculus The Math Works - Calculus The Witt Design, http://www.geocities.com/dharwadker/witt.html The Steiner system S(5,8,24) with a C++ program to generate the Witt design, Golay code and projective plane PG(2,4). Design Resources at Queen Mary, University of London

157. Johanneum Lüneburg Computeralgebra Translate this page computer-algebra-Systeme CAS. Was sind computeralgebrasysteme? Aktualisiert am 05. Oktober 2003 Das sind als Software auf dem computer http://www.fh-lueneburg.de/u1/gym03/homepage/faecher/mathe/cas/cas.htm

Mathe-Lehramt Informationssystem Mathematik Computer-Algebra-Systeme CAS Was sind Computeralgebrasysteme? Aktualisiert am 05. Oktober 2003 Das sind als Software auf dem Computer installierte Mathematik-Werkzeuge, die symbolisch rechnen, Formeln umwandeln, ableiten, integrieren, Grenzwerte bestimmen, Graphen zeichnen können und vieles mehr. Die CAS erledigen fast alle "handwerklichen" Aufgaben der Schul- und Ingenieurmathematik. Das allerdings nur unter der Voraussetzung, daß man an sie die richtigen Fragen stellt, daß ihre Ergebnisse richtig interpretiert werden, daß der Benutzer ihre Grenzen kennt, daß der Benutzer mit dem behandelten Gebiet vertraut ist. Ideen zum Mathematikunterricht der Zukunft Unterrichtseinheit Kl. 10 mit Ti 92 Computeralgbrasysteme CAS im Vergleich Heute sind einige CAS verfügbar, sie sollen hier kurz verglichen werden. Bei allem Bemühen um Objektivität ist im Folgenden der Einfluß subjektiver Einschätzung nicht vermeidbar: Mathematica MuPAD TI-92 Unterrichtseinheit Kl. 10 ... Mathcad u.a Mathematica Das Gängige ist einigermaßen leicht zu lernen.

158. Bioanalytical Chemistry Research At Evergreen Overview and resources from a department which since 1984 has developed spectroscopic instruments, computer interfacing, image processing, applied linear algebra, and organic chemistry synthesis procedures for physiological research and clinical use, at Evergreen State College, Olympia, WA. http://www.evergreen.edu/biophysics/

Bioanalytical chemistry research at The Evergreen State College is conducted in the laboratory of Dr. Jeff Kelly and Dr. Clyde Barlow. Together, they have been developing physiological procedures and instruments for research and clinical use since 1984. Their work is funded mainly by the National Institutes of Health under the set-aside program Small Business Innovation Research . The lab motto is "If it were easy, it would already have been done." Students can gain valuable laboratory research experience while working on a variety of projects in the fields of physiology, spectroscopy, computer interfacing, image processing, applied linear algebra, and organic chemistry synthesis. The laboratory staff possesses many years of experience working with optical detection of fluorescence and reflectance, electronic design, instrument construction and the development of software for data analysis and computer control of instrumentation. Clyde Barlow, PhD, Faculty Member ( barlowc@evergreen.edu On Leave for 2003/04 Academic Year Environmental Analysis 2002/03 Academic Program Curriculum Vitae Home Page Jeff Kelly, PhD, Faculty Member (

159. FREELY AVAILABLE SOFTWARE FOR Software for highperformance computers available in source form for problems in numerical linear algebra, specifically dense, sparse direct and iterative systems and sparse iterative eigenvalue problems. http://www.netlib.org/utk/people/JackDongarra/la-sw.html

FREELY AVAILABLE SOFTWARE FOR LINEAR ALGEBRA ON THE WEB (May 2004) Here is a list of freely available software for the solution of linear algebra problems. The interest is in software for high-performance computers that's available in “open source” form on the web for solving problems in numerical linear algebra, specifically dense, sparse direct and iterative systems and sparse iterative eigenvalue problems. Please let me know about updates and corrections. Additional pointers to software can be found at: http://www.nhse.org/rib/repositories/ n hse/catalog/#Numerical_Programs_and_Routines A survey of Iterative Linear System Solver Packages can be found at: http://www.ne t lib.org/utk/papers/iterative-survey/ Thanks, Jack Software Package Support Type Language Mode Dense Sparse Direct Sparse Iterative Sparse Eigenvalue SUPPORT ROUTINES Real Complex c c++ Seq Dist SPD Gen SPD Gen Sym Gen ATLAS yes X X X X X X B L A S ... yes X X X X X X FLAME yes X X X X X X LINALG MTL yes X X X X NEWMAT yes X X X X NI S T S- B ... yes X X X X X PSBLAS yes X X X X X M SparseLib yes X X X X X uBLAS yes X X X X X X DIRECT SOLVERS Real Complex c c++ Seq Dist SPD Gen SPD Gen Sym Gen LAPACK yes X X X X X X yes X X X X NAPACK yes X X X X X X PLA P A CK X X X X M X PRIS M no X X X M X Sc a L AP ... yes X X X X M/P X SPARSE DIRECT SOLVERS Real Complex c c++ Seq Dist SPD Gen SPD Gen Sym Gen DSCPACK yes X X X M X HSL yes X X X X X X MFACT yes X X X M X MUMPS yes X X X X X M X X PSP A S E ... yes X X X M X SPA R SE X X X X X X SPOOLES X X X X M X X Su p erLU yes X X X X X M X TAUCS yes X X X X X X X X UM F P A ... yes X X X X X M X X X X X PRECONDITIONERS Real Complex c c++ Seq Dist SPD Gen SPD Gen Sym Gen BP K IT yes X X X X X M PARPRE yes X X M SPAI yes X X X M SPARSE ITERATIVE SOLVERS Real Complex c c++ Seq Dist SPD Gen SPD Gen Sym Gen BILUM no

160. Magma Computational Algebra System Home Page The Magma Computational algebra System. for. algebra, Number Theory and Geometry. Magma is a large, wellsupported software package http://magma.maths.usyd.edu.au/magma/

The Magma Computational Algebra System for Algebra, Number Theory and Geometry Magma is a large, well-supported software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics. It provides a mathematically rigorous environment for computing with algebraic, number-theoretic, combinatoric and geometric objects. Recent Notices: May 31, 2004: Magma version V2.11 has now been released. Registered users may now download V2.11 for Mac (OS X), PC (Linux) and Sparc (Solaris) from here here for example timings. About Magma What's New Magma on-line help FAQ ... Online Magma Calculator (external link) Magma is produced and distributed by the Computational Algebra Group within the School of Mathematics and Statistics of the University of Sydney.

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