41. Fermat, Computer Algebra System II By Robert H. Lewis and Michael Wester. Presented as a poster to the 1999 ISSAC Conference. http://www.fordham.edu/lewis/cacomp.html

Comparison of Polynomial-Oriented Computer Algebra Systems (Preliminary Report) Robert H. Lewis and Michael Wester This paper was presented as a poster to the 1999 ISSAC Conference, Vancouver, British Columbia, 28-31 July 1999. Exact symbolic computation with polynomials and matrices over polynomial rings has wide applicability to many fields. By "exact symbolic" we mean computation with polynomials whose coefficients are integers (of any size), rational numbers, or finite fields, as opposed to coefficients that are "floats" of a certain precision. Such computation is part of most computer algebra systems ("CA systems"). Over the last dozen years several large CA systems have become widely available, such as Axiom, Derive, Macsyma, Maple, Mathematica, and Reduce. They tend to have great breadth, be produced by profit-making companies, and be relatively expensive. However, most if not all of these systems have difficulty computing with the polynomials and matrices that arise in actual research. Real problems tend to produce large polynomials and large matrices that the general CA systems cannot handle. In the last few years several smaller CA systems focused on polynomials have been produced at universities by individual researchers or small teams. They run on Macs, PCs, and workstations. They are freeware or shareware. Several claim to be much more efficient than the large systems at exact polynomial computations. The list of these systems includes CoCoA, Fermat, MuPAD, Pari-GP, and Singular.

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

43. The Yacas Computer Algebra System YACAS is an easy to use, general purpose computer algebra System, a program for symbolic manipulation of mathematical expressions. http://yacas.sourceforge.net/yacas.html

YACAS is an easy to use, general purpose Computer Algebra System, a program for symbolic manipulation of mathematical expressions. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system has a library of scripts that implement many of the symbolic algebra operations; new algorithms can be easily added to the library. YACAS comes with extensive documentation (320+ pages) covering the scripting language, the functionality that is already implemented in the system, and the algorithms we used. This entire site (including the documentation) can also be found in the source code distribution . Yacas can also be used on line as a Java applet

44. Ontario Research Centre For Computer Algebra - ORCCA Researchers at ORCCA study algorithms and software systems for symbolic mathematical computation. At any given time a number of visitors and postdocs are hosted. http://www.orcca.on.ca/

45. The History Of The Calculus And The Development Of Computer Algebra Systmes Discusses development of integral and derivative calculus from the 17th century. Features contributions by key western civilization mathematicians. Includes examples of selected problems and how they were originally solved in earlier times. Also, covers the historic background to computer algebraic systems. http://www.math.wpi.edu/IQP/BVCalcHist/calctoc.html

The History of the Calculus and the Development of Computer Algebra Systems Introduction History of the Integral from the 17 th Century ... Conclusions A. Bibliography Return to the Main Page

46. Computer Algebra Pages And Servers CAIN computer algebra Information Network, Amsterdam. Rhine Workshop on computer algebra, 1.-3. April 1996, Saint-Louis; MathFit, 15.-16. http://krum.rz.uni-mannheim.de/cabench/cawww.html

Computer Algebra Pages and Servers In Europe Computer Algebra Netherlands CAIN - Computer Algebra Information Network, Amsterdam. PoSSo WWW Server PoSSo IBP Paris RSIC Linz MuPAD WWW Server ... Maple OpenMath Specification as of July 1994, OpenMath Objectives Not in Europe Symbolic Net (University Kent) Diana's Mathematics Page Maple WWW Server Maple WWW Home Page ... MAGMA Previous Conferences DISCO 96 , 18.-20. September 1996, Karlsruhe, International Symposium on Design and Implementation of Symbolic Computation Systems Workshop "Computeralgebra" , 25. September 1996, Klagenfurt, GI Jahrestagung Informatik'96. Rhine Workshop on Computer Algebra , 1.-3. April 1996, Saint-Louis MathFit , 15.-16. April 1996, Oxford, MathFit Computer Algebra workshop ISSAC 96 International Symposium on Symbolic and Algebraic Computation Heinz Kredel kredel@rz.uni-mannheim.de

47. RIACA: Research Institute For Applications Of Computer Algebra Research Institute for Applications of computer algebraResearch Institute for Applications of computer algebra. / About / Documentation / Download / Products / Projects / Webstart / What s New? http://www.riaca.win.tue.nl/archive/index.php

Research Institute for Applications of Computer Algebra / About ... / Documentation / Download / Products ... / Home Sorry, we have restructured our website and removed the archive. If you need more information please contact the webmaster (mriem@win.tue.nl) Quick Links / GAP / Magma / MathBook / Mathematica ... Technische Universiteit Eindhoven (TU/e).

48. 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)

49. REDUCE Computer Algebra System Bibliography, documentation, available packages, online demonstrations and ordering information for versions from 3.8 onwards. http://www.reduce-algebra.com/

REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It has been produced by a collaborative effort involving many contributors . Its capabilities include: expansion and ordering of polynomials and rational functions; substitutions and pattern matching in a wide variety of forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions and extending program syntax; analytic differentiation and integration; factorization of polynomials; facilities for the solution of a variety of algebraic equations; facilities for the output of expressions in a variety of formats; facilities for generating optimized numerical programs from symbolic input; calculations with a wide variety of special functions; Dirac matrix calculations of interest to high energy physicists. It is often used as an algebraic calculator for problems that are possible to do by hand. However, REDUCE is designed to support calculations that are not feasible by hand. Many such calculations take a significant time to set up and can run for minutes, hours or even days on the most powerful computers.

50. Computer Algebra In Mathematics Education An open international organisation for those interested in the use of computer algebra software in mathematics education. http://ltsn.mathstore.ac.uk/came/

Forwarding to new page

51. CALCO 2005: Home Page First Conference on algebra and Coalgebra in computer Science. September 3 6, 2005, University of Wales Swansea, UK. The CALCO Scientific Programme is now http://www.cs.swan.ac.uk/calco/index.php

var image_edge = 30; Paul Saunders CALCO 2005 Home Steering Committee Programme Committee ... Pictures Attending CALCO Contact Scientific Programme Venue and Accommodation Registration and Attendance ... Swansea Computer Science Associated Meetings IFIP WG 1.3 Meeting CALCO-jnr History WADT and CMCS Robert Recorde CALCO 2005 First Conference on Algebra and Coalgebra in Computer Science September 3 - 6, 2005, University of Wales Swansea, UK Updates to travel social programme and venue and accommodation on Wednesday 31st August.. "To avoide the tediouse repetition of these woordes: is equalle to: I will settle as I doe often in woorke use, a paire of paralleles, or gemowe [twin] lines of one lengthe: =, bicause noe .2. thynges, can be moare equalle." Robert Recorde (1510 - 1558) CMCS - the International Workshop on Coalgebraic Methods in Computer Science, and WADT - the Workshop on Algebraic Development Techniques, are joining their forces and reputations into a new high-level bi-annual conference. Starting in 2005, CALCO will bring together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science.

52. Homepage: Susanne Schmitt (Max-Planck-Institut Für Informatik) MaxPlanck-Institut f¼r Informatik. Effective computational geometry, separation bounds; computer algebra; algebraic number theory, elliptic curves. Publications. http://www.mpi-sb.mpg.de/~sschmitt/

Department 1: Algorithms and Complexity max planck institut informatik Homepage Susanne Schmitt Department 1: Algorithms and Complexity Building 46.1 , Room 318 Stuhlsatzenhausweg 85 Germany Email: Get my email address via email Phone: Fax: Research Interests Real algebraic numbers, Root isolation, Separation bounds Effective Computational Geometry Computer Algebra Algebraic number theory, Elliptic curves Publications Publications of Dr. Susanne Schmitt Teaching Summer term 2005: Seminar Geometrische Algorithmen, Dr. Susanne Schmitt, Dr. Nicola Wolpert Earlier terms Winter term 2004/2005: Seminar Geometric Rounding, Dr. Lutz Kettner, Dr. Susanne Schmitt Winter term 2004/2005: Lecture Dr. Lutz Kettner, Dr. Susanne Schmitt, Dr. Nicola Wolpert Summer term 2004: Seminar Theorie und Praxis geometrischer Algorithmen, Dr. Susanne Schmitt, Dr. Nicola Wolpert Winter term 2003/2004: Lecture Effective Computational Geometry for Curves and Surfaces, Dr. Lutz Kettner, Dr. Susanne Schmitt, Dr. Nicola Wolpert

53. Vol. 4 Nr. 2-3 1997 Virtual Logic Boolean algebra, computer Proofs and Human Proofs. In the last installment of this column, I promised to discuss properties of the http://www.imprint.co.uk/C&HK/vol4/v4-23kauffman.htm

Vol. 4 no. 2-3 1997 Louis H. Kauffman: Virtual Logic - Boolean Algebra, Computer Proofs and Human Proofs In the last installment of this column, I promised to discuss properties of the duplicating gremlin G - a model for self-reference and recursion. In the meantime something fascinating has come up. I shall postpone the gremlin for now. This column is devoted to a discussion of the relation between computer proof and human proof. It is a discussion of the relationship of persons and machines. Can a computer discover the proof of a theorem in mathematics? Some would say that this is certainly possible, since the computer has only to find the right steps. After all, proving a theorem is like solving a problem in chess, and we are all aware that computers can play quite a good game of chess. On the other hand, I say that a proof is not a proof until a person is convinced by it. In fact a mathematical proof is exactly an argument that is completely convincing to a mathematician! In this sense, a computer does not, can not produce a proof. The computer is not convinced of anything. The computer is set to search for something - a certain series of steps according to some rules. The computer can indicate the state desired by its programmers. It does not know the proof. It only finds the steps.

54. SymbMath An online symbolic math and computer algebra system. It can perform exact, numeric, symbolic and graphic computation, e.g. arbitraryprecision calculation, solve equation, plot data and user-defined functions, linear regression, symbolic differentation and integration, pattern-match. http://www.raceprediction.com/math/VisualMath.html

SymbMath.com - SymbMath <META NAME="keywords" content="software, online graphical calculator, online symbolic calculator, online equation solver, online graphic calculator, Symbolic Math, Computer Algebra System, electroanalysis, electrochemistry, electrochemical simulation, voltammetry, polarography, electrochemical software, electrochemistry software, math software, symbolic math software, data analysis, curve fitting, data fitting, polar, visualmath, symbmath"> Please turn on Java enabled in your browser if you cannot see a pop-up Java Applet. Document Questions?

55. Geometric Modelling At Bath University Research projects include multidimensional geometric modeling, distances in geometric modeling, finding zeros of multidimensional functions, and computer algebra in geometric modeling. http://www.bath.ac.uk/~ensab/G_mod/g_mod.html

Geometric Modelling at Bath University g_mod@bath.ac.uk Part of our virtual factory Geometric modelling research at Bath was instigated in 1980 by John Woodwark . He left the University in 1986, and is now the managing director of Information Geometers Ltd and an editor of the Computer-Aided Design Journal. Adrian Bowyer has run the research group since Woodwark's departure. The group's current modeller is called Svlis (and it's available free ). This, like all Bath modellers, is a set-theoretic (or constructive solid geometry - CSG) modeller that uses recursive spatial division for evaluation. Current and past research projects The svLis geometric modeller Download svLis Multidimensional geometric modelling Distances in Geometric Modelling ... Computer Algebra in Geometric Modelling Teaching Geometric Modelling The Bath final-year undergraduate Geometric Modelling course Related work and sites Information Geometers Ltd - Books, courses, conferences, and software Users of our svLis geometric modeller Media Technology Research Centre Interval Computations QUB Finite Element Modelling Group Minesota Geometry Center ... Brunel University Centre for Geometric Modelling and Design Local G_mod information Maps G_mod bibliography format Local printing Parallel processing on earth

56. Centre Of Australian Category Theory, Macquarie University :: Projects Category theory arising from geometry, algebra, computer science and physics. Personnel Ross Street (Chief Investigator), Max Kelly (CI), Michael Johnson http://www.ics.mq.edu.au/CoACT/projects/

CoACT members projects awards ... Staff Centre of Australian Category Theory Projects Projects undertaken in 2003 Category theory arising from geometry, algebra, computer science and physics Personnel : Ross Street (Chief Investigator), Max Kelly (CI), Michael Johnson (CI), Stephen Lack (CI), Brian Day, Michael Batanin, George Janelidze, Isar Stubbe, Zurab Janelidze, John Corbett., Daniel Steffen, Catherine Menon. Summary : Category theory is a branch of mathematics concerned with transformation and composition. It provides an algebra of wide-spread applicability for the synthesis of systems and processes in fields as diverse as geometry, physics and computer science, and also in mathematics itself. Often it can be used to clarify and simplify the learning, teaching and development of mathematics. The aim of this project is to develop the general theory of categories and specifically to investigate aspects appropriate to algebra, physics and computer science. Invariants of higher-dimensional categories, with applications

57. Welcome To GNU TeXmacs (FSF GNU Project) Freeware tool for extensible, structured and WYSIWYG technical documents. Can also be used as an interface to computer algebra systems. http://www.texmacs.org/

Home Download Help Contribute ... Search Welcome to GNU TeXmacs Welcome Screen shots News Mailing lists GNU TeXmacs is a free scientific text editor, which was both inspired by TeX and GNU Emacs . The editor allows you to write structured documents via a wysiwyg (what-you-see-is-what-you-get) and user friendly interface. New styles may be created by the user. The program implements high-quality typesetting algorithms and TeX fonts, which help you to produce professionally looking documents. The high typesetting quality still goes through for automatically generated formulas, which makes TeXmacs suitable as an interface for computer algebra systems. TeXmacs also supports the Guile Scheme extension language, so that you may customize the interface and write your own extensions to the editor. Converters exist for TeX/LaTeX and they are under development for Html MathML Xml . In the future, TeXmacs is planned to evolve towards a complete scientific office suite, with spreadsheet capacities, a technical drawing editor and a presentation mode. GNU TeXmacs is hosted by the Centre de Ressources Informatiques de Haute Savoie , Archamps, France.

58. REDUCE Home Page (archival Version) Version 3.8 of the REDUCE computer algebra System was released 15 April 2004. Information on this and future releases of REDUCE is now available from a http://www.uni-koeln.de/REDUCE/

The REDUCE Computer Algebra System Current Version: REDUCE 3.8 Version 3.8 of the REDUCE Computer Algebra System was released 15 April 2004. Information on this and future releases of REDUCE is now available from a dedicated website at reduce-algebra.com Information available from the current page (www.uni-koeln.de/REDUCE/) contains archival information on older versions of REDUCE, and is being offered to support those who may still be running older versions of REDUCE. Previous Versions Version 3.7 of REDUCE was released on April 30th, 1999. Please see the announcement by Tony Hearn and the documentation for the new version. The REDUCE Homepage of ZIB also includes much more information on the current version of REDUCE. There is also a Y2K compliance statement for REDUCE 3.7. REDUCE 3.6 Table of Contents Introduction General Information Ordering Information Demonstration Versions ... About the REDUCE Home Page Introduction REDUCE is an interactive program designed for general algebraic computations of interest to mathematicians, scientists and engineers. Its capabilities include: expansion and ordering of polynomials and rational functions;

59. Algorithms Project's Home Page Rocquencourt, Versailles. Algorithms Project. Interests in design and analysis of algorithms, computer algebra, combinatorial analysis and asymptotics. http://algo.inria.fr/

Algorithms Project's Home Page Welcome! Research Topics People Publications ... On-Line Applications Welcome to the Algorithms Project! INRIA Rocquencourt Organizations Links ... Contacts Last modified: Friday, 26-Sep-2003 18:37:23 CEST. For problems or questions involving this site, please contact Virginie Collette

60. Computer Algebra In Mathematics Education This is the web site for computer algebra in Mathematics Education, an open, international organisation for those interested in the use of computer algebra http://www.lonklab.ac.uk/came/

Page 3     41-60 of 179    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20