A Decision Procedure for Geometry in Coq

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-30142-4_17
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Goal-Directed Decision Procedure for Hybrid PDL

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2013English

A Decision Procedure for Unitary Linear Quantum Cellular Automata

SIAM Journal on Computing
MathematicsComputer Science
2002English

A Decision-Making Procedure for Resolution-Based SAT-Solvers

English

PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic

Journal of Applied Non-Classical Logics
PhilosophyLogic
2004English

Decision Support Procedure for Medical Equipment Maintenance Management

Journal of Clinical Engineering
MedicineBiomedical Engineering
2016English

An Iterative Aggregation Procedure for Markov Decision Processes

Operations Research
Management ScienceComputer Science ApplicationsOperations Research
1982English

A Constructive Denotational Semantics for Kahn Networks in Coq

English

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Verifying a Local Generic Solver in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy