Search results

| title = Gentleman's Diary or The Mathematical Repository | former_name = The Mathematical Repository: An Almanack ...

{{Short description|Software used in mathematical applications}} ...he [[National Institute of Standards and Technology]] [[Guide to Available Mathematical Software]] (both retrieved 2015-02-15).</ref> ...

...e [[Enlightenment Foundation Libraries#Elementary|Enlightenment Foundation Libraries]] * [[Elementary definition]], in mathematical logic ...

...many open source libraries, including AMD libm 4.0. This library provides mathematical routines optimized for AMD processors. ...ce AMD LibM, [[memcpy]], and RNG.<ref>{{cite web |title=AMD Optimizing CPU Libraries (AOCL) |url=https://developer.amd.com/amd-aocl/ |website=AMD}}</ref> ...

...l-purpose [[specification language]] based on [[first-order logic]] with [[Mathematical induction|induction]]. [[Partial function]]s and [[Subtyping|subsorting]] a * specification libraries, for storing specifications distributed over the [[Internet]]. ...

{{Short description|University of Toronto centre for mathematical research}} | name = Fields Institute for Research in Mathematical Sciences ...

...l Wall: Libraries and Archives in Unified Germany.”'' College and Research Libraries'' 55 (5): 403–11.</ref> In 1995 it reverted to the [[Russian Orthodox Chu ...

...merical analysis|numerical-analysis]] routines, containing more than 1,900 mathematical and statistical algorithms. Areas covered by the library include [[Linear e ...are accessible via the optimization modelling suite.<ref>[https://nag.com/mathematical-optimization/ NAG Optimization Modelling Suite]</ref> ...

| genre = [[Mathematical software]] |journal = ACM Transactions on Mathematical Software ...

...pseclp.org}}</ref> It contains constraint [[solver]] [[Library (computing)|libraries]], a high-level modeling and control language (a superset of [[Prolog]]), i ==Libraries== ...

| name = Penn State University Libraries | logo = University Libraries.png ...

...gree in computer science. He lives in [[North Carolina]]. His mathematical libraries created for the GIMPS project are the fastest known for [[arbitrary-precisi ...

| name = Proofs and Refutations: The Logic of Mathematical Discovery ...ve to be patched up in the light of later insights, in particular failed [[Mathematical proof|proof]]s. This gives mathematics a somewhat experimental flavour. At ...

...terials by [[Louis Pasteur]], a 1544 edition of [[Archimedes|Archimedes']] mathematical text ''Philosophi ac Geometrae'' and many important original works from the ...hive-url=https://web.archive.org/web/20220203023707/https://library.si.edu/libraries/dibner |archive-date=February 3, 2022}}</ref> ...

...National Science Digital Library|NSDL]], [[Open Educational Resources]], [[Mathematical Association of America]], [[California Digital Library]], [[LONI Pipeline]] ...

==Educational institutions and libraries== * [[Christchurch City Libraries]], New Zealand ...

...Statistical Lab. It can be extended by using external libraries. Via these libraries, it can also be adapted to individual and local demands like specific targe For mathematical calculations, the Statistical Lab uses the [[R (programming language)|R]] p ...

...lege, Office of Alumni Affairs and Development |others=Columbia University Libraries}}</ref> He taught at [[Duke University]]. ...Goldstine, H. H.|authorlink=Herman Goldstine|title=Review: ''The theory of mathematical machines'', by F. J. Murray|journal=Bull. Amer. Math. Soc.|year=1947|volume ...

* [[Adobe Source Libraries]], open-source GUI software libraries * [[Association for Symbolic Logic]], of specialists in mathematical logic and philosophical logic ...

...edition of [[Euclid's Elements]] (published in Venice in 1560), as well as mathematical works by [[Hero of Alexandria|Hero]], [[Pappus of Alexandria]], and [[Archi ...dicated to the Duke of [[Urbino]]. This work concerns the cosmography and mathematical systems of [[Ptolemy]]. Barozzi also discussed 13 ways of drawing a parall ...