 G J Chaitin Home Page  Greg Chaitin
From the author of Algorithmic Information Theory, Information, Randomness & Incompleteness, InformationTheoretic Incompleteness, The Limits of Mathematics, The Unknowable, Exploring Randomness, Conversations with a Mathematician, From Philosophy
...more>>
 Glossary of Internet Terms  Matisse Enzer
An ongoing project, currently comprised of over 100 terms from ADM to digerati to Router to WWW.
...more>>
 GNU Octave  John W. Eaton, Dept. of Chemical Engineering, Univ. of Wisconsin
A highlevel language primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems numerically. The site includes lists of updates, source and binaries, documentation (including
...more>>
 The Grafica Obscura Outpost  Paul Haeberli
Come see experiments in progress in the GRAFICA Outpost. Rants, CGI hacks, the FIAT LUX conference proceedings and many harmless distractions. Travels in Digital Photography; A Visual Language; 1997 Paper Conference; a web fonts proposal; Java stuff;
...more>>
 Groupe Fractales (INRIA)  Benoît Leblanc and Frédéric Raynal
A group of researchers studying the application of fractal techniques to complex systems, especially signal processing. Introduction to the theoretical aspects of fractal analysis; genetic algorithms; introduction to timescale analysis, in French; applications,
...more>>
 Guy Kindler  The Official Site  Guy Kindler
A mathematics Ph.D. student at Tel Aviv University. Math puzzles are ranked from easy to tough. A paper on approximation and various resources for a seminar on computational models may be downloaded in PostScript format. Related PowerPoint presentations
...more>>
 Hacktastic  Laura Taalman
Blog about "design, mathematics, and failure" by Taalman, a professor of mathematics at James Madison University, as she learns JavaScript, three.js, and WebGL. Posts, which date back to October, 2014, have included "Menger Menagerie," "Trigonometry Style,"
...more>>
 hakank's homepage  Håkan Kjellerstrand
Codes and notes for constraint programming languages such as Picat, Mathematica, AIMMS+CP, AMPL, Project Euler, Frink, SABR, Eureqa/Formulize, and Comet. See also Kjellerstrand's coin and dice tossing games, Triss lotteries (Swedish scratch ticket games),
...more>>
 HAKMEM  Beeler, Gosper, Schroeppel; Artificial Intelligence Laboratory, MIT
A list of math and computerrelated problems, unsolved in 1972 when the list originated, compiled "with the hope that a record of the random things people do around here can save some duplication of effort  except for fun." Topics include: Geometry,
...more>>
 Historic and International Numeral Systems  Stephanie Nam
Input English, Burmese, Burmese numerals, HinduArabic numerals, Korean, or Thai numerals; select the appropriate choices from the pulldown menus; then press the red "submit" button, and this student project from the Wolfram Summer Camp 2017 outputs
...more>>
 The History Of Computing  Dept. of Computer Science, Virginia Tech
Index of the items in a collection of math history materials related to the history of computing by J. A. N. Lee, EditorinChief of the IEEE Annals of the History of Computing, constructed as part of the course materials for the "Professionalism in Computing"
...more>>
 HPCNetlib: High Performance Math Software  National HPCC Software Exchange (NHSE)
The high performance branch of the Netlib mathematical software repository. HPCNetlib provides information about high performance mathematical software, both research and commercial, as well as a roadmap to software selection and performance issues.
...more>>
 Hypatia  Taylor, Dawson; Dept, of Computer Science, Queen Mary & Westfield College, East End, London, UK
Hypatia is a searchable directory of research workers in Computer Science and Pure Mathematics, and a library of their papers. Contents: New papers, people, places and papers, bibliographies, useful links, Hypatia of Alexandria. Authors can be found by
...more>>
 IFS (Iterated Function Systems) for 2D and 3D Visualization  Craig M. Wittenbrink
Using fractal interpolation to graphically represent two and threedimensional scalar data: download article in PDF or PostScript format, and view related images.
...more>>
 Image Coding Using Wavelets  Signal and Image Processing Group, University of Bath
Read the article "What makes a good orthonormal wavelet for image compression?" Download other wavelet articles in PDF or PostScript format. Visit the Wavelet Warehouse, a repository of wavelet filters (biorthogonal and orthonormal) to download and
...more>>
 INFORMS Computing Society (ICS)  Institute for Operations Research and the Management Sciences
A society concerned with computer science, artificial intelligence, and their relation to operations research and the management sciences. The purpose of the ICS is twofold: to help keep INFORMS members abreast of useful developments in CS/AI, and to
...more>>
 Institute for Computer Applications in Science and Engineering (ICASE)  NASA Langley Research Center
A center of research in applied mathematics, numerical analysis, fluid dynamics, and computer science, operated by the Universities Space Research Association (USRA) to provide a natural mechanism for interactions among NASA scientists and engineers,
...more>>
 Institute for High Performance Computing Applications (IHPCA)  L. Long, Director; Penn State University
A research center whose mission is to develop and implement new techniques for the numerical simulation of scientific and engineering problems that require the use of large scale computations, with particular emphasis on parallel computers and distributed
...more>>
 Institute for Logic, Language and Computation (ILLC)  University of Amsterdam, The Netherlands
An institute founded to further the scientific study of the structure, modification, and transmission of information. Currently, the groups participating in ILLC are based at the Faculty of Mathematics, Computer Science, Physics, and Astronomy, the Faculty
...more>>
 Institute of Discrete Mathematics  Prof. Dr. Harald Niederreiter; Austrian Academy of Sciences
Current projects and research areas such as: Cryptology; Computer Algebra; Finite Fields and Their Applications; Global Function Fields; QuasiMonte Carlo Methods; Construction of LowDiscrepancy Sequences; Numerical Integration; Pseudorandom Number Generation;
...more>>
 Interest Tutorial  Joseph L. Zachary
A tutorial that explores the concepts of simple, compound, and continuous interest. Includes a Java applet that opens in a separate window, for use alongside the tutorial. From a Computer Science course at the University of Utah, and the book Introduction
...more>>
 International Journal of Mathematics and Computer Science
A refereed quarterly journal which publishes original papers in the broad subjects of mathematics and computer science written in English. The journal's Editorial Board consists of members from 15 countries. IJMCS is covered by Zentralblatt MATH and Mathematical
...more>>
 International Society for Mathematical and Computational Aesthetics (ISMCA)  Prof. Michael Leyton, President (USA)
ISMCA is concerned with highlevel formal research into the structure of art works, as well as the role of aesthetics in computeraided design, scientific
reasoning, software engineering, etc. The society is a division of the International Society
...more>>
 Internet Problem Solving Contest  Faculty of Mathematics, Physics and Informatics, Comenius University, Slovak Republic
The Internet Problem Solving Contest (IPSC) is a computer programming contest for teams consisting of up to three people. Teams participate via the Internet. Each problem consists of a problem description and two input data sets. Questions tend towards
...more>>
 An Introduction to Kolmogorov Complexity and Its Applications  Li, Vigányi
2nd edition textbook on the subject, which can be ordered through the Web. A postscript file of contents is also available. The incompressibility method and Kolmogorov complexity is a versatile mathematical tool, a sharper relative of classical information
...more>>
 Iteration and Recursion  Harold Brochmann
New classes of mathematical objects have been uncovered in the last couple of decades, with names like Strange Attractors and Fractals. What they share is that they can only be revealed through computerbased mathematical operations called iterations
...more>>
 Jazzing Up Euclid's Algorithm  Ivars Peterson (MathTrek)
Early in 2000, the journal Computing in Science & Engineering (CISE) published a list of the top 10 algorithms of the century. Many of the selections are now familiar, finely tuned, heavily used tools. The Metropolis algorithm for Monte Carlo methods,
...more>>
 Jeremy Kun
Primers, galleries of computer programs and math proofs, and more befitting "a place for elegant solutions." Kun, a mathematics PhD student at the University of Illinois in Chicago with a background in computer science, has also blogged since September,
...more>>
 Jones and Bartlett Publishers
Publisher of textbooks, professional and reference books, and multimedia products in a variety of disciplines including mathematics. Publications range from introductory to graduate level in the college market and from practitioners to specialists in
...more>>
 Joseph Malkevitch's Home Page  Joseph Malkevitch, York College (CUNYThe City University of New York)
Malkevitch's interests include geometry (polytopes, graph theory, tilings, etc.), discrete mathematics, and mathematical modeling (especially models dealing with fairness and equity issues and codes of all kinds). Most of his research concerns using combinatorial
...more>>
 Journal Homepages  Kluwer Academic Publishers
A search page for finding journals published by Kluwer Academic Publishers. Each includes past, present, and future article listings, aims and scope, and submission and subscription information. Search the complete catalogue by keyword or view journals
...more>>
 Journal of Combinatorial Designs  John Wiley & Sons, Inc.
An international journal devoted to the timely publication of the most influential papers in the area of combinatorial design theory.
...more>>
 Journal of Mathematics and Computer Science  M.T. Grabiec, Chief Editor
Research "on the development of theories and methods for computer and information sciences; the design, implementation, and analysis of algorithms and software tools for mathematical computation and reasoning; and the integration of mathematics and computer
...more>>
 Karla Hoffman
A specialist in operations research and combinatorial optimization. Papers in PDF, PostScript, or HTML formats include articles on airline scheduling, set covering, and the traveling salesman problem. Resume and curriculum vitae and syllabus, project,
...more>>
 Ke Xu's Benchmarks for Hard Problems  Ke Xu
All benchmarks are generated based on exact phase transitions of Model RB, including forced satisfiable benchmarks of SAT/CSP and benchmarks with hidden optimum solutions for 01 Programming and graph problems (Independent Set, Vertex Cover, Clique and
...more>>
 Kids and Computers  Don Sleeth
Information about MicroWorlds Logo (Windows 95) computer programming software for kids, from satisfied customer and dealer Don Sleeth. Explore how a Dad and his daughter learned this intriguing program. Welcome and Introduction, Overview, Nicole's Work,
...more>>
 A K Peters, Ltd.
A scientific technical publisher with a concentration in Mathematics, Computer Science, Computer Graphics, and Robotics. The program includes textbooks, professional reference works, research monographs, and journals, as well as electronic kits to build
...more>>
 Laboratory for Applied Logic (LAL)  Brigham Young University, Provo, UT
A research unit of the Department of Computer Science specializing in applying mathematical methods to problems in computer dependability. The research conducted in the LAL is currently divided into three major areas: modeling abstract hardware components
...more>>
 Learning by Simulations  Hans Lohninger, Virtual Institute of Applied Science
Simulation software for Windows PCs, available free for noncommercial educational purposes. (The author requests a postcard describing your use of his programs.) Covered math topics include: Fourier Synthesis, Travelling Salesman Problem, Vector Fields,
...more>>
 The LEGO Proof Assistant  Randy Pollack; University of Edinburgh
A tool for interactive proof development in the natural deduction style. It implements various related type systems  the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus of Constructions (GCC), and the Unified
...more>>
 Linear logic in computer science  Institut de Mathématiques de Luminy (IML)
A network of research groups (part of the European Training and Mobility for Researchers program) concerned with the relation between logic and theoretical computer science. Description of research areas; description of the sites; list of meetings and
...more>>
 The Living Mathematics Project  Mathematics Department, Univ. of British Columbia
A project that is working to apply recent advances in computer programming languages and the technology of the World Wide Web to construct a new medium for creative visualization and the communication of mathematics. Applets on this site include: Copycat
...more>>
 Logic and Computation Group  University of Pennsylvania, Philadelphia, PA
An interdisciplinary research group composed of faculty and graduate students from the Departments of Computer and Information Science, Mathematics, and Philosophy.
...more>>
 Logic and Foundations of Programming (LFP)  Queen Mary and Westfield College, University of London, U.K.
The LFP group has wide interests covering many aspects of mathematical, philosophical, and computational logic and virtually the whole of the theory of programming languages and the process of programming.
...more>>
 Logic for Mathematics and Computer Science  Stanley Burris; University of Waterloo
Supplementary material to a logic textbook that provides an elementary handson presentation of important mathematical logic topics, new and old, that is readily accessible and relevant to all students of the mathematical sciences, not just those in traditional
...more>>
 Logic Programming  J. P. Bowen; World Wide Web Virtual Library
Links to information on Logic Programming: General repositories; Prolog; Window system interfaces; Other logic programming systems; Meetings; Books; Related information.
...more>>
 Maarten M. Fokkinga
A computer science professor at the University of Twente in the Netherlands. His main interests are or have been algorithmics, also known as the mathematics of program construction, functional programming, semantics of programming systems, and formal
...more>>
 Macmillan Computer Reference Publishers
More than 150 complete computer books; collections of reference content, books and software for sale, with links to 3rdparty sites and related resources; a site search and a site map; a fully searchable listing of Macmillan computer reference products,
...more>>
 Mathematical and Computational Sciences  National Institute of Standards and Technology (NIST)
Part of the Information Technology Laboratory of the National Institute of Standards and Technology (NIST) (an agency of the Department of Commerce, U.S. Government), this was formerly CAML. Mathematicians of the Applied and Computational Mathematics
...more>>
 Mathematical BBS (Mathematics)  Mathematics Dept., Univ. of Ferrara, Italy
Collections of resources: Associations, Departments, Disciplines, Journals, Industrial mathematics, the mathematician. Disciplines include: Algebra; Algebraic geometry; Analysis; Applied Mathematics; Categories; Combinatorics; Complex analysis; Computational
...more>>
 
