
UCIml
 Referenced in 3379 articles
[sw04074]
 contact the Repository librarians. We have also set up a mirror site for the Repository ... Repository is a collection of databases, domain theories, and data generators that are used ... primary source of machine learning data sets. As an indication of the impact...

LERS
 Referenced in 122 articles
[sw08637]
 usage of rough set theory principle. Rough set theory is especially well suited to deal...

Isabelle/ZF
 Referenced in 63 articles
[sw04973]
 formalizes the greater part of elementary set theory, including relations, functions, injections, surjections, ordinals ... Wellordering Theorem. Isabelle/ZF also provides theories of lists, trees, etc., for formalizing computational notions ... cardinality of branching. (ZF: ZermeloFraenkel Set Theory...

4eMka2
 Referenced in 53 articles
[sw16168]
 that it bases on rough set theory combined with dominance relation, which is quite ... extraction of the classification rules from a set of already classified examples. These rules could ... simplified to preparation of the classified examples set and analysis of induced rules. It means ... does not have to get familiar with theory basis of used analysis model, which...

SINGULAR
 Referenced in 1504 articles
[sw00866]
 commutative algebra, algebraic geometry, and singularity theory. SINGULAR’s main computational objects are ideals ... Furthermore, it provides polynomial factorizations, resultant, characteristic set and gcd computations, syzygy and freeresolution...

Why3
 Referenced in 134 articles
[sw04438]
 library of logical theories (integer and real arithmetic, Boolean operations, sets and maps...

gamair
 Referenced in 317 articles
[sw11132]
 GAMs: An Introduction with R”. Data sets and scripts used in the book ”Generalized Additive ... Moreover, the book contains explanations of the theory underlying the statistical methods and material...

RSES
 Referenced in 23 articles
[sw22252]
 particular those based on Rough Set Theory...

DSTool
 Referenced in 104 articles
[sw06719]
 set ordinary differential equations. The methods employed by the theory of dynamical systems allow...

LPL software
 Referenced in 19 articles
[sw04860]
 connectives, formal proof techniques, quantifiers, basic set theory, and induction. Advanced chapters include proofs...

MBase
 Referenced in 17 articles
[sw08724]
 whole knowledge base in axiomatic set theory. The viability of this approach is proven...

Rseslib
 Referenced in 16 articles
[sw30225]
 other concepts of rough set theory and other data mining methods. The third version...

ROSE
 Referenced in 9 articles
[sw14795]
 ROSE  Software Implementation of the Rough Set Theory. This paper briefly describes ROSE software package ... knowledge discovery based on rough set theory in 32bit operating systems on PC computers ... implements classical rough set theory as well as its extension based on variable precision model...

RoughSets
 Referenced in 8 articles
[sw31808]
 Using Rough Set and Fuzzy Rough Set Theories. Implementations of algorithms for data analysis based ... rough set theory (RST) and the fuzzy rough set theory (FRST). We not only provide ... also popular algorithms that derive from those theories. The methods included in the package ... indiscernibility that are expressed with fuzzy sets (as proposed by Zadeh...

DEMORS
 Referenced in 8 articles
[sw02773]
 algorithm using differential evolution and rough set theory for constrained problems. The aim of this ... based on the use of rough set theory is a viable alternative to obtain ... Then, in the second stage, rough set theory is used to improve the spread ... adopt, on the one hand, a set of standard biobjective constrained test problems...

FRIL
 Referenced in 44 articles
[sw18490]
 with and combining the theories of probability and fuzzy sets. Extends the logic programming form...

RIM_DOM.F90
 Referenced in 37 articles
[sw25510]
 with boundaryonly discretizationtheory and Fortran code. A set of boundary integrals is derived ... boundary integrals. The main feature of the theory is that only the boundary...

Saga
 Referenced in 104 articles
[sw39677]
 SDCA, MISO and SVRG, a set of recently proposed incremental gradient algorithms with fast linear ... convergence rates. SAGA improves on the theory behind SAG and SVRG, with better theoretical convergence...

Hereditarily Finite Sets
 Referenced in 6 articles
[sw29249]
 Hereditarily Finite Sets. The theory of hereditarily finite sets is formalised, following the development ... satisfy all the axioms of ZF set theory apart from the axiom of infinity, which ... constructions that are possible in ZF set theory (Cartesian products, disjoint sums, natural numbers, functions...

BEAM189
 Referenced in 49 articles
[sw07447]
 inflatable beam theory to model the inflatable structures as a set of inflatable beam elements...