You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (21)

Journals (0)

1-10 of 21 results for Interactive Theorem Proving

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Mechanical Analysis of Finite Idempotent Relations

Retricted access

Research article

First published 2011-2

Mechanical Analysis of Finite Idempotent Relations

Florian Kammüller

Fundamenta Informaticae

Select article: The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Retricted access

Research article

First published 2005-11

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Select article: The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Retricted access

Research article

First published 2005-10

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Select article: Certifying Dictionary Construction in Isabelle/HOL

Retricted access

Research article

First published 2019

Certifying Dictionary Construction in Isabelle/HOL

Lars Hupel

Fundamenta Informaticae

Select article: Cauchy’s stress theorem stated and proved on atomistic grounds

Retricted access

Research article

First published 2025-9

Cauchy’s stress theorem stated and proved on atomistic grounds

Antonio DiCarlo

Mathematics and Mechanics of Solids

Select article: PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL

Open access

Research article

First published 2025-11

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL

Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D Brucker [...]

Journal of Computer Security

Select article: Using a Theorem by Andersen and the Dichotomous Rasch Model to Assess the Presence of Random Guessing in Multiple Choice Items

Retricted access

Research article

First published 2012-6

Using a Theorem by Andersen and the Dichotomous Rasch Model to Assess the Presence of Random Guessing in Multiple Choice Items

David Andrich, Ida Marais, Stephen Humphry

Journal of Educational and Behavioral Statistics

Select article: Adaptive dynamic programming-based controller with admittance adaptation for robot–environment interaction

Open access

Research article

First published 2020-5

Adaptive dynamic programming-based controller with admittance adaptation for robot–environment interaction

Hong Zhan, Dianye Huang, Zhaopeng Chen [...]

International Journal of Advanced Robotic Systems

Select article: Central Limit Theorem for Renewal Theory for Several Patterns

Retricted access

Research article

First published 1997-3

Central Limit Theorem for Renewal Theory for Several Patterns

Miroslav S. Tanushev, Richard Arratia

Journal of Computational Biology

Select article: On the equations of motion in multibody dynamics

Retricted access

Research article

First published 2012-3

On the equations of motion in multibody dynamics

P Lidström

Mathematics and Mechanics of Solids

1
2
3
10 / page

Article type

Publication date

Subjects

Access