Sciweavers

Share
JAR
2010
100views more  JAR 2010»
9 years 5 months ago
Geometry Constructions Language
We give a short survey of the main principles of our software for the visualisation and animation in mathematics and study the visibility and contour problems in the representation...
Predrag Janicic
JAR
2010
108views more  JAR 2010»
9 years 5 months ago
Procedural Representation of CIC Proof Terms
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
Ferruccio Guidi
JAR
2010
83views more  JAR 2010»
9 years 5 months ago
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler
Sascha Böhme, Michal Moskal, Wolfram Schulte,...
books