Concepedia

Mauro Di Nasso

MD

13

Publications

385

Citations

12

H-Index

2002

Active since

Affiliations

University of Pisa(Current)

York University

University of Northern Colorado

Louisiana State University

College of Charleston

Mauro Di Nasso is an author at University of Pisa specializing in discrete mathematics, automated reasoning, and formal methods.

Top concepts

Discrete MathematicsAutomated ReasoningEntropyPhysicsEngineeringFormal MethodsMathematical Programming

Publications per year

2002–2015

13

Publications

13

Numerosities of labelled sets: a new way of counting

Vieri Benci, Mauro Di Nasso · Advances in Mathematics · 2003 · 134 citations

Combinatory Analysis, Enumerative Combinatorics, Discrete Mathematics +2

Alpha-theory: An elementary axiomatics for nonstandard analysis

Vieri Benci, Mauro Di Nasso · Expositiones Mathematicae · 2003 · 52 citations

Automated Reasoning, Foundation Of Mathematics, Elementary Axiomatics +1

An Aristotelian notion of size

Vieri Benci, Mauro Di Nasso, Marco Forti · Annals of Pure and Applied Logic · 2006 · 43 citations

Foundation Of Mathematics, Abstract Object Theory, Aristotelian Notion

Numerosities of point sets over the real line

Mauro Di Nasso, Marco Forti · Transactions of the American Mathematical Society · 2010 · 26 citations · Full text

Mathematical Structure, Natural Cantorian Definitions, Extremal Set Theory +7

On a Sumset Conjecture of Erdős

Mauro Di Nasso, Isaac Goldbring, Renling Jin et al. · Canadian Journal of Mathematics · 2014 · 19 citations · Full text

Rows per page

1–5 of 13