Verifying a Local Generic Solver in Coq

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-15769-1_21
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq

2020English

Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq

2018English

A Fast Numerical Solver for Local Barycentric Coordinates

Computer Aided Geometric Design
Computer GraphicsAutomotive EngineeringSimulationComputer-Aided DesignModelingAerospace Engineering
2019English

GASPACHO: A Generic Automatic Solver Using Proximal Algorithms for Convex Huge Optimization Problems

2017English

A Decision Procedure for Geometry in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Nested Abstract Syntax in Coq

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Local/Global Non-Intrusive Crack Propagation Simulation Using a Multigrid X-Fem Solver

Computational Mechanics
Mechanical EngineeringApplied MathematicsComputational TheoryMathematicsComputational MechanicsComputational MathematicsOcean Engineering
2013English

Partial Derivative Automata Formalized in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Constructive Denotational Semantics for Kahn Networks in Coq

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy