= Journal of Symbolic Computation
{wiki=Journal_of_Symbolic_Computation}
The Journal of Symbolic Computation is an academic journal that focuses on the area of symbolic computation, which involves the manipulation of mathematical expressions in symbolic form rather than in numerical form. Symbolic computation encompasses a wide range of topics, including but not limited to algebraic computation, computer algebra systems, automated reasoning, formal verification, and logic. The journal publishes original research articles, surveys, and reviews that contribute to the development and application of symbolic computation techniques and methodologies.
Back to article page