Cover Image

Formalization of mathematics through proof assistants: a study on the state of the art

The formalization of mathematics in practice relies heavily on proof assistants and automatic theorem provers, therefore we studied what are the state of the art proof assitants and their limitations to understand what are the main challenges in making formalized mathematics common practice among ma...

Full description

Saved in:

Bibliographic Details
Main Authors:	Inonhe, Henrique Yuji Rossetti, Carnielli, Walter Alexandre
Format:	Online
Language:	English
Published:	Universidade Estadual de Campinas 2019
Subjects:	Proof assistants Formalization of mathematics Philosophy of formal sciences.
Online Access:	https://econtents.sbu.unicamp.br/eventos/index.php/pibic/article/view/600
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ON PROOFS IN MATHEMATICS
by: Silva, Jairo José
Published: (2015)

PROOF IN MATHEMATICS: RESPONSE TO JAIRO JOSÉ DA SILVA
by: Chateaubriand, Oswaldo
Published: (2015)

PROOF AND EXPLICATION: RESPONSE TO JOSÉ SEOANE
by: Chateaubriand, Oswaldo
Published: (2015)

REVISITING THE QUESTION ABOUT PROOF: PHILOSOPHICAL THEORY, HISTORY, AND MATHEMATICAL PRACTICE
by: Goethe, Norma B.
Published: (2015)

FORMALIZATION AND INFINITY
by: Porto, André
Published: (2015)

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
by: Carnielli, Walter, et al.
Published: (2015)

Formal, formalism and formalization in the ducrot and dubois dictionaries: some questions
by: Castro, Vinícius Massad, et al.
Published: (2018)

TRUTH AND PROOF
by: Bueno, Otávio
Published: (2015)

PROOF AND PRACTICE: RESPONSE TO NORMA GOETHE
by: Chateaubriand, Oswaldo
Published: (2015)

PROOF AND INFINITY: RESPONSE TO ANDRÉ PORTO
by: Chateaubriand, Oswaldo
Published: (2015)

Morphology and Formal Syntax and Interface Phenomena
by: Quarezemin, Sandra, et al.
Published: (2021)

A formal-logical approach to the concept of god
by: Silvestre, Ricardo Sousa
Published: (2022)

Non formal philosophy of education and complexity in community action
by: Saavedra, Inês, et al.
Published: (2020)

Cultural mediation: construction of ethical-aesthetic senses in non-formal education
by: Uriarte, Mônica Zewe, et al.
Published: (2021)

Enunciation in perspective: methodological aspects based on a study of “The formal apparatus of enunciation”
by: Flores, Valdir do Nascimento, et al.
Published: (2023)

Contribuições da educação não formal no aprendizado sobre geodiversidade: projeto geodiversidade na educação
by: Pimentel, Carla Silvia, et al.
Published: (2018)

Contributions, limitations, and challenges of self-regulated learning in the educational context
by: Boruchovitch, Evely, et al.
Published: (2023)

Afinal, o que é divulgação científica? Explanação e proposição de uma definição plural
by: Valério, Marcelo, et al.
Published: (2025)

Escola pública e educação não-formal caracterizando o programa Projovem campo
by: Mamoré, Luzia Nunes, et al.
Published: (2013)

Patrimônio cultural rural paulista: diálogos entre o turismo e a educação não formal
by: Lima, Lívia Morais Garcia
Published: (2015)

A paleta formal construtiva de Flávio de Carvalho: arquitetura elaborada como um objeto artístico
by: Lino, Sulamita Fonseca
Published: (2005)

Effects of the minimum wage on the dynamics of formal and informal employment in Brazil: building research hypotheses
by: Cardoso, Adalberto, et al.
Published: (2022)

Um novo olhar ao belo – a arte na educação não formal
by: Silva, Jucelina Umbelina da, et al.
Published: (2016)

Sketch for a formal natural theology: existence and uniqueness of god
by: Bertato, Fábio M.
Published: (2021)

GAIA Project: 10 years of scientific dissemination in a non-formal space
by: Santos, Jussiara Dias dos, et al.
Published: (2021)

Analysis of mental maps in the perception of students of Fundamental Education II about the soil
by: Val, Carla Deisiane de Oliveira Costa do, et al.
Published: (2022)

Gender diversity and education in rural areas of Brazil
by: Schwendler, Sônia Fátima, et al.
Published: (2022)

Linguistics as Science Teaching
by: Othero, Gabriel de Ávila, et al.
Published: (2024)

Dificuldades de aprendizagem no ensino superior: reflexões a partir da perspectiva piagetiana
by: Saravali, Eliane Giachetto
Published: (2008)

Child-youth literature in accordance with teaching geology in child education: an experience report
by: Gomes, Cristiane Heredia, et al.
Published: (2021)

Kant and Newton’s problem: the formal metaphysics of the essential forces of matter
by: Barra, Eduardo Salles de Oliveira, et al.
Published: (2023)

The Karitiana’s temporal and aspectual system
by: Müller, Ana, et al.
Published: (2020)

Do linguistic meanings meet linguistic form?
by: Saab, Andrés
Published: (2022)

THE JUDGMENT-VIEW OF PAIN
by: Psarros, Nikos
Published: (2016)

Thoughts on the "global turn" as a disciplinary future: escaping eurocentric approaches
by: Farago, Claire, et al.
Published: (2021)

O trabalho com artes na educação não-formal: construindo saberes e ampliando horizontes
by: Romano, Samanta
Published: (2016)

Oficina de trabalhos manuais: oportunizando experiências significativas à comunidade
by: Santos, Ana Cláudia Moraes, et al.
Published: (2017)

Educational strategies and resources for Geosciences teaching in basic education
by: Ponte, Maxwell L., et al.
Published: (2018)

ONGs e escolas públicas: a palavra dos educadores
by: Silva, Daniel Monteiro da
Published: (2010)

Presentation of the dossier Formal linguistic theories and interfaces in Basic Education
by: Balduino, Amanda Macedo, et al.
Published: (2025)