Sage Journals: Discover world-class research

Free access

Research article

First published 2015-4

More Power through Symbolic Computation: Extending Stata by using the Maxima Computer algebra system

Giovanni L. Lo Magno

The Stata Journal: Promoting communications on statistics and Stata

Retricted access

Research article

First published 1999-8

Specification and Integration of Theorem Provers and Computer Algebra Systems

P.G. Bertoli, J. Calmet, F. Giunchiglia [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2000-2

A computer algebra-based coordinate reduction technique for multi-body systems

G A Chochia, P K Chawdhry, C R Burrows

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2008-5

Simple object oriented designed computer algebra system

D.M. Akbar Hussain, Shaiq A. Haq, Zafar Ullah Khan [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 1999-8

A Pragmatic Approach to Extending Provers by Computer Algebra — with Applications to Coding Theory

Clemens Ballarin, Lawrence C. Paulson

Fundamenta Informaticae

Retricted access

Research article

First published 1993-4

Symbolic mathematics in control system analysis and design

H.A. Barker, I.T. Harvey, P. Townsend

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2013-10

An Incidence Algebra Approach to Knowledge Granulation in Pawlak Information Systems

Marcin Wolski, Anna Gomolińska

Fundamenta Informaticae

Retricted access

Research article

First published 2009-2

Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing

Yingxu Wang

Fundamenta Informaticae

Retricted access

Research article

First published 2021-4-16

Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision

Svetlana Selivanova, Victor Selivanov

Computability

Retricted access

Research article

First published 2017-9

Determination of optimum heap height from column leach tests: 1. Model development and initial results

T. Apelt, K. Forrester, M. Short [...]

Mineral Processing and Extractive Metallurgy: Transactions of the Institutions of Mining and Metallurgy

Search results