Results 271 to 280 of about 1,466,157 (309)
Some of the next articles are maybe not open access.
A Computer Algebra System: Risa/Asir
Algebra, Geometry, and Software Systems, 2003M. Noro
semanticscholar +1 more source
Extending the HOL Theorem Prover with a Computer Algebra System to Reason about the Reals
HUG, 1993J. Harrison, L. Théry
semanticscholar +1 more source
The design of maple: A compact, portable and powerful computer algebra system
European Conference on Computer Algebra, 1983B. Char +3 more
semanticscholar +1 more source
Capabilities of the MUMATH-78 computer algebra system for the INTEL-8080 microprocessor (invited)
Symbolic and Algebraic Computation, 1979A. D. Rich, D. R. Stoutemyer
semanticscholar +1 more source
Motivating Constraints of a Pedagogy-Embedded Computer Algebra System
, 2007T. Dana-Picard
semanticscholar +1 more source
Application of the REDUCE Computer Algebra System to Stability Analysis of Difference Schemes
Computers and Mathematics, 1989V. Ganzha, R. Liska
semanticscholar +1 more source
Cadabra: a field-theory motivated symbolic computer algebra system
Computer Physics Communications, 2007Kasper Peeters
exaly