| Home :: Algorithms :: Research Groups |
UC Berkeley Video and Image Processing Lab. Members, research projects, publications, software, resources. http://www-video.eecs.berkeley.edu/ Programming and Symbolic Computation Team Department of Mathematics and Computer Science, University of La Rioja, Logroño, Spain. Research has been focused on the design, specification and construction of symbolic computation systems for Algebraic Topology. http://www.unirioja.es/dptos/dmc/psycotrip (France) LaBRI - Laboratory for Research in Computer Science , Bordeaux. Researchers at the LaBRI are organized into five research teams: Combinatorics and Algorithmics (Enumerative combinatorics, maps, physics; Random generation and visualization; Graphs and applications; Distributed algorithms); Logic, Formal Languages, and Applications (Graphs and logic; Formal languages; Rewriting, Databases); Modeling, Verifying and Testing Computerized Systems; Parallel and Distributed Computing;Image and Sound (Image analysis; Image synthesis) http://www.labri.u-bordeaux.fr/index-en.htm Ontario Research Centre for Computer Algebra (ORCCA) University of Western Ontario and University of Waterloo. Carries out fundamental research in and development of mathematical software. Details of research project, members and me etings. http://orcca.on.ca/ (Netherlands) Euler Institute for Discrete Mathematics and its Applications (EIDMA) Discrete Algebra and Geometry, Coding Theory, Information Theory and Cryptology, Combinatorial Optimization and Algorithms, Graph Theory. http://www.win.tue.nl/math/eidma/ |
