Free online classified ads and job posting at Astanda.com
...
http://www.openssl.org/
A collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a full-strength general purpose cryptography library.
http://www.ifac-control.org/
International Federation of Automatic Control (IFAC)A multinational federation of organizations representing the engineering and scientific societies concerned with automatic control.
http://www.alanturing.net/
Archive and historical records pertaining to the work of computing pioneer Alan Turing.
http://alg-geo.epfl.ch/~bayer/
Ecole Polytechnique Federale, Lausanne. Arithmetic geometry. Curriculum and publications.
https://www.cosic.esat.kuleuven.be/ecrypt/
European Network of Excellence for Cryptology: Areas Cryptology and Watermarking. About 31 institutes are collaborated in this joint research project.
http://www.cacr.math.uwaterloo.ca/hac/
The online version of the 1996 CRC book by Menezes, van Oorschot and Vanstone (5th edition) in PostScript and PDF formats.
http://mathforum.org/
Features combined archive and portal to web resources, educational issues, help forums, mailing lists, and teaching materials.
http://archives.math.utk.edu/
Combined archive and directory of math web sites, mailing lists, and teaching materials. Located at University of Tennessee.
http://www.math.niu.edu/~rusin/known-math/
Dave Rusins survey of research-level mathematics, with introductory articles for non-mathematicians and hyperlinked bibliographies in each of dozens of research areas.
http://www.ks.uiuc.edu/Research/vmd/
Molecular graphics software for Windows and Unix from the Theoretical Biophysics Group, Illinois, USA.
http://tomopt.com/tomnet/
The TOMNET Optimization Platform provides a standardized environment for general operations research development for the Microsoft .NET Framework. Well-known optimization solvers, such as SNOPT and MINOS are fully integrated.
http://csl.rsise.anu.edu.au/logic
(Australia) CanberraAutomated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
http://csl.rsise.anu.edu.au/logic
(Australia) CanberraAutomated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
http://www.cpai.uq.edu.au/
(Australia) Centre for Plant Architecture InformaticsA collaborative venture between CSIRO and the University of Queensland. Projects, people, events, software, links.
http://www.ics.mq.edu.au/~mike/compcat/
(Australia) Macquarie UniversityComputational category theory project group. People, projects, publications.
Main > Science > Math
1 2 3 4 5 Next >> 