Добірка наукової літератури з теми "Mathematical and software"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Mathematical and software".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Mathematical and software"
Argon, E., I. L. Chang, G. Gunaratna, D. K. Kahaner, and M. A. Reed. "Mathematical software: Plod." IEEE Micro 8, no. 4 (August 1988): 56–61. http://dx.doi.org/10.1109/40.7772.
Повний текст джерелаKrogh, Fred T. "On developing mathematical software." Journal of Computational and Applied Mathematics 185, no. 2 (January 2006): 196–202. http://dx.doi.org/10.1016/j.cam.2005.03.005.
Повний текст джерелаHake, J. Fr. "Mathematical software at KFA." ACM SIGNUM Newsletter 20, no. 2 (April 1985): 20–30. http://dx.doi.org/10.1145/1057941.1057945.
Повний текст джерелаWilliams, Donald L. "A mathematical software environment." ACM SIGNUM Newsletter 21, no. 3 (July 1986): 2–12. http://dx.doi.org/10.1145/1057958.1057959.
Повний текст джерелаGayoso Martínez, Víctor, Luis Hernández Encinas, Agustín Martín Muñoz, and Araceli Queiruga Dios. "Using Free Mathematical Software in Engineering Classes." Axioms 10, no. 4 (October 12, 2021): 253. http://dx.doi.org/10.3390/axioms10040253.
Повний текст джерелаOchkov, Valery, and Elena Bogomolova. "Teaching Mathematics with Mathematical Software." Journal of Humanistic Mathematics 5, no. 1 (January 2015): 265–85. http://dx.doi.org/10.5642/jhummath.201501.15.
Повний текст джерелаWallis, P. "Mathematical Structures for Software Engineering." Computer Journal 35, no. 1 (February 1, 1992): 80. http://dx.doi.org/10.1093/comjnl/35.1.80.
Повний текст джерелаDongarra, J., and E. Grosse. "Shopping for mathematical software electronically." IEEE Potentials 8, no. 1 (February 1989): 37–38. http://dx.doi.org/10.1109/45.31582.
Повний текст джерелаLucks, Michael, and Ian Gladwell. "Automated selection of mathematical software." ACM Transactions on Mathematical Software 18, no. 1 (March 1992): 11–34. http://dx.doi.org/10.1145/128745.128747.
Повний текст джерелаChatterjee, Samprit, Ronald F. Boisvert, Sally E. Howe, and David K. Kahaner. "Guide to Available Mathematical Software." Journal of the American Statistical Association 80, no. 392 (December 1985): 1082. http://dx.doi.org/10.2307/2288608.
Повний текст джерелаДисертації з теми "Mathematical and software"
Olsson, Jan. "Dynamic software enhancing creative mathematical reasoning." Licentiate thesis, Umeå universitet, Institutionen för naturvetenskapernas och matematikens didaktik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-90285.
Повний текст джерелаChang, Tyler Hunter. "Mathematical Software for Multiobjective Optimization Problems." Diss., Virginia Tech, 2020. http://hdl.handle.net/10919/98915.
Повний текст джерелаDoctor of Philosophy
Science and engineering are full of multiobjective tradeoff problems. For example, a portfolio manager may seek to build a financial portfolio with low risk, high return rates, and minimal transaction fees; an aircraft engineer may seek a design that maximizes lift, minimizes drag force, and minimizes aircraft weight; a chemist may seek a catalyst with low viscosity, low production costs, and high effective yield; or a computational scientist may seek to fit a numerical model that minimizes the fit error while also minimizing a regularization term that leverages domain knowledge. Often, these criteria are conflicting, meaning that improved performance by one criterion must be at the expense of decreased performance in another criterion. The solution to a multiobjective optimization problem allows decision makers to balance the inherent tradeoff between conflicting objectives. A related problem is the multivariate interpolation problem, where the goal is to predict the outcome of an event based on a database of past observations, while exactly matching all observations in that database. Multivariate interpolation problems are equally as prevalent and impactful as multiobjective optimization problems. For example, a pharmaceutical company may seek a prediction for the costs and effects of a proposed drug; an aerospace engineer may seek a prediction for the lift and drag of a new aircraft design; or a search engine may seek a prediction for the classification of an unlabeled image. Delaunay interpolation offers a unique solution to this problem, backed by decades of rigorous theory and analytical error bounds, but does not scale to high-dimensional "big data" problems. In this thesis, novel algorithms and software are proposed for solving both of these extremely difficult problems.
Vasylenko, Oleksii, Viktor Chuprynka, and Natalia Chuprynka. "Mathematical software for automated gloves design." Thesis, Київський національний університет технологій та дизайну, 2021. https://er.knutd.edu.ua/handle/123456789/19096.
Повний текст джерелаMwangi, Timothy M. "Software tools for elementary math education : animated mathematical proofs." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/85451.
Повний текст джерелаCataloged from PDF version of thesis.
Includes bibliographical references (page 47).
The National Council of Teachers of Mathematics [6] has identified the learning of proofs as a critical goal for students from pre-kindergarten through grade 12 (p. 56). A proof for elementary students is not the highly structured mathematical argument seen in high school algebra classes. It is, however, a rational mathematical argument created by students using the appropriate vocabulary for their level of understanding. To aid students in learning to create mathematical proofs software that enables them to create simple animations is invaluable. This thesis looks at the characteristics, design, testing and evaluation of such software. An initial design is presented and the feedback gained from testing its implementation in a class setting is discussed along with the changes that were required to improve the software in light of the feedback. A comparison is then made between the final implementation of the software and other similar programs. The results indicate that the software enables students to create, share and discuss mathematical proofs in the form of simple animations.
by Timothy M. Mwangi.
M. Eng.
Smith, Barbara Mary. "Bus crew scheduling using mathematical programming." Thesis, University of Leeds, 1986. http://etheses.whiterose.ac.uk/1053/.
Повний текст джерелаGiuliani, Giulia. "Analysis and improvement of a software framework for solving mathematical puzzles." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019.
Знайти повний текст джерелаFerris, Michael Charles. "Weak sharp minima and penalty functions in mathematical programming." Thesis, University of Cambridge, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.292969.
Повний текст джерелаYau, Shuk-Han Ada. "Numerical analysis of finite difference schemes in automatically generated mathematical modeling software." Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/35407.
Повний текст джерелаIncludes bibliographical references (leaves 64-65).
by Shuk-Han Ada Yau.
M.S.
Gill, Mandeep Singh. "Application of software engineering methodologies to the development of mathematical biological models." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:35178f3a-7951-4f1c-aeab-390cdd622b05.
Повний текст джерелаMotiwala, Quaeed. "Optimizations for acyclic dataflow graphs for hardware-software codesign." Thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-06302009-040504/.
Повний текст джерелаКниги з теми "Mathematical and software"
Bigatti, Anna Maria, Jacques Carette, James H. Davenport, Michael Joswig, and Timo de Wolff, eds. Mathematical Software – ICMS 2020. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-52200-1.
Повний текст джерелаHong, Hoon, and Chee Yap, eds. Mathematical Software – ICMS 2014. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-44199-2.
Повний текст джерелаIglesias, Andrés, and Nobuki Takayama, eds. Mathematical Software - ICMS 2006. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11832225.
Повний текст джерелаFukuda, Komei, Joris van der Hoeven, Michael Joswig, and Nobuki Takayama, eds. Mathematical Software – ICMS 2010. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15582-6.
Повний текст джерелаGreuel, Gert-Martin, Thorsten Koch, Peter Paule, and Andrew Sommese, eds. Mathematical Software – ICMS 2016. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-42432-3.
Повний текст джерелаDavenport, James H., Manuel Kauers, George Labahn, and Josef Urban, eds. Mathematical Software – ICMS 2018. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96418-8.
Повний текст джерелаMathematical software tools in C++. Chichester: John Wiley, 1993.
Знайти повний текст джерелаAlbert, Walter G. Mathematical and statistical software index. 2nd ed. Brooks Air Force Base, Tex: Air Force Human Resources Laboratory, Air Force Systems Command, 1986.
Знайти повний текст джерелаEhrig, Hartmut, Christiane Floyd, Maurice Nivat, and James Thatcher, eds. Mathematical Foundations of Software Development. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15198-2.
Повний текст джерелаRice, J. R., ed. Mathematical Aspects of Scientific Software. New York, NY: Springer New York, 1988. http://dx.doi.org/10.1007/978-1-4684-7074-1.
Повний текст джерелаЧастини книг з теми "Mathematical and software"
Schittkowski, Klaus. "Mathematical Optimization." In Software Systems for Structural Optimization, 33–42. Basel: Birkhäuser Basel, 1993. http://dx.doi.org/10.1007/978-3-0348-8553-9_2.
Повний текст джерелаChrapary, Hagen, and Wolfgang Dalitz. "Software Products, Software Versions, Archiving of Software, and swMATH." In Mathematical Software – ICMS 2018, 123–27. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96418-8_15.
Повний текст джерелаChung, Youngjoo. "Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions." In Mathematical Software – ICMS 2014, 21–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-44199-2_4.
Повний текст джерелаSchittkowski, K. "Software for Mathematical Programming." In Computational Mathematical Programming, 383–451. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-82450-0_14.
Повний текст джерелаvan der Hoeven, Joris. "Mathematical Font Art." In Mathematical Software – ICMS 2016, 522–29. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-42432-3_67.
Повний текст джерелаSitnikovski, Boro. "Mathematical Induction." In Introducing Software Verification with Dafny Language, 77–83. Berkeley, CA: Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-7978-6_7.
Повний текст джерелаSitnikovski, Boro. "Mathematical Foundations." In Introducing Software Verification with Dafny Language, 37–46. Berkeley, CA: Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-7978-6_4.
Повний текст джерелаEngland, Matthew. "Machine Learning for Mathematical Software." In Mathematical Software – ICMS 2018, 165–74. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96418-8_20.
Повний текст джерелаSchulz-Reese, M. "Software-Oriented Mathematical Continuing Education." In European Consortium for Mathematics in Industry, 337–40. Wiesbaden: Vieweg+Teubner Verlag, 1992. http://dx.doi.org/10.1007/978-3-663-09834-8_70.
Повний текст джерелаRice, John R. "Mathematical Aspects of Scientific Software." In Mathematical Aspects of Scientific Software, 1–39. New York, NY: Springer New York, 1988. http://dx.doi.org/10.1007/978-1-4684-7074-1_1.
Повний текст джерелаТези доповідей конференцій з теми "Mathematical and software"
Williams, Donald L. "A Mathematical Software Environment." In the 1986 workshop. New York, New York, USA: ACM Press, 1986. http://dx.doi.org/10.1145/800239.807164.
Повний текст джерелаDEWAR, MIKE, and DAVID CARLISLE. "FROM MATHEMATICAL SERVERS TO MATHEMATICAL SERVICES." In Proceedings of the First International Congress of Mathematical Software. WORLD SCIENTIFIC, 2002. http://dx.doi.org/10.1142/9789812777171_0045.
Повний текст джерелаRice, J. R. "Mathematical software and ACM Publications." In the ACM conference. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/41579.41584.
Повний текст джерелаMaibaum, Tom. "Mathematical foundations of software engineering." In the conference. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/336512.336548.
Повний текст джерелаHuang Chang-feng, He Lun-zhi, and Han Zhao-xiu. "The application of Mathematical software." In 2010 2nd International Conference on Information Science and Engineering (ICISE). IEEE, 2010. http://dx.doi.org/10.1109/icise.2010.5689666.
Повний текст джерелаOplachko, E. S., S. D. Rykunov, and M. N. Ustinin. "Encephalography data handling software." In Mathematical Biology and Bioinformatics. Pushchino: IMPB RAS - Branch of KIAM RAS, 2018. http://dx.doi.org/10.17537/icmbb18.90.
Повний текст джерелаBORWEIN, JONATHAN MICHAEL. "THE EXPERIMENTAL MATHEMATICIAN: A COMPUTATIONAL GUIDE TO THE MATHEMATICAL UNKNOWN." In Proceedings of the First International Congress of Mathematical Software. WORLD SCIENTIFIC, 2002. http://dx.doi.org/10.1142/9789812777171_0001.
Повний текст джерелаAndreica, Alina, Daniel Stuparu, and Calin Miu. "Applying mathematical models in software design." In 2012 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP). IEEE, 2012. http://dx.doi.org/10.1109/iccp.2012.6356166.
Повний текст джерелаHinov, N., D. Vakovsky, G. Kraev, and Michail D. Todorov. "Hybrid Inverter Analysis Using Mathematical Software." In APPLICATIONS OF MATHEMATICS IN ENGINEERING AND ECONOMICS: Proceedings of the 34th Conference on Applications of Mathematics in Engineering and Economics (AMEE '08). AIP, 2008. http://dx.doi.org/10.1063/1.3030825.
Повний текст джерелаGallant, Reuven. "Modeling Semantics sans Mathematical Formalism." In 7th International Workshop on Software Knowledge. SCITEPRESS - Science and Technology Publications, 2016. http://dx.doi.org/10.5220/0006098900440054.
Повний текст джерелаЗвіти організацій з теми "Mathematical and software"
Ribbens, C., and L. Watson. Parallel mathematical software. Office of Scientific and Technical Information (OSTI), October 1989. http://dx.doi.org/10.2172/5587283.
Повний текст джерелаShampine, L. F. Mathematical software for ODEs. Office of Scientific and Technical Information (OSTI), January 1989. http://dx.doi.org/10.2172/5441626.
Повний текст джерелаHadfield, Steven M., Carl Crockett, Paul J. Simonich, Matthew G. Mcharg, and William J. Mandeville. Mathematical Software Evaluation Report: Mathcad Plus 6.0 versus Mathematica 3.0. Fort Belvoir, VA: Defense Technical Information Center, November 1997. http://dx.doi.org/10.21236/ada337847.
Повний текст джерелаBoisvert, Ronald F., Sally E. Howe, David K. Kahaner, and Jeanne L. Springmann. Guide to available mathematical software. Gaithersburg, MD: National Institute of Standards and Technology, 1990. http://dx.doi.org/10.6028/nist.ir.90-4237.
Повний текст джерелаShampine, L. F. Mathematical software for ODEs. Final technical report. Office of Scientific and Technical Information (OSTI), December 1989. http://dx.doi.org/10.2172/10136708.
Повний текст джерелаBrackin, Stephen H., and Ian Sutherland. Formal Verification of Mathematical Software. Volume 2. Fort Belvoir, VA: Defense Technical Information Center, May 1990. http://dx.doi.org/10.21236/ada223633.
Повний текст джерелаShyshkina, Mariya, Uliana Kohut, and Maiia Popel. The Comparative Analysis of the Cloud-based Learning Components Delivering Access to Mathematical Software. [б. в.], June 2019. http://dx.doi.org/10.31812/123456789/3171.
Повний текст джерелаBeidler, John. Ada Support for the Mathematical Foundations of Software Engineering. Fort Belvoir, VA: Defense Technical Information Center, November 1993. http://dx.doi.org/10.21236/ada278031.
Повний текст джерелаBoisvert, Ronald F., Sally E. Howe, and Jeanne L. Springmann. Internal structure of the guide to available mathematical software. Gaithersburg, MD: National Institute of Standards and Technology, 1989. http://dx.doi.org/10.6028/nist.ir.89-4042.
Повний текст джерелаBoisvert, Ronald F., Sally E. Howe, and David K. Kahaner. The guide to available mathematical software problem classification system. Gaithersburg, MD: National Institute of Standards and Technology, 1990. http://dx.doi.org/10.6028/nist.ir.4475.
Повний текст джерела