Topological and algebraic characterization of coverings sets obtained in rough sets discretization and attribute reduction algorithms

Abstract. A systematic study on approximation operators in covering based rough sets and some relations with relation based rough sets are presented. Two different frameworks of approximation operators in covering based rough sets were unified in a general framework of dual pairs. This work establishes some relationships between the most important generalization of rough set theory: Covering based and relation based rough sets. A structured genetic algorithm to discretize, to find reducts and to select approximation operators for classification problems is presented.Se presenta un estudio sistemático de los diferentes operadores de aproximación en conjuntos aproximados basados en cubrimientos y operadores de aproximación basados en relaciones binarias. Se unifican dos marcos de referencia sobre operadores de aproximación basados en cubrimientos en un único marco de referencia con pares duales. Se establecen algunas relaciones entre operadores de aproximación de dos de las más importantes generalizaciones de la teoría de conjuntos aproximados. Finalmente, se presenta un algoritmo genético estructurado, para discretizar, reducir atributos y seleccionar operadores de aproximación, en problemas de clasificación.Doctorad

Number Theory, Analysis and Geometry: In Memory of Serge Lang

Serge Lang was an iconic figure in mathematics, both for his own important work and for the indelible impact he left on the field of mathematics, on his students, and on his colleagues. Over the course of his career, Lang traversed a tremendous amount of mathematical ground. As he moved from subject to subject, he found analogies that led to important questions in such areas as number theory, arithmetic geometry and the theory of negatively curved spaces. Lang's conjectures will keep many mathematicians occupied far into the future. In the spirit of Lang’s vast contribution to mathematics, this memorial volume contains articles by prominent mathematicians in a variety of areas, namely number theory, analysis and geometry, representing Lang’s own breadth of interests. A special introduction by John Tate includes a brief and engaging account of Serge Lang’s life

The Arithmetic of Fields

This is the report on the Oberwolfach workshop The Arithmetic of Fields, held in February 2006. Field Arithmetic (MSC 12E30) is a branch of mathematics concerned with studying the inner structure (orderings, valuations, arithmetic, diophantine properties) of fields and their algebraic extensions using Galois theory, algebraic geometry and number theory, partially in connection with model theoretical methods from mathematical logic

Automated Reasoning

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book

Number Theory, Analysis and Geometry: In Memory of Serge Lang

Serge Lang was an iconic figure in mathematics, both for his own important work and for the indelible impact he left on the field of mathematics, on his students, and on his colleagues. Over the course of his career, Lang traversed a tremendous amount of mathematical ground. As he moved from subject to subject, he found analogies that led to important questions in such areas as number theory, arithmetic geometry and the theory of negatively curved spaces. Lang's conjectures will keep many mathematicians occupied far into the future. In the spirit of Lang’s vast contribution to mathematics, this memorial volume contains articles by prominent mathematicians in a variety of areas, namely number theory, analysis and geometry, representing Lang’s own breadth of interests. A special introduction by John Tate includes a brief and engaging account of Serge Lang’s life