Computer Algebra Websites
ERCIM - the European Research Consortium for Informatics and Mathemati
ERCIM - The European Research Consortium for Informatics and Mathematics
ERCIM - the European Research Consortium for Informatics and Mathemati
ERCIM - The European Research Consortium for Informatics and Mathematics
MacKichan Software - The Home of Scientific WorkPlace, Scientific Word
MacKichan Software now offers version 5.5 of Scientific WorkPlace, Scientific Word, and Scientific Notebook. You write text and mathematics in your document without having to know a programming language or exit to an equation editor. Evaluate, simplify, solve, and plot functions without the need to master a complex syn
LiveMath Computer Algebra & Graphing System
LiveMath™ Computer Algebra and Graphing System: New Version 3.6! For Macintosh, Windows, and Linux. Free 30-day trial. PrintMath™ Expression Editor
André Platzer @ Carnegie Mellon University
André Platzer, Associate Professor @ Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, mathematics, hybrid systems, and verification.
SymbolicNet -- Information Center for Symbolic and Algebraic Computati
Information center for researchers and professionals in the field of symbolic computation, computer algebra, mathematical computation, software, systems, conferences, jobs, calendar, announcements, literature, books, research groups, email directory, live demos
Scientific Computing
News and comments about scientific software
Maple T.A. - Online Assessment System for STEM Courses - Maplesoft
Maple T.A. an online assessment system designed for STEM-based courses. Truly assess student understanding of math-based concepts.
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover core and a flexible tactics language for automatic proof search.
Buy online from Adept Scientific
Buy online from Adept Scientific. Adept Scientific supplies and supports technical computing solutions for scientists and engineers in mathematics, data acquisition, data analysis, quality management and quality control, CAD, simulation, chemistry, laboratory science, design engineering, electronics circuit design, con
Wolfram Blog: News and Ideas from Wolfram Research
News, views, and ideas from the front lines at Wolfram Research.
Welcome to the Maplesoft Web Store - Math Software for Engineers, Educ
Maplesoft is a world leader in mathematical and analytical software. The Maple system embodies advanced technology such as symbolic computation, infinite precision numerics, innovative Web connectivity and a powerful 4GL language for solving a wide range of mathematical problems encountered in modeling and simulation.
MapleMBSE – MBSE Made Easier – Maplesoft
Maple – a complete, rapid solution development environment for thousands of technical organizations.
404 Error – Maplesoft
Maplesoft is a world leader in mathematical and analytical software. The Maple system embodies advanced technology such as symbolic computation, infinite precision numerics, innovative Web connectivity and a powerful 4GL language for solving a wide range of mathematical problems encountered in modeling and simulation.
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover core and a flexible tactics language for automatic proof search.
Maxima, a Computer Algebra System
Maxima is a fairly complete computer algebra system written in Lisp with an emphasis on symbolic computation. It is based on DOE-MACSYMA and licensed under the GPL free software license. Its abilities include symbolic integration, 3D plotting and solving differential equations.
Buy online from Adept Scientific
Buy online from Adept Scientific. Adept Scientific supplies and supports technical computing solutions for scientists and engineers in mathematics, data acquisition, data analysis, quality management and quality control, CAD, simulation, chemistry, laboratory science, design engineering, electronics circuit design, con
Maplesoft - Technical Computing Software for Engineers, Mathematicians
Maplesoft is a world leader in mathematical and analytical software. The Maple system embodies advanced technology such as symbolic computation, infinite precision numerics, innovative Web connectivity and a powerful 4GL language for solving a wide range of mathematical problems encountered in modeling and simulation.