1![A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development Scott Frame and John W. Coffey Department of Computer Science University of West Florida Pensacola, FL A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development Scott Frame and John W. Coffey Department of Computer Science University of West Florida Pensacola, FL](https://www.pdfsearch.io/img/edbef09030bb9f71627e117c1efd2407.jpg) | Add to Reading ListSource URL: www.iiisci.orgLanguage: English - Date: 2014-04-29 16:17:49
|
---|
2![Knowledge-Based Interoperability for Mathematical Software Systems Michael Kohlhase1 Luca De Feo5 Dennis M¨ uller1 Markus Pfeiffer3 Florian 2 4 Knowledge-Based Interoperability for Mathematical Software Systems Michael Kohlhase1 Luca De Feo5 Dennis M¨ uller1 Markus Pfeiffer3 Florian 2 4](https://www.pdfsearch.io/img/41865c4ad2c3bcca98d255fd300f39d1.jpg) | Add to Reading ListSource URL: research-repository.st-andrews.ac.ukLanguage: English - Date: 2018-07-03 04:41:37
|
---|
3![Open Software and Open Textbooks for Mathematics Korean Mathematical Society Invited Lecture Rob Beezer April 29, 2017 Open Software and Open Textbooks for Mathematics Korean Mathematical Society Invited Lecture Rob Beezer April 29, 2017](https://www.pdfsearch.io/img/bf50903cccdb6e3f0ac9410763066732.jpg) | Add to Reading ListSource URL: buzzard.pugetsound.eduLanguage: English - Date: 2017-05-17 18:31:12
|
---|
4![MAS115 PRESENTATION LAB 1 In this lab we will use a software bundle called MiKTeX (pronounced ‘miktek’) to create basic mathematical documents. Log on, then check to see if MiKTeX is installed on the computer by typ MAS115 PRESENTATION LAB 1 In this lab we will use a software bundle called MiKTeX (pronounced ‘miktek’) to create basic mathematical documents. Log on, then check to see if MiKTeX is installed on the computer by typ](https://www.pdfsearch.io/img/84869e1760468f83f29e799bdc70c0e1.jpg) | Add to Reading ListSource URL: mas115.group.shef.ac.uk- Date: 2017-09-27 11:15:09
|
---|
5![8•November1984 SIAM NEWS Computational Sciences Choices for Mathematical Wordprocessing Software In this article, P. K. Wong discusses some issues involved 8•November1984 SIAM NEWS Computational Sciences Choices for Mathematical Wordprocessing Software In this article, P. K. Wong discusses some issues involved](https://www.pdfsearch.io/img/215a79101d4e25d94bcdb5806badcb41.jpg) | Add to Reading ListSource URL: www.maths.manchester.ac.uk- Date: 2016-09-05 10:14:56
|
---|
6![Mathematical Software Is it mathematics or is it software? Lisa R. Goldberg∗ Forthcoming in the Notices of the American Mathematical Society† August 2, 2016 Computers can empower mathematicians to envision and to pro Mathematical Software Is it mathematics or is it software? Lisa R. Goldberg∗ Forthcoming in the Notices of the American Mathematical Society† August 2, 2016 Computers can empower mathematicians to envision and to pro](https://www.pdfsearch.io/img/c379ca399923cf8b2e9a466881caa3d1.jpg) | Add to Reading ListSource URL: live-cdar.pantheon.berkeley.edu- Date: 2016-08-03 17:10:22
|
---|
7![Call for Nominations Editor-In-Chief ACM Transactions on Mathematical Software The term of the current Editor-in-Chief (EiC) of the Transactions on Mathematical Software (TOMS) is coming to an end, and the ACM Publicatio Call for Nominations Editor-In-Chief ACM Transactions on Mathematical Software The term of the current Editor-in-Chief (EiC) of the Transactions on Mathematical Software (TOMS) is coming to an end, and the ACM Publicatio](https://www.pdfsearch.io/img/e02e232c3da042e18682752d6fd8ddc2.jpg) | Add to Reading ListSource URL: toms.acm.org- Date: 2016-07-22 12:37:40
|
---|
8![Mathematical Software Is it mathematics or is it software? Lisa R. Goldberg∗ Forthcoming in the Notices of the American Mathematical Society† July 30, 2016 Computers can empower mathematicians to envision and to prov Mathematical Software Is it mathematics or is it software? Lisa R. Goldberg∗ Forthcoming in the Notices of the American Mathematical Society† July 30, 2016 Computers can empower mathematicians to envision and to prov](https://www.pdfsearch.io/img/7fac43ea4046b3599ba49580b65ad274.jpg) | Add to Reading ListSource URL: live-cdar.pantheon.berkeley.edu- Date: 2016-07-31 16:06:02
|
---|
9![FSTTCS th FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE December 13–15, 2016 Chennai Mathematical Institute, Chennai, India CALL FOR PAPERS FSTTCS th FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE December 13–15, 2016 Chennai Mathematical Institute, Chennai, India CALL FOR PAPERS](https://www.pdfsearch.io/img/eaa4a709dc0cbd51c87e5fd541afb3b6.jpg) | Add to Reading ListSource URL: www.fsttcs.org- Date: 2016-06-06 10:09:04
|
---|
10![How do you compute the midpoint of an interval? Fr´ed´eric Goualard To cite this version: Fr´ed´eric Goualard. How do you compute the midpoint of an interval?. ACM Transactions on Mathematical Software, Association f How do you compute the midpoint of an interval? Fr´ed´eric Goualard To cite this version: Fr´ed´eric Goualard. How do you compute the midpoint of an interval?. ACM Transactions on Mathematical Software, Association f](https://www.pdfsearch.io/img/04c3118df9af0aca4975578e181c2c73.jpg) | Add to Reading ListSource URL: hal.archives-ouvertes.fr- Date: 2015-11-28 01:05:45
|
---|