A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Open IT tools for inquiry-based physics education
[article]
2020
arXiv
pre-print
Preserved Fulltext
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
CODEE Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
College & research libraries news
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2109.08655v1 fatcat:3ivir6tm7nhinod2zmpnddv3qq
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
2013
Journal of Science Education and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2002
Computers and Chemical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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 (https://dlmf.nist.gov/)
Data Sets within Computation Systems Mathematics (embedded and external data sources)
Sage
GAP data libraries (http://www.gap-system.org/ ...
arXiv:2002.04955v1
fatcat:th2h5qrd4rcazhw2eqbqmy2zmq
Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge
2020
The Mathematical intelligencer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
(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
2018
Journal of Applied Crystallography
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2012
2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of the Canadian Historical Association
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
He is a founding co-editor of ActiveHistory.ca, 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]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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