# Interactive Theorem Proving (conference)

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

2018

- Lecture Notes in Computer Science
- 2018

s of Invited Talks Deductive Program Verification Jean-Christophe FilliÃ¢tre 1 Lab. de Recherche en Informatique, Univ. Paris-Sudâ€¦Â (More)

Is this relevant?

Highly Cited

2011

Highly Cited

2011

- CADE
- 2011

Matita is an interactive theorem prover being developed by the Helm team at the University of Bologna. Its stable version 0.5.xâ€¦Â (More)

Is this relevant?

2010

2010

- ITP
- 2010

Why should wait for some days to get or receive the interactive theorem proving first international conference itp 2010 edinburghâ€¦Â (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- TPHOLs
- 2008

Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and forâ€¦Â (More)

Is this relevant?

2004

2004

- Comput. Graph. Forum
- 2004

This paper describes a Collision Method for massive virtual environments composed of millions of triangles. It has been appliedâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- ICLP
- 2004

There are two well-known approaches to programming with names, binding, and equivalence up to consistent renaming: representingâ€¦Â (More)

Is this relevant?

2001

Highly Cited

2000

Highly Cited

2000

- 2000

Five-dimensional models where the bulk is a slice of AdS have the virtue of solving the hierarchy problem. The electroweak scaleâ€¦Â (More)

Is this relevant?

2000

2000

- 2000

A treatment of linearized gravity is given in the Randall-Sundrum background. The graviton propagator is found in terms of theâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- 1998

We suggest a means of obtaining certain Greenâ€™s functions in 3+1-dimensional N = 4 supersymmetric Yang-Mills theory with a largeâ€¦Â (More)

Is this relevant?