1.4k citations
- Centre National de la Recherche ScientifiqueFR819 papers
- Laboratoire Analyse, Géométrie et ApplicationsFR419 papers
- Laboratoire d'Informatique de Paris-NordFR291 papers
- Sorbonne Paris CitéFR283 papers
- Laboratoire de physique des lasersFR235 papers
- Sorbonne UniversitéFR182 papers
- Université Paris CitéFR178 papers
- Laboratoire des Sciences des Procédés et des MatériauxFR111 papers
- Université Paris-SaclayFR59 papers
- Université Paris-SudFR50 papers
- Université Pierre-et-Marie-CurieFR43 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR37 papers
65 papers · 1 filter
Efficient Decision Procedures for RNmatrix Semantics
Renato R. Leme, Carlos Olarte, Elaine Pimentel
Logical matrices provide a semantic framework in which connectives are interpreted by deterministic truth-functions. While elegant, this approach is often too restrictive to captur…
Collusion Relations and their Applications to Balance Theory
Jean-Baptiste Joinet, Carlos Olarte
We study quadrangular properties of binary relations on a set X -i.e., properties defined on configurations of four elements -- within an agonistic interpretation, where xRy is int…
A Rocq Formalization of Simplicial Lagrange Finite Elements
Sylvie Boldo, François Clément, Vincent Martin +2
Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finit…
A Rocq Formalization of Monomial and Graded Orders
Sylvie Boldo, François Clément, Vincent Martin +1
Even if binary relations and orders are a common formalization topic, we need to formalize specific orders (namely monomial and graded) in the process of formalizing in Rocq the fi…
Maths with Coq in L1, a pedagogical experiment
Marie Kerjean, Micaela Mayero, Pierre Rousselin
In France, the first year of study at university is usually abbreviated L1 (for premiere annee de Licence). At Sorbonne Paris Nord University, we have been teaching an 18 hour intr…
A Constraint Opinion Model
Fabio Gadducci, Carlos Olarte, Frank Valencia
This paper introduces a generalised opinion model that extends the standard DeGroot model by representing agents' opinions and influences as soft constraints rather than single rea…