JAR 2010 | Sciweavers

32

JAR
2010

100views more JAR 2010»

13 years 10 months ago

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

claim paper

Read More »

28

click to vote

JAR
2010

108views more JAR 2010»

Procedural Representation of CIC Proof Terms

13 years 10 months ago

Download helm.cs.unibo.it

Abstract. In this paper we propose an eﬀective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...

Ferruccio Guidi

claim paper

Read More »

26

click to vote

JAR
2010

83views more JAR 2010»

HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler

13 years 10 months ago

Download research.microsoft.com

Sascha Böhme, Michal Moskal, Wolfram Schulte,...

claim paper