Faster access than browser!
139 relations: ACT (test), Advanced Placement, Algebraic number, Algorithm, Antiderivative, AP Calculus, AP Chemistry, AP Physics, AP Statistics, Application programming interface, Applied mathematics, Arbitrary-precision arithmetic, Artificial intelligence, Automated proof checking, Automated theorem proving, Axiom (computer algebra system), Berlekamp's algorithm, Bessel function, Bioinformatics, Buchberger's algorithm, Canonical form, Cantor–Zassenhaus algorithm, Chinese remainder theorem, Closed-form expression, College Board, Columbus, Ohio, Comparison of numerical analysis software, Complex number, Computational chemistry, Computational physics, Computational science, Computer algebra, Computer algebra system, Computer graphics, Computer-generated imagery, Constraint logic programming, Constraint satisfaction, Copyleft, Cylindrical algebraic decomposition, Derive (computer algebra system), Differential equation, Digital image processing, Diophantine equation, Education Resources Information Center, Elementary function, Elementary mathematics, Erable, Error function, Euclidean algorithm, Experimental mathematics, ..., Exponential function, Expression (mathematics), Factorization, Factorization of polynomials, Floating-point arithmetic, FORMAC, Formula editor, Front and back ends, Gamma function, Garbage collection (computer science), Gaussian elimination, Gosper's algorithm, Graph of a function, Gröbner basis, Greatest common divisor, Group theory, Hewlett-Packard, HP 39/40 series, HP Prime, HP-28 series, Incomplete gamma function, Integer, Integral, Interpreter (computing), Interval arithmetic, Invertible matrix, Knuth–Bendix completion algorithm, Limit (mathematics), Limit of a function, Lisp (programming language), List of computer algebra systems, List of statistical packages, Macsyma, Magma (computer algebra system), Maple (software), Martinus J. G. Veltman, Mathematical software, Mathematician, MATHLAB, MATLAB, Matrix (mathematics), Matrix multiplication, Maxima (software), Memory management, Mitre Corporation, MuMATH, Nested radical, Number theory, Padé approximant, Partial derivative, Partial fraction decomposition, PLAN (test), Polynomial, Polynomial greatest common divisor, Programming language, Quantifier elimination, Rational number, Recurrence relation, Reduce (computer algebra system), Rewriting, Riemann zeta function, Risch algorithm, Root-finding algorithm, SageMath, SAT, SAT Subject Tests, Satisfiability modulo theories, Schoonschip, Schwartz–Zippel lemma, Scientist, Series (mathematics), Signal processing, SIMH, Special functions, String (computer science), String-searching algorithm, Symbolic integration, Synthesizer, Texas Instruments, TI-89 series, TI-92 series, TI-Nspire series, Total derivative, Trigonometric functions, University of New Mexico, User interface, Wilf–Zeilberger pair, Wolfram Mathematica, Xcas. Expand index (89 more) »
ACT (test)
The ACT (originally an abbreviation of American College Testing) Name changed in 1996.
New!!: Computer algebra system and ACT (test) · See more »
Advanced Placement
Advanced Placement (AP) is a program in the United States and Canada created by the College Board which offers college-level curricula and examinations to high school students.
New!!: Computer algebra system and Advanced Placement · See more »
Algebraic number
An algebraic number is any complex number (including real numbers) that is a root of a non-zero polynomial (that is, a value which causes the polynomial to equal 0) in one variable with rational coefficients (or equivalently – by clearing denominators – with integer coefficients).
New!!: Computer algebra system and Algebraic number · See more »
Algorithm
In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems.
New!!: Computer algebra system and Algorithm · See more »
Antiderivative
In calculus, an antiderivative, primitive function, primitive integral or indefinite integral of a function is a differentiable function whose derivative is equal to the original function.
New!!: Computer algebra system and Antiderivative · See more »
AP Calculus
Advanced Placement Calculus (also known as AP Calculus, AP Calc, or simply AB / BC) is one of two distinct Advanced Placement courses and examinations offered by College Board in calculus: AP Calculus AB (as an introduction to derivatives, limits and integral calculus), or AP Calculus BC (with more techniques, for Taylor series, parametric equations, integration by parts, polar coordinate functions, and curve interpolations).
New!!: Computer algebra system and AP Calculus · See more »
AP Chemistry
Advanced Placement Chemistry (AP Chemistry or AP Chem) is an Advanced Placement course and examination offered by the College Board eared toward students with interests in chemical and physical sciences, as well as any of the biological sciences.
New!!: Computer algebra system and AP Chemistry · See more »
AP Physics
In the United States, Advanced Placement (AP) Physics collectively refers to the College Board Advanced Placement Program courses and exams covering various areas of physics.
New!!: Computer algebra system and AP Physics · See more »
AP Statistics
Advanced Placement Statistics (AP Statistics, AP Stat or AP Stats) is a college-level high school statistics course offered in the United States through the College Board's Advanced Placement program.
New!!: Computer algebra system and AP Statistics · See more »
Application programming interface
In computer programming, an application programming interface (API) is a set of subroutine definitions, protocols, and tools for building software.
New!!: Computer algebra system and Application programming interface · See more »
Applied mathematics
Applied mathematics is the application of mathematical methods by different fields such as science, engineering, business, computer science, and industry.
New!!: Computer algebra system and Applied mathematics · See more »
Arbitrary-precision arithmetic
In computer science, arbitrary-precision arithmetic, also called bignum arithmetic, multiple-precision arithmetic, or sometimes infinite-precision arithmetic, indicates that calculations are performed on numbers whose digits of precision are limited only by the available memory of the host system.
New!!: Computer algebra system and Arbitrary-precision arithmetic · See more »
Artificial intelligence
Artificial intelligence (AI, also machine intelligence, MI) is intelligence demonstrated by machines, in contrast to the natural intelligence (NI) displayed by humans and other animals.
New!!: Computer algebra system and Artificial intelligence · See more »
Automated proof checking
Automated proof checking is the process of using software for checking proofs for correctness.
New!!: Computer algebra system and Automated proof checking · See more »
Automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs.
New!!: Computer algebra system and Automated theorem proving · See more »
Axiom (computer algebra system)
Axiom is a free, general-purpose computer algebra system.
New!!: Computer algebra system and Axiom (computer algebra system) · See more »
Berlekamp's algorithm
In mathematics, particularly computational algebra, Berlekamp's algorithm is a well-known method for factoring polynomials over finite fields (also known as Galois fields).
New!!: Computer algebra system and Berlekamp's algorithm · See more »
Bessel function
Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are the canonical solutions of Bessel's differential equation for an arbitrary complex number, the order of the Bessel function.
New!!: Computer algebra system and Bessel function · See more »
Bioinformatics
Bioinformatics is an interdisciplinary field that develops methods and software tools for understanding biological data.
New!!: Computer algebra system and Bioinformatics · See more »
Buchberger's algorithm
In computational algebraic geometry and computational commutative algebra, Buchberger's algorithm is a method of transforming a given set of generators for a polynomial ideal into a Gröbner basis with respect to some monomial order.
New!!: Computer algebra system and Buchberger's algorithm · See more »
Canonical form
In mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that object as a mathematical expression.
New!!: Computer algebra system and Canonical form · See more »
Cantor–Zassenhaus algorithm
In computational algebra, the Cantor–Zassenhaus algorithm is a method for factoring polynomials over finite fields (also called Galois fields).
New!!: Computer algebra system and Cantor–Zassenhaus algorithm · See more »
Chinese remainder theorem
The Chinese remainder theorem is a theorem of number theory, which states that if one knows the remainders of the Euclidean division of an integer by several integers, then one can determine uniquely the remainder of the division of by the product of these integers, under the condition that the divisors are pairwise coprime.
New!!: Computer algebra system and Chinese remainder theorem · See more »
Closed-form expression
In mathematics, a closed-form expression is a mathematical expression that can be evaluated in a finite number of operations.
New!!: Computer algebra system and Closed-form expression · See more »
College Board
College Board is an American non-profit organization that was formed in December 1899 as the College Entrance Examination Board (CEEB) to expand access to higher education.
New!!: Computer algebra system and College Board · See more »
Columbus, Ohio
Columbus is the state capital and the most populous city in Ohio.
New!!: Computer algebra system and Columbus, Ohio · See more »
Comparison of numerical analysis software
The following tables provide a comparison of numerical analysis software.
New!!: Computer algebra system and Comparison of numerical analysis software · See more »
Complex number
A complex number is a number that can be expressed in the form, where and are real numbers, and is a solution of the equation.
New!!: Computer algebra system and Complex number · See more »
Computational chemistry
Computational chemistry is a branch of chemistry that uses computer simulation to assist in solving chemical problems.
New!!: Computer algebra system and Computational chemistry · See more »
Computational physics
Computational physics is the study and implementation of numerical analysis to solve problems in physics for which a quantitative theory already exists.
New!!: Computer algebra system and Computational physics · See more »
Computational science
Computational science (also scientific computing or scientific computation (SC)) is a rapidly growing multidisciplinary field that uses advanced computing capabilities to understand and solve complex problems.
New!!: Computer algebra system and Computational science · See more »
Computer algebra
In computational mathematics, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects.
New!!: Computer algebra system and Computer algebra · See more »
Computer algebra system
A computer algebra system (CAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists.
New!!: Computer algebra system and Computer algebra system · See more »
Computer graphics
Computer graphics are pictures and films created using computers.
New!!: Computer algebra system and Computer graphics · See more »
Computer-generated imagery
Computer-generated imagery (CGI) is the application of computer graphics to create or contribute to images in art, printed media, video games, films, television programs, shorts, commercials, videos, and simulators.
New!!: Computer algebra system and Computer-generated imagery · See more »
Constraint logic programming
Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction.
New!!: Computer algebra system and Constraint logic programming · See more »
Constraint satisfaction
In artificial intelligence and operations research, constraint satisfaction is the process of finding a solution to a set of constraints that impose conditions that the variables must satisfy.
New!!: Computer algebra system and Constraint satisfaction · See more »
Copyleft
Copyleft (a play on the word copyright) is the practice of offering people the right to freely distribute copies and modified versions of a work with the stipulation that the same rights be preserved in derivative works down the line.
New!!: Computer algebra system and Copyleft · See more »
Cylindrical algebraic decomposition
In mathematics, cylindrical algebraic decomposition (CAD) is a notion, and an algorithm to compute it, which are fundamental for computer algebra and real algebraic geometry.
New!!: Computer algebra system and Cylindrical algebraic decomposition · See more »
Derive (computer algebra system)
Derive was a computer algebra system, developed as a successor to muMATH by the Soft Warehouse in Honolulu, Hawaii, now owned by Texas Instruments.
New!!: Computer algebra system and Derive (computer algebra system) · See more »
Differential equation
A differential equation is a mathematical equation that relates some function with its derivatives.
New!!: Computer algebra system and Differential equation · See more »
Digital image processing
In computer science, Digital image processing is the use of computer algorithms to perform image processing on digital images.
New!!: Computer algebra system and Digital image processing · See more »
Diophantine equation
In mathematics, a Diophantine equation is a polynomial equation, usually in two or more unknowns, such that only the integer solutions are sought or studied (an integer solution is a solution such that all the unknowns take integer values).
New!!: Computer algebra system and Diophantine equation · See more »
Education Resources Information Center
The Education Resources Information Center (ERIC) is an online digital library of education research and information.
New!!: Computer algebra system and Education Resources Information Center · See more »
Elementary function
In mathematics, an elementary function is a function of one variable which is the composition of a finite number of arithmetic operations, exponentials, logarithms, constants, and solutions of algebraic equations (a generalization of ''n''th roots).
New!!: Computer algebra system and Elementary function · See more »
Elementary mathematics
Elementary mathematics consists of mathematics topics frequently taught at the primary or secondary school levels.
New!!: Computer algebra system and Elementary mathematics · See more »
Erable
Erable is a computer algebra system (CAS) for a family of Hewlett-Packard graphing scientific calculators of the HP 40, 48 and HP 49/50 series.
New!!: Computer algebra system and Erable · See more »
Error function
In mathematics, the error function (also called the Gauss error function) is a special function (non-elementary) of sigmoid shape that occurs in probability, statistics, and partial differential equations describing diffusion.
New!!: Computer algebra system and Error function · See more »
Euclidean algorithm
. EXAMPLES CAN BE FOUND BELOW, E.G., IN THE "Matrix method" SECTION.
New!!: Computer algebra system and Euclidean algorithm · See more »
Experimental mathematics
Experimental mathematics is an approach to mathematics in which computation is used to investigate mathematical objects and identify properties and patterns.
New!!: Computer algebra system and Experimental mathematics · See more »
Exponential function
In mathematics, an exponential function is a function of the form in which the argument occurs as an exponent.
New!!: Computer algebra system and Exponential function · See more »
Expression (mathematics)
In mathematics, an expression or mathematical expression is a finite combination of symbols that is well-formed according to rules that depend on the context.
New!!: Computer algebra system and Expression (mathematics) · See more »
Factorization
In mathematics, factorization (also factorisation in some forms of British English) or factoring consists of writing a number or another mathematical object as a product of several factors, usually smaller or simpler objects of the same kind.
New!!: Computer algebra system and Factorization · See more »
Factorization of polynomials
In mathematics and computer algebra, factorization of polynomials or polynomial factorization is the process of expressing a polynomial with coefficients in a given field or in the integers as the product of irreducible factors with coefficients in the same domain.
New!!: Computer algebra system and Factorization of polynomials · See more »
Floating-point arithmetic
In computing, floating-point arithmetic is arithmetic using formulaic representation of real numbers as an approximation so as to support a trade-off between range and precision.
New!!: Computer algebra system and Floating-point arithmetic · See more »
FORMAC
FORMAC, acronym of FORmula MAnipulation Compiler, was an early computer algebra system based on FORTRAN.
New!!: Computer algebra system and FORMAC · See more »
Formula editor
A formula editor is a name for a computer program that is used to typeset mathematical works or formulae.
New!!: Computer algebra system and Formula editor · See more »
Front and back ends
In software engineering, the terms front end and back end refer to the separation of concerns between the presentation layer (front end), and the data access layer (back end) of a piece of software, or the physical infrastructure or hardware.
New!!: Computer algebra system and Front and back ends · See more »
Gamma function
In mathematics, the gamma function (represented by, the capital Greek alphabet letter gamma) is an extension of the factorial function, with its argument shifted down by 1, to real and complex numbers.
New!!: Computer algebra system and Gamma function · See more »
Garbage collection (computer science)
In computer science, garbage collection (GC) is a form of automatic memory management.
New!!: Computer algebra system and Garbage collection (computer science) · See more »
Gaussian elimination
In linear algebra, Gaussian elimination (also known as row reduction) is an algorithm for solving systems of linear equations.
New!!: Computer algebra system and Gaussian elimination · See more »
Gosper's algorithm
In mathematics, Gosper's algorithm is a procedure for finding sums of hypergeometric terms that are themselves hypergeometric terms.
New!!: Computer algebra system and Gosper's algorithm · See more »
Graph of a function
In mathematics, the graph of a function f is, formally, the set of all ordered pairs, and, in practice, the graphical representation of this set.
New!!: Computer algebra system and Graph of a function · See more »
Gröbner basis
In mathematics, and more specifically in computer algebra, computational algebraic geometry, and computational commutative algebra, a Gröbner basis is a particular kind of generating set of an ideal in a polynomial ring over a field.
New!!: Computer algebra system and Gröbner basis · See more »
Greatest common divisor
In mathematics, the greatest common divisor (gcd) of two or more integers, which are not all zero, is the largest positive integer that divides each of the integers.
New!!: Computer algebra system and Greatest common divisor · See more »
Group theory
In mathematics and abstract algebra, group theory studies the algebraic structures known as groups.
New!!: Computer algebra system and Group theory · See more »
Hewlett-Packard
The Hewlett-Packard Company (commonly referred to as HP) or shortened to Hewlett-Packard was an American multinational information technology company headquartered in Palo Alto, California.
New!!: Computer algebra system and Hewlett-Packard · See more »
HP 39/40 series
HP 39/40 series are graphing calculators from Hewlett-Packard, the successors of HP 38G.
New!!: Computer algebra system and HP 39/40 series · See more »
HP Prime
The HP Prime is a graphing calculator introduced by Hewlett-Packard in 2013 and currently manufactured by HP Inc. It was designed with features resembling those of smartphones, such as a full-color touchscreen display and the ability to expand functionality by means of downloadable applications.
New!!: Computer algebra system and HP Prime · See more »
HP-28 series
The HP-28C and HP-28S were two graphing calculators produced by Hewlett-Packard from 1986 to 1992.
New!!: Computer algebra system and HP-28 series · See more »
Incomplete gamma function
In mathematics, the upper incomplete gamma function and lower incomplete gamma function are types of special functions, which arise as solutions to various mathematical problems such as certain integrals.
New!!: Computer algebra system and Incomplete gamma function · See more »
Integer
An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").
New!!: Computer algebra system and Integer · See more »
Integral
In mathematics, an integral assigns numbers to functions in a way that can describe displacement, area, volume, and other concepts that arise by combining infinitesimal data.
New!!: Computer algebra system and Integral · See more »
Interpreter (computing)
In computer science, an interpreter is a computer program that directly executes, i.e. performs, instructions written in a programming or scripting language, without requiring them previously to have been compiled into a machine language program.
New!!: Computer algebra system and Interpreter (computing) · See more »
Interval arithmetic
Interval arithmetic, interval mathematics, interval analysis, or interval computation, is a method developed by mathematicians since the 1950s and 1960s, as an approach to putting bounds on rounding errors and measurement errors in mathematical computation and thus developing numerical methods that yield reliable results.
New!!: Computer algebra system and Interval arithmetic · See more »
Invertible matrix
In linear algebra, an n-by-n square matrix A is called invertible (also nonsingular or nondegenerate) if there exists an n-by-n square matrix B such that where In denotes the n-by-n identity matrix and the multiplication used is ordinary matrix multiplication.
New!!: Computer algebra system and Invertible matrix · See more »
Knuth–Bendix completion algorithm
The Knuth – Bendix completion algorithm (named after Donald Knuth and Peter Bendix) is a semi-decision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.
New!!: Computer algebra system and Knuth–Bendix completion algorithm · See more »
Limit (mathematics)
In mathematics, a limit is the value that a function (or sequence) "approaches" as the input (or index) "approaches" some value.
New!!: Computer algebra system and Limit (mathematics) · See more »
Limit of a function
Although the function (sin x)/x is not defined at zero, as x becomes closer and closer to zero, (sin x)/x becomes arbitrarily close to 1.
New!!: Computer algebra system and Limit of a function · See more »
Lisp (programming language)
Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.
New!!: Computer algebra system and Lisp (programming language) · See more »
List of computer algebra systems
The following tables provide a comparison of computer algebra systems (CAS).
New!!: Computer algebra system and List of computer algebra systems · See more »
List of statistical packages
Statistical software are specialized computer programs for analysis in statistics and econometrics.
New!!: Computer algebra system and List of statistical packages · See more »
Macsyma
Macsyma (Project MAC’s SYmbolic MAnipulator) is one of the oldest general purpose computer algebra systems which is still widely used.
New!!: Computer algebra system and Macsyma · See more »
Magma (computer algebra system)
Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics.
New!!: Computer algebra system and Magma (computer algebra system) · See more »
Maple (software)
Maple is a symbolic and numeric computing environment, and is also a multi-paradigm programming language.
New!!: Computer algebra system and Maple (software) · See more »
Martinus J. G. Veltman
Martinus Justinus Godefriedus "Tini" Veltman (born 27 June 1931) is a Dutch theoretical physicist.
New!!: Computer algebra system and Martinus J. G. Veltman · See more »
Mathematical software
Mathematical software is software used to model, analyze or calculate numeric, symbolic or geometric data.
New!!: Computer algebra system and Mathematical software · See more »
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in his or her work, typically to solve mathematical problems.
New!!: Computer algebra system and Mathematician · See more »
MATHLAB
MATHLAB is a computer algebra system created in 1964 by Carl Engelman at MITRE and written in LISP.
New!!: Computer algebra system and MATHLAB · See more »
MATLAB
MATLAB (matrix laboratory) is a multi-paradigm numerical computing environment and proprietary programming language developed by MathWorks.
New!!: Computer algebra system and MATLAB · See more »
Matrix (mathematics)
In mathematics, a matrix (plural: matrices) is a rectangular array of numbers, symbols, or expressions, arranged in rows and columns.
New!!: Computer algebra system and Matrix (mathematics) · See more »
Matrix multiplication
In mathematics, matrix multiplication or matrix product is a binary operation that produces a matrix from two matrices with entries in a field, or, more generally, in a ring or even a semiring.
New!!: Computer algebra system and Matrix multiplication · See more »
Maxima (software)
Maxima is a computer algebra system (CAS) based on a 1982 version of Macsyma.
New!!: Computer algebra system and Maxima (software) · See more »
Memory management
Memory management is a form of resource management applied to computer memory.
New!!: Computer algebra system and Memory management · See more »
Mitre Corporation
The Mitre Corporation (stylized as The MITRE Corporation and MITRE) is an American not-for-profit organization based in Bedford, Massachusetts, and McLean, Virginia.
New!!: Computer algebra system and Mitre Corporation · See more »
MuMATH
muMATH is a computer algebra system (CAS), which was developed in the late 1970s and early eighties by Albert D. Rich and David Stoutemyer of Soft Warehouse in Honolulu, Hawaii.
New!!: Computer algebra system and MuMATH · See more »
Nested radical
In algebra, a nested radical is a radical expression (one containing a square root sign, cube root sign, etc.) that contains (nests) another radical expression.
New!!: Computer algebra system and Nested radical · See more »
Number theory
Number theory, or in older usage arithmetic, is a branch of pure mathematics devoted primarily to the study of the integers.
New!!: Computer algebra system and Number theory · See more »
Padé approximant
In mathematics a Padé approximant is the 'best' approximation of a function by a rational function of given order – under this technique, the approximant's power series agrees with the power series of the function it is approximating.
New!!: Computer algebra system and Padé approximant · See more »
Partial derivative
In mathematics, a partial derivative of a function of several variables is its derivative with respect to one of those variables, with the others held constant (as opposed to the total derivative, in which all variables are allowed to vary).
New!!: Computer algebra system and Partial derivative · See more »
Partial fraction decomposition
In algebra, the partial fraction decomposition or partial fraction expansion of a rational function (that is, a fraction such that the numerator and the denominator are both polynomials) is the operation that consists in expressing the fraction as a sum of a polynomial (possibly zero) and one or several fractions with a simpler denominator.
New!!: Computer algebra system and Partial fraction decomposition · See more »
PLAN (test)
The PLAN is a preliminary ACT test that is generally administered in the sophomore year.
New!!: Computer algebra system and PLAN (test) · See more »
Polynomial
In mathematics, a polynomial is an expression consisting of variables (also called indeterminates) and coefficients, that involves only the operations of addition, subtraction, multiplication, and non-negative integer exponents of variables.
New!!: Computer algebra system and Polynomial · See more »
Polynomial greatest common divisor
In algebra, the greatest common divisor (frequently abbreviated as GCD) of two polynomials is a polynomial, of the highest possible degree, that is a factor of both the two original polynomials.
New!!: Computer algebra system and Polynomial greatest common divisor · See more »
Programming language
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
New!!: Computer algebra system and Programming language · See more »
Quantifier elimination
Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science.
New!!: Computer algebra system and Quantifier elimination · See more »
Rational number
In mathematics, a rational number is any number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator.
New!!: Computer algebra system and Rational number · See more »
Recurrence relation
In mathematics, a recurrence relation is an equation that recursively defines a sequence or multidimensional array of values, once one or more initial terms are given: each further term of the sequence or array is defined as a function of the preceding terms.
New!!: Computer algebra system and Recurrence relation · See more »
Reduce (computer algebra system)
Reduce is a general-purpose computer algebra system geared towards applications in physics.
New!!: Computer algebra system and Reduce (computer algebra system) · See more »
Rewriting
In mathematics, computer science, and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a formula with other terms.
New!!: Computer algebra system and Rewriting · See more »
Riemann zeta function
The Riemann zeta function or Euler–Riemann zeta function,, is a function of a complex variable s that analytically continues the sum of the Dirichlet series which converges when the real part of is greater than 1.
New!!: Computer algebra system and Riemann zeta function · See more »
Risch algorithm
In symbolic computation (or computer algebra), at the intersection of mathematics and computer science, the Risch algorithm is an algorithm for indefinite integration.
New!!: Computer algebra system and Risch algorithm · See more »
Root-finding algorithm
In mathematics and computing, a root-finding algorithm is an algorithm for finding roots of continuous functions.
New!!: Computer algebra system and Root-finding algorithm · See more »
SageMath
SageMath (previously Sage or SAGE, "System for Algebra and Geometry Experimentation") is a computer algebra system with features covering many aspects of mathematics, including algebra, combinatorics, graph theory, numerical analysis, number theory, calculus and statistics.
New!!: Computer algebra system and SageMath · See more »
SAT
The SAT is a standardized test widely used for college admissions in the United States.
New!!: Computer algebra system and SAT · See more »
SAT Subject Tests
SAT Subject Tests are 20 multiple-choice standardized tests given by the College Board on individual subjects.
New!!: Computer algebra system and SAT Subject Tests · See more »
Satisfiability modulo theories
In computer science and mathematical logic, the satisfiability modulo theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality.
New!!: Computer algebra system and Satisfiability modulo theories · See more »
Schoonschip
Schoonschip was one of the first computer algebra systems, developed in 1963 by Martinus J. G. Veltman, for use in particle physics.
New!!: Computer algebra system and Schoonschip · See more »
Schwartz–Zippel lemma
In mathematics, the Schwartz–Zippel lemma (also called the DeMillo-Lipton-Schwartz–Zippel lemma) is a tool commonly used in probabilistic polynomial identity testing, i.e. in the problem of determining whether a given multivariate polynomial is the 0-polynomial (or identically equal to 0).
New!!: Computer algebra system and Schwartz–Zippel lemma · See more »
Scientist
A scientist is a person engaging in a systematic activity to acquire knowledge that describes and predicts the natural world.
New!!: Computer algebra system and Scientist · See more »
Series (mathematics)
In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity.
New!!: Computer algebra system and Series (mathematics) · See more »
Signal processing
Signal processing concerns the analysis, synthesis, and modification of signals, which are broadly defined as functions conveying "information about the behavior or attributes of some phenomenon", such as sound, images, and biological measurements.
New!!: Computer algebra system and Signal processing · See more »
SIMH
SIMH is a highly portable, multi-system emulator which runs on Windows, Linux, Mac OS X, FreeBSD, OpenBSD, NetBSD and OpenVMS.
New!!: Computer algebra system and SIMH · See more »
Special functions
Special functions are particular mathematical functions which have more or less established names and notations due to their importance in mathematical analysis, functional analysis, physics, or other applications.
New!!: Computer algebra system and Special functions · See more »
String (computer science)
In computer programming, a string is traditionally a sequence of characters, either as a literal constant or as some kind of variable.
New!!: Computer algebra system and String (computer science) · See more »
String-searching algorithm
In computer science, string-searching algorithms, sometimes called string-matching algorithms, are an important class of string algorithms that try to find a place where one or several strings (also called patterns) are found within a larger string or text.
New!!: Computer algebra system and String-searching algorithm · See more »
Symbolic integration
In calculus, symbolic integration is the problem of finding a formula for the antiderivative, or indefinite integral, of a given function f(x), i.e. to find a differentiable function F(x) such that This is also denoted.
New!!: Computer algebra system and Symbolic integration · See more »
Synthesizer
A synthesizer (often abbreviated as synth, also spelled synthesiser) is an electronic musical instrument that generates electric signals that are converted to sound through instrument amplifiers and loudspeakers or headphones.
New!!: Computer algebra system and Synthesizer · See more »
Texas Instruments
Texas Instruments Inc. (TI) is an American technology company that designs and manufactures semiconductors and various integrated circuits, which it sells to electronics designers and manufacturers globally.
New!!: Computer algebra system and Texas Instruments · See more »
TI-89 series
The TI-89 and the TI-89 Titanium are graphing calculators developed by Texas Instruments (TI).
New!!: Computer algebra system and TI-89 series · See more »
TI-92 series
The TI-92 series of graphing calculators are a line of calculators produced by Texas Instruments.
New!!: Computer algebra system and TI-92 series · See more »
TI-Nspire series
The TI-Nspire product line is a series of graphing calculators developed by Texas Instruments.
New!!: Computer algebra system and TI-Nspire series · See more »
Total derivative
In the mathematical field of differential calculus, a total derivative or full derivative of a function f of several variables, e.g., t, x, y, etc., with respect to an exogenous argument, e.g., t, is the limiting ratio of the change in the function's value to the change in the exogenous argument's value (for arbitrarily small changes), taking into account the exogenous argument's direct effect as well as indirect effects via the other arguments of the function.
New!!: Computer algebra system and Total derivative · See more »
Trigonometric functions
In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are functions of an angle.
New!!: Computer algebra system and Trigonometric functions · See more »
University of New Mexico
The University of New Mexico (also referred to as UNM) is a public research university in Albuquerque, New Mexico.
New!!: Computer algebra system and University of New Mexico · See more »
User interface
The user interface (UI), in the industrial design field of human–computer interaction, is the space where interactions between humans and machines occur.
New!!: Computer algebra system and User interface · See more »
Wilf–Zeilberger pair
In mathematics, specifically combinatorics, a Wilf–Zeilberger pair, or WZ pair, is a pair of functions that can be used to certify certain combinatorial identities.
New!!: Computer algebra system and Wilf–Zeilberger pair · See more »
Wolfram Mathematica
Wolfram Mathematica (usually termed Mathematica) is a modern technical computing system spanning most areas of technical computing — including neural networks, machine learning, image processing, geometry, data science, visualizations, and others.
New!!: Computer algebra system and Wolfram Mathematica · See more »
Xcas
Xcas is a user interface to Giac, a free, basic Computer Algebra System (CAS) for Microsoft Windows, Apple macOS and Linux/Unix.
New!!: Computer algebra system and Xcas · See more »
Redirects here:
Computer Algebra System, Computer algebra environment, Computer algebra package, Computer algebra systems, Computer algebraic system, Computer-algebra systems, Computerized algebra system, Computerized algebra systems, Symbolic algebra, Symbolic solver.
References
[1] https://en.wikipedia.org/wiki/Computer_algebra_system
