95 Hits in 5.8 sec

Open IT tools for inquiry-based physics education [article]

Martin Šechný
2020 arXiv   pre-print
programming languages, libraries and development environments, web tools, virtual laboratories, data catalogs, hypertext documents and other auxiliary resources.  ...  Such open IT tools together with suitable open educational resources will be applicable in physics, mathematics, informatics and other subjects.  ...  Wolfram Alpha 42 is a computational knowledge engine, very interesting for pupils and teachers. Wolfram Alpha is free for use on the web.  ... 
arXiv:2002.00045v1 fatcat:65mwg4ykkrhhppuefio4iostk4

Developing a 21st Century Global Library for Mathematics Research [article]

Committee on Planning a Global Library of the Mathematical Sciences (Board on Mathematical Sciences and Their Applications, Division on Engineering and Physical Sciences, National Research Council of the National Academies)
2014 arXiv   pre-print
and knowledge in the global mathematical corpus available to researchers as linked open data through a central organizational entity-referred to in the report as the Digital Mathematics Library.  ...  This report describes how such a library might operate - discussing development and research needs, role in facilitating discover and interaction, and establishing partnerships with publishers.  ...  services such as Wolfram|Alpha, and desktop programs such as Mathematica, Maple, and Sage.  ... 
arXiv:1404.1905v1 fatcat:mf5mzrxwuncyzphoj44g2rmwga

Math-Aware Search Engines: Physics Applications and Overview [article]

Deanna C. Pineau
2016 arXiv   pre-print
They enable physicists to avoid jargon and more easily target mathematical content within and across disciplines.  ...  As a natural extension of keyword-based search, they open up a new world for discovering both exact and approximate mathematical solutions; physical systems' analogues and alternative models; and physics  ...  Wolfram Alpha Wolfram Alpha, which both searches its internal encyclopedia and computes results, uses all the mathematical rules and simplifications which Mathematica knows.  ... 
arXiv:1609.03457v1 fatcat:66m23icb6bhktdkau5hxzw7m5i

Evolution of the Modern ODE Course

Beverly West, Robert Borrelli, Lawrence Moore
2012 CODEE Journal  
We tried to include the most important efforts in this regard, but we apologize in advance if some efforts have slipped our attention. CODEE Journal  ...  In this paper we will try to trace the evolution of this important change.  ...  In 2009, Wolfram Research introduced Wolfram|Alpha [10] ICMI, in Strasbourg.  ... 
doi:10.5642/codee.201209.01.09 fatcat:fkehyzgy5nhehc34ytey4nsooq

Internet Reviews

Joni R. Roberts, Carol A. Drost
2009 College & research libraries news  
Some of the searches that you can perform on WolframAlpha include mathematical computations, both simple and very complex.  ...  Created using the software Mathematica and what founder Stephen Wolfram calls "A New Kind of Science," WolframAlpha has many examples of how best to use this product.  ... 
doi:10.5860/crln.70.8.8242 fatcat:or7t2m2f3bfcpdikuwequn25gq

Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems [chapter]

Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. McClain, Joon Bang, Kevin Chen
2017 Lecture Notes in Computer Science  
Computer algebra systems (CAS) such as Maple and Mathematica use alternative markup to represent mathematical expressions.  ...  Using LaTeX, LaTeXML, and tools generated for use in the National Institute of Standards (NIST) Digital Library of Mathematical Functions, semantically enhanced mathematical LaTeX markup (semantic LaTeX  ...  We would also like to thank Eric Weisstein for supplying the Wolfram eCF dataset, Annie Cuyt, Franky Backeljauw, and Stefan Becuwe for supplying the University of Antwerp CFSF Maple dataset, and Adri Olde  ... 
doi:10.1007/978-3-319-62075-6_9 fatcat:4s4h6dzp5bafhjqop5gdmlfvqm

A New Approach to Developing Interactive Software Modules Through Graduate Education

Nathan E. Sanders, Chris Faesi, Alyssa A. Goodman
2013 Journal of Science Education and Technology  
We describe a set of technologies suitable for module development and present in detail four examples of modules developed by the students.  ...  However, the growth of this mechanism is limited by the significant time and technical expertise needed to develop such products, particularly in specialized fields of science.  ...  Acknowledgments We are grateful to all the students of the AY201b course for their participation in this course project and for their excellent module products, and to HarvardX Director Prof.  ... 
doi:10.1007/s10956-013-9474-4 fatcat:bhrbt6723fhf5edmemwhy5qa7a

A web-based library for testing performance of numerical software for solving nonlinear algebraic equations

Mordechai Shacham, Neima Brauner, Michael B. Cutlip
2002 Computers and Chemical Engineering  
This library improves upon existing test problem collections regarding the type of information included and the form in which this information is stored and presented.  ...  This web-based test problem library contains complete problem descriptions with the following information: the model equations in the same form as the input for the numerical solver, the explicit definitions  ...  Constraints on the variables are an integral part of the mathematical model and should be included explicitly in the library. 3.  ... 
doi:10.1016/s0098-1354(01)00790-6 fatcat:c3leibpjefcjji5zdqotvbgo4m

The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems [article]

Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
2020 arXiv   pre-print
statements via proofs and models, typically with strong emphasis on correctness; computation covers algorithms and software libraries for representing and manipulating mathematical objects, typically  ...  Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathematics.  ...  Library of Mathematical Functions ( Data Sets within Computation Systems Mathematics (embedded and external data sources) Sage GAP data libraries (  ... 
arXiv:2002.04955v1 fatcat:th2h5qrd4rcazhw2eqbqmy2zmq

Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge

Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe
2020 The Mathematical intelligencer  
(Mathematica and its notebooks, Wolfram Alpha, and the Wolfram Language) together constitute one of the most tetrapodal systems in existence.  ...  Organization: libraries of theorem provers and mathematics encyclopedias such as Wolfram MathWorld [33] and PlanetMath [42] .  ... 
doi:10.1007/s00283-020-10006-0 fatcat:bxwdexjey5h5zo2nnfxpd7cmju

CarbX: a program for the evaluation of wide-angle X-ray scattering data of non-graphitic carbons

Torben Pfaff, Mats Simmermacher, Bernd M. Smarsly
2018 Journal of Applied Crystallography  
fit, the possibility to choose the wavelength used in the measurement, and automatic fitting (using Wolfram Mathematica).  ...  Besides the core functionality of displaying data and manually fitting WAXS curves by user-editable parameters, CarbX offers additional features such as visualization of the deviation between data and  ...  Acknowledgements The authors would like to thank Ulrike Pfaff for giving CarbX its name and Pascal Vö pel for creating the logo of CarbX.  ... 
doi:10.1107/s1600576718000195 fatcat:zkxl6j2o35cpznfn2ebdgi6jzi

Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal [article]

Jacques Carette and William M. Farmer and Michael Kohlhase and Florian Rabe
2019 arXiv   pre-print
The central contribution of this position paper is an information model for "doing mathematics", which posits that humans very efficiently integrate four aspects: inference, computation, tabulation, and  ...  We analyze the implications of this trend towards "big mathematics", its relation to human cognition, and how machine support for big math can be organized.  ...  Acknowledgments The authors gratefully acknowledge fruitful discussions with many of our colleagues in the mechanized mathematics community.  ... 
arXiv:1904.10405v2 fatcat:xo5v2h6xdbhuvm6d3xfhuwpt4q

The Flexiformalist Manifesto

Michael Kohlhase
2012 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing  
In this manifesto, we develop the "Flexiformalist  ...  At the far other end of the scale we find systems like Wolfram Alpha [Wol] , which is based on a full formalization of various knowledge sources in the Mathematica language 3 and can give answers that  ...  Efforts are currently under way to digitize and possibly OCR large parts of the published mathematical literature and turn them into generally accessible "Digital Mathematical Libraries".  ... 
doi:10.1109/synasc.2012.78 dblp:conf/synasc/Kohlhase12 fatcat:vsikvptff5fjxngjelvu46le7q

Mining the 'Internet Graveyard': Rethinking the Historians' Toolkit

Ian Milligan
2012 Journal of the Canadian Historical Association  
He is a founding co-editor of, an editor-at-large of the Programming Historian 2, and has written several articles in the fields of Canadian youth, digital, and labour history.  ...  First, I create my own tools through computer programming. This work is showcased in the following section. I program in Wolfram Research's Mathematica 9.  ...  science, biology, and mathematics?  ... 
doi:10.7202/1015788ar fatcat:r33vtlxqrjayxdc72nbq3ywjue

Illustrating Mathematics using 3D Printers [article]

Oliver Knill, Elizabeth Slavkovsky
2013 arXiv   pre-print
3D printing technology can help to visualize proofs in mathematics. In this document we aim to illustrate how 3D printing can help to visualize concepts and mathematical proofs.  ...  This is an updated version of a paper included in book Low-Cost 3D Printing for science, education and Sustainable Development, ICTP, 2013 edited by Carlo Fonda Enrique Canessa and Marco Zennaro.  ...  It has been updated since: new technologies like Wolfram Alpha, HTML5 or WebGL have been added. The time line illustrates how much has changed in the classroom in the last 40 years.  ... 
arXiv:1306.5599v1 fatcat:yynmltuyqfhbfgvqgfzkzlez5a
« Previous Showing results 1 — 15 out of 95 results