4850 search results - page 57 / 970 » Proof and Computation in Geometry |
LPAR
2001
Springer
15 years 3 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
CGA
2000
14 years 11 months ago
2000
IMR
2005
Springer
15 years 4 months ago
2005
Springer
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
JAR
1998
14 years 10 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...