Directorio | Informática | Ciencias Computacionales | Algoritmos

Categorías

Enlaces a sitios
Abstract State Machines A simple yet powerful formal method for specifying and validating computing systems of all types.	Algorithms - Computing Algorithms - Computing
B-TREE-P B-tree source code for the Pick operating system.	Character Recognition by Feature Point Extraction technical paper.
Computational Decision Analysis Computational Decision Analysis
Doomsday Algorithm for Day of Week Doomsday Algorithm for Day of Week
FAQ - comp.compression compression algorithms such as ZIP, GIF, and JPEG.
Finite Model Theory Finite structures are usually disregarded in classical model theory. But finiteness often matters (for adequate modelling), and restriction
Library of Efficient Data Types and Algorithms (LEDA) Library of Efficient Data Types and Algorithms (LEDA)
Opsis Java applet that can be used to teach balanced binary search tree algorithms. Unique in that it combines elements of programming, proof, and animation to enhance learning.	Pattern Matching Pointers links to people and resources related to the issues of searching and matching strings and more complex structures.
Prague Stringologic Club research group working in the field of pattern matching, information retrieval, text algorithms, etc.	REDUCE general-purpose computer algebra system available for a wide range of computer architectures and operating systems.
Solving Rubik"s Cube using the "bestfast" search algorithm and "profile" tables.	Stony Brook Algorithm Repository a comprehensive collection of algorithm implementations for fundamental problems in combinatorial algorithms.
Ultrafast Parallel Algorithms and Reconfigurable Meshes surveys some ultrafast parallel algorithms for PRAMs and reconfigurable meshes.	Unified Variational Approach approach to data analysis.