Sage Journals: Discover world-class research

Open access

Research article

First published 2025

A computational perspective on neural-symbolic integration

Gustav Šír

Neurosymbolic Artificial Intelligence

Retricted access

Research article

First published 2007-10

Introducing the Analysis of Bifurcation in Dynamical Systems by Symbolic Computation

Ubirajara F. Moreno, Pedro L. D. Peres, Ivanil S. Bonatti

International Journal of Electrical Engineering & Education

Retricted access

Research article

First published 2010-9-20

Computational soundness of symbolic zero-knowledge proofs *

Michael Backes, Dominique Unruh

Journal of Computer Security

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 2020-2-26

A differential extension of Descartes’ foundational approach: A new balance between symbolic and analog computation

Pietro Milici

Computability

Retricted access

Research article

First published 2015-12

A Granular Computing Approach to Symbolic Value Partitioning

Liu-Ying Wen, Fan Min

Fundamenta Informaticae

Retricted access

Research article

First published 2007-10

Computing Properties of Numerical Imperative Programs by Symbolic Computation

Jacques Carette, Ryszard Janicki

Fundamenta Informaticae

Retricted access

Research article

First published 2008-12

Using graph theory and symbolic computing to generate efficient models for multi-body vehicle dynamics

C Schmitke, K Morency, J McPhee

Proceedings of the Institution of Mechanical Engineers,Part K: Journal of Multi-body Dynamics

Retricted access

Research article

First published 1996-3

Symbolizing as a Constructive Activity in a Computer Microworld

Leslie P. Steffe, John Olive

Journal of Educational Computing Research

Retricted access

Research article

First published 2018-10

Extending the functionality of a symbolic computational dynamic solver by using a novel term-tracking method

Niloufar Motazedi, Matthew P Cartmell, Jem A Rongong

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

Search results