The following pages link to Mathematical Knowledge Management (Q5313080):
Displaying 21 items.
- C-CoRN (Q18827) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Coquelicot: a user-friendly library of real analysis for Coq (Q2018661) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Axiomatic reals and certified efficient exact real computation (Q2148797) (← links)
- Invariants for the FoCaL language (Q2379680) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Mathematical knowledge management in Foc (Q2767924) (← links)
- A Formal Proof of Cauchy’s Residue Theorem (Q2829261) (← links)
- Web interfaces for proof assistants (Q2867935) (← links)
- Formal Verification of Exact Computations Using Newton’s Method (Q3183542) (← links)
- Working with Mathematical Structures in Type Theory (Q3499757) (← links)
- Certified Exact Transcendental Real Number Computation in Coq (Q3543662) (← links)
- (Q4989411) (← links)
- (Q5015189) (← links)
- Continuous and monotone machines (Q5089226) (← links)
- Automating Side Conditions in Formalized Partial Functions (Q5505512) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
