Search results

Articles (7)

Journals (0)

1-7 of 7 results for geometric theorem proving

Sort by:

Relevance

Select all

Sort by:

Relevance

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 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 2021-9-17

Polarization tensor vanishing structure of general shape: Existence for small perturbations of balls

Hyeonbae Kang, Xiaofei Li, Shigeru Sakaguchi

Asymptotic Analysis

Retricted access

Research article

First published 2010-05

Reduction-based Control of Three-dimensional Bipedal Walking Robots

Robert D. Gregg, Mark W. Spong

The International Journal of Robotics Research

Open access

Research article

First published 2012-10

Holes Detection in Anisotropic Sensornets: Topological Methods

Wei Wei, Xiao-Lin Yang, Pei-Yi Shen [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2018-2

Infinitesimally affine deformations of a hypersurface

Nikos Kadianakis, Fotios I Travlopanos

Mathematics and Mechanics of Solids

Retricted access

Research article

First published 2007-8

STUDIES IN BIOLOGICALLY INSPIRED COMPUTING

I. I. Esat

Journal of Integrated Design and Process Science