Sage Journals: Discover world-class research

Retricted access

Research article

First published 2019

Computable Contact Algebras

Nikolay Bazhenov

Fundamenta Informaticae

Retricted access

Research article

First published 2014-11

Computations in Boolean Algebra with Approximation

Armen Kostanyan, Paruyr Khnkoyan

Fundamenta Informaticae

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 2022

Computing Square Roots in Quaternion Algebras

Przemysław Koprowski

Fundamenta Informaticae

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 2012-5

Computational calculus of the law of a family of solvable Lie algebras

J.C. Benjumea, M.D. Morales, J. Núñez [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 1999-8

Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving

Stéphane Fèvre, Dongming Wang

Fundamenta Informaticae

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 1997-10

Fork Algebras in Algebra,Logic and Computer Science

Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer

Fundamenta Informaticae

Search results