Journals

Fibonacci and Lucas Numbers Fibonacci and Lucas Numbers- Electrical equivalence of discrete lumped cascaded T sections with the infinitesimal transmission line of distributed elements and with the Fibonacci … Fibonacci Sequence Fibonacci Sequence- Overview article in the Platonic Realms website. Fibonacci resources Fibonacci resources- Includes details of systematic matrix derivation of identities for Fibonacci and related sequences. Fibonacci Numbers Spelled Out Fibonacci Numbers Spelled Out- Derivations usually omitted by gurus and left for the reader to agonize over. Fibonacci Facts Fibonacci Facts- Facts about the Fibonacci Sequence. Mathematics Olympiad Lecture Notes Mathematics Olympiad Lecture Notes- By Greg Gamble for highschool students intending to participate in Mathematics Olympiads. Greg Martin (UBC) Greg Martin (UBC)- Syllabus and practice problems from Rajiv Gupta and Greg Martin's Putnam practice sessions. Ravi Vakil (Stanford) Ravi Vakil (Stanford)- Training resources for the Putnam competition. Practice problems, notes on mathematical theories, and recommended reading. Problem Solving References & Resources Problem Solving References & Resources- Overview of seminars oriented towards problem solving. Includes sample problem sets, list of online resources, college mathematics journals… Sophie Germain - Wikipedia Sophie Germain - Wikipedia- Biography of the mathematician with links to relevant terms. Sophie Germain Sophie Germain- Biography of the mathematicia. From Women in Science. Sophie Germain Sophie Germain- Biography from Biographies of Women Mathematicians. Germain, Sophie Germain, Sophie- Biography of the mathematician from Eric Weisstein's World of Scientific Biography. Efficient Symbolic Tools Efficient Symbolic Tools- A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (AC… Marking up Temporal Logic Marking up Temporal Logic- First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series. Temporal Logic Temporal Logic- The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography. Time International Workshop Series Time International Workshop Series- The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including temporal log… Temporal Logic Case Study Temporal Logic Case Study- A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building. TemporalRover TemporalRover- Provides automatic verification of protocols and reactive systems through temporal logic specifications. Eric Weisstein's World of Scientific Biography: Bohr, Harald August (1887-1951) Eric Weisstein's World of Scientific Biography: Bohr, Harald August (1887-1951)- About the matemathician and his work. Copenhagen University: Harald Bohr papers Copenhagen University: Harald Bohr papers- Detailed description of archive, and short biography. MacTutor History of Mathematics: Bohr, Harald MacTutor History of Mathematics: Bohr, Harald- Short biographical article. Theseus: Harald Bohr Theseus: Harald Bohr- Archival material, bibliography and references. ThatQuiz ThatQuiz- Free math practice and testing site for students with complete class record keeping and grading for teachers. Diagnostic Test of Pre-Algebra Math Diagnostic Test of Pre-Algebra Math- Test is available to school systems to purchase to help make year-end placement decisions, or to diagnose weaknesses in students. DIMACS Reconnect Conferences DIMACS Reconnect Conferences- Expose faculty teaching undergraduates to the mathematical sciences research enterprise by introducing them to a current research topic relevant to t… MEC21 MEC21- Mathematics Education into the 21st Century project meetings. Proceedings of conferences. Palis, Jacob Palis, Jacob- Institution National of Mathematics Pure and Applications (IMPA). Specialty is dynamical systems. Includes curriculum vitae and list of publications. Kolyada , Sergiy Kolyada , Sergiy- Institute of Mathematics, National Academy of Sciences of Ukraine. Topological dynamics and low-dimensional dynamics. Publications and resources. de Melo, Welington de Melo, Welington- IMPA. Dynamical Systems. Publications.