Richard Sommer

According to our database, Richard Sommer authored at least 6 papers between 1995 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Toward More Gender Diversity in CS through an Artificial Intelligence Summer Program for High School Girls.

Marie E. Vachovsky, Grace Wu, Sorathan Chaturapruek, Olga Russakovsky, Richard Sommer, Li Fei-Fei

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2004

A Proof Environment for Teaching Mathematics.

Richard Sommer, Gregory Nuckols

J. Autom. Reason., 2004

2001

A Computer Environment for Writing Ordinary Mathematical Proofs.

David McMath, Marianna Rozenfeld, Richard Sommer

Proceedings of the Logic for Programming, 2001

1999

The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength.

Jeremy Avigad, Richard Sommer

J. Symb. Log., 1999

1997

A model-theoretic approach to ordinal analysis.

Jeremy Avigad, Richard Sommer

Bull. Symb. Log., 1997

1995

Transfinite Induction within Peano Arithmetic.

Richard Sommer

Ann. Pure Appl. Log., 1995