Extractions: 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.
LiveMath Germany Das Programm LiveMath Maker von Theorist Interactive ist ein computeralgebra-System (CAS). http://www.livemath.de/
Extractions: "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 firstname.lastname@example.org ... Germany - Discover Germany
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/
Extractions: 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.
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
Extractions: 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.
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/
Extractions: 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.
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
Extractions: 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: email@example.com snail: Cambridge University Press, The Edinburgh Building, Shaftesbury Road, Cambridge, CB2 2RU, UK 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
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/
Extractions: LFCS People Publications Informatics 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
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&
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
Extractions: 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.
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/
Extractions: 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
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/
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/
Extractions: 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.
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
Ashay Dharwadker's Profile algebra, topology, graph theory and theoretical computer science. http://www.geocities.com/dharwadker/profile.html
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
Extractions: Mathe-Lehramt Informationssystem Mathematik Computer-Algebra-Systeme CAS 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, Ideen zum Mathematikunterricht der Zukunft
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/
Extractions: 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 ( firstname.lastname@example.org Jeff Kelly, PhD, Faculty Member (
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
Extractions: 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 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 NEWMAT yes 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
Extractions: 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.