Find link

language:

Find link is a tool written by Edward Betts.

searching for Reduce (computer algebra system) 15 found (36 total)

alternate case: reduce (computer algebra system)

Faugère's F4 and F5 algorithms (479 words) [view diff] no match in snippet view article find links to article

computer algebra system, as the option method=fgb of function Groebner[gbasis] in the Magma computer algebra system, in the SageMath computer algebra

Stephen Wolfram (2,643 words) [view diff] no match in snippet view article find links to article

the journal Complex Systems. Wolfram led the development of the computer algebra system SMP (Symbolic Manipulation Program) in the Caltech physics department

Magma (algebra) (1,825 words) [view diff] no match in snippet view article

(constant sequence of the) endomorphism. Universal algebra Magma computer algebra system, named after the object of this article. Commutative magma Algebraic

Pure (programming language) (957 words) [view diff] no match in snippet view article

https://q-lang.sourceforge.net/ "REDUCE Related Projects". REDUCE Computer Algebra System. Retrieved 2025-01-19. FAUST https://faust.grame

K3 surface (5,246 words) [view diff] no match in snippet view article find links to article

homepage for a catalog of K3 surfaces K3 database for the Magma computer algebra system The geometry of K3 surfaces, lectures by David Morrison (1988)

Timeline of computational physics (1,499 words) [view diff] no match in snippet view article find links to article

Jose Romildo Malaquias; Carlos Roberto Lopes. "Implementing a computer algebra system in Haskell" (PDF). Repositorio.ufop.br. Retrieved 1 December 2017

Automated theorem proving (2,933 words) [view diff] no match in snippet view article find links to article

Logic programming Proof checking Model checking Proof complexity Computer algebra system Program analysis (computer science) General Problem Solver Metamath

List of Dutch inventions and innovations (17,624 words) [view diff] no match in snippet view article find links to article

mathematical equations, which is now considered the very first computer algebra system. In computer science, mutual exclusion refers to the requirement

Qt (software) (5,335 words) [view diff] no match in snippet view article

mathematical symbolic computation program, sometimes termed a computer algebra system or program, used in many scientific, engineering, mathematical

Braid group (4,920 words) [view diff] no match in snippet view article find links to article

as illustrated in our second set of images above.) The free GAP computer algebra system can carry out computations in Bn if the elements are given in terms

Finite field (7,582 words) [view diff] no match in snippet view article find links to article

integers or the rational numbers. At least for this reason, every computer algebra system has functions for factoring polynomials over finite fields, or

TI-Nspire series (3,707 words) [view diff] no match in snippet view article find links to article

the ARM9 variant for its CPU. The TI-Nspire and TI-Nspire CAS (Computer algebra system) calculators have 32 MB of NAND Flash, 32 MB of SDRAM, and 512

Lisp (programming language) (10,027 words) [view diff] no match in snippet view article

Standard Lisp were widely used and ported, especially with the Computer Algebra System REDUCE. ZetaLisp, also termed Lisp Machine Lisp – used on the Lisp

Resolution of singularities (5,480 words) [view diff] no match in snippet view article find links to article

Some pictures of singularities and their resolutions SINGULAR: a computer algebra system with packages for resolving singularities. Notes and lectures for

Ramsey's theorem (8,534 words) [view diff] no match in snippet view article find links to article

SAT+CAS framework MathCheck, which integrates a SAT solver with a computer algebra system. The verification for R ( 3 , 8 ) = 28 {\displaystyle R(3,8)=28}