Filters








8,489 Hits in 2.5 sec

Search Interfaces for Mathematicians [article]

Andrea Kohlhase
2014 arXiv   pre-print
From the interview data we elicited patterns for the user group "mathematicians" that can be applied when understanding design issues or creating new designs for mathematical search interfaces.  ...  With this understanding we want to be able to reason why mathematicians use which tool for what search problem in what phase of the search process.  ...  Acknowledgement I thank all my interviewees for their motivation and patience with the RGI method.  ... 
arXiv:1405.3758v1 fatcat:d753dhhnnrdttg2djigytuvbgq

Search Interfaces for Mathematicians [chapter]

Andrea Kohlhase
2014 Lecture Notes in Computer Science  
In this paper, we present a set of design goals for mathematical search interfaces implied by these patterns and insights derived from them.  ...  In a study of professional mathematicians' search behavior we identified ten behavioral patterns particular to mathematicians.  ...  This doesn't yet answer the general question, whether there is a need for a specific math-oriented design for search interfaces.  ... 
doi:10.1007/978-3-319-08434-3_12 fatcat:2qjvsdeycnb3tcj7obzoidqcjy

Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs [article]

Martin Líška, Petr Sojka, Michal Růžička
2014 arXiv   pre-print
We are designing and developing a web user interface for digital mathematics libraries called WebMIaS. It allows queries to be expressed by mathematicians through a faceted search interface.  ...  Formulae are shown rendered by the web browser on-the-fly for users' feedback. We describe WebMIaS design principles and our experiences deploying in the European Digital Mathematics Library (EuDML).  ...  The WebMIaS search interface in Figure 1 observes several design principles and qualities: formulae in T E X Mathematicians know and use compact L A T E X math notation.  ... 
arXiv:1404.6476v2 fatcat:3d63iptuazdzbcqj6n3kfq3m4i

Integrating Searching and Authoring in Mizar

Paul Cairns, Jeremy Gow
2007 Journal of automated reasoning  
We abstract from the scenario two distinct styles of searching and describe how the Alcor interface implements these with keyword and LSI-based search.  ...  The Alcor system has been designed to investigate and explore how a mathematician might interact with such an assistant by providing an interface to Mizar and the Mizar Mathematical Library.  ...  Acknowledgements Many thanks to Mike Berry for providing the GTP code. Also, thanks to Eduardo Calvillo and the referees for their very useful comments on this paper.  ... 
doi:10.1007/s10817-007-9073-2 fatcat:f5tbnf4uwrgxrnlxvptlbvw3gu

Find and Advertise Jobs for Mathematicians at MathHire.org

Daniel Lütgehetmann, Sebastian Meinert
2016 EMS Newsletter  
The World Wide Web now hosts a new website for jobs for mathematicians, launched earlier this year at Math-Hire.org.  ...  Employers then benefit from a sophisticated web interface to review and evaluate received applications (see https://mathhire. org/showcase).  ...  The World Wide Web now hosts a new website for jobs for mathematicians, launched earlier this year at Math-Hire.org.  ... 
doi:10.4171/news/102/10 fatcat:tuv2jumuf5hcbewj252rr5gdje

Results of the 2016 EMS User Survey for zbMATH

Ingo Brüggemann, Klaus Hulek, Olaf Teschke
2017 EMS Newsletter  
Though 66% of the 209 respondents were from Europe (and 22% from Germany), indicating a slight conference participation bias, there was also participa-Survey responses concerning search customs of mathematicians  ...  Even more surprising was the extensive use of free-text feedback for this question. Almost half of all respondents indicated the use of sometimes quite sophisticated combinations of search aspects.  ...  Though 66% of the 209 respondents were from Europe (and 22% from Germany), indicating a slight conference participation bias, there was also participa-Survey responses concerning search customs of mathematicians  ... 
doi:10.4171/news/104/12 fatcat:6ft5sl2ekzcibfkplyncdlbtkq

FindStat - the combinatorial statistics database [article]

Chris Berg and Viviane Pons and Travis Scrimshaw and Jessica Striker and Christian Stump
2014 arXiv   pre-print
The FindStat project at www.FindStat.org provides an online platform for mathematicians, particularly for combinatorialists, to gather information about combinatorial statistics and their relations.  ...  You should then think of adding your data through the web interface www.FindStat.org/NewStatistic so that the next person searching for this statistic will be aware of the context in which you found it  ...  FindStat not only supports generating functions, but also has a very flexible user interface which allows you to search for statistics matching the distribution of your input data according to any partition  ... 
arXiv:1401.3690v1 fatcat:a2iee6z4gjbrlm7377kmwpa6pi

Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto

C.-P. Wirth
2012 Logic Journal of the IGPL  
for this paper.  ...  Acknowledgements I would like to thank Dieter Hutter and Peter Padawitz for some very helpful advice, and Tobias Schmidt-Samoa for many fruitful discussions and a long list of most profound critical suggestions  ...  For this interplay, it does not suffice to compute human-oriented representations of machineoriented proof attempts for interaction with a user interface during the proof search.  ... 
doi:10.1093/jigpal/jzr048 fatcat:qps74fzzmngmzaluxlcaqogt4y

On the Design of Mathematical Concepts [chapter]

Manfred Kerber, Martin Pollet
2002 Lecture Notes in Computer Science  
Unfortunately it has been used in the field of automated theorem proving as an argument to disregard the need for a diverse variety of representations.  ...  Furthermore we thank the Calculemus community for valuable feedback.  ...  Acknowledgements We thank Mateja Jamnik for fruitful discussions and suggestions. Martin Pollet thanks Peter Pröhle for the insights he gave him into the process of mathematical problem solving.  ... 
doi:10.1007/3-540-36187-1_65 fatcat:6eayoplgzzdvbaei2yn2fye6re

Improving the Industrial/Mathematics Interface [chapter]

Jean P. F. Charpin, Stephen B. G. O'Brien
2013 New ICMI Studies Series  
Mathematicians and industry can mutually benefit from a closer collaboration.  ...  The refocussing of our mathematical resources in mathematical modelling is desirable, essential even, for the regeneration of economic success.  ...  Acknowledgements The authors are supported by the Mathematics Application Consortium for Science and Industry (MACSI) funded by the Science Foundation Ireland Mathematics Initiative Grant 06/MI/005.  ... 
doi:10.1007/978-3-319-02270-3_19 fatcat:pkhdcyj3nvbq7lfh7o7mpievry

Current Developments on the zbMATH Interface

Octavio Paniagua Taboada
2019 EMS Newsletter  
Compare this with the 122 results that we find if we just search for Wei Li in the author tab.  ...  New search options for authors and serials Perhaps it has happened to you that looking for the articles of a certain author you find the work of other authors having the same name(s).  ... 
doi:10.4171/news/111/13 fatcat:uwyrx7hbvjfsbbt6d3jxta3rty

Formalising Mathematics – in Praxis; A Mathematician's First Experiences with Isabelle/HOL and the Why and How of Getting Started

Angeliki Koutsoukou-Argyraki
2020 Jahresbericht der Deutschen Mathematiker-Vereinigung (Teubner)  
new users, some technical and conceptual observations focussing on some of the first difficulties encountered, and some thoughts on the use and potential of proof assistants for mathematics.  ...  with the proof assistant (interactive theorem prover) Isabelle/HOL, including a discussion on the rationale behind formalising mathematics and the choice of Isabelle/HOL in particular, some instructions for  ...  Search Features After syntax, search is of very high significance for the mathematician user, both in terms of finding material by thematic classification, and of finding essential technical lemmas and  ... 
doi:10.1365/s13291-020-00221-1 fatcat:pt4sfc3hlvfwlant3b4v2varwu

The Future of Mathematical Software [chapter]

Ulrich H. Kortenkamp
2002 Mathematics and Visualization  
Many mathematicians do not think that this is a major drawback -"this software is for specialists who know what to do!"  ...  Do not underestimate the value of the user interface. It is not true that software that is for a very special purpose does not need a good user interface, since it is used by a maximum of two people.  ... 
doi:10.1007/978-3-642-56240-2_11 fatcat:ipphjc6xkjbyti63hokj3rxkcy

Mathematics & mathematics education: searching for common ground

Paola Iannone
2014 Research in Mathematics Education  
(Bass, 2005, p. 417) A quick search for "mathematics education" in the archives of the Notices of the American Mathematical Society (a journal aimed at mathematicians and widely read also outside the  ...  The book Mathematics & Mathematics Education: Searching for Common Ground, to which Bass is one of the contributors, discusses some of the benefits, problems and characteristics of this close connection  ... 
doi:10.1080/14794802.2014.937354 fatcat:6ak62bakdvafxfuhuolys3hczm

Integrated information retrieval in a knowledge worker support system

G. McAlpine, P. Ingwersen
1989 Proceedings of the 12th annual international ACM SIGIR conference on Research and development in information retrieval - SIGIR '89  
EUROMATH is required to provide uniform retrieval facilities for searching in a user's personal data, in a shared database of structured documents and in public, bibliographic databases.  ...  EUROMATH is an example of a Knowledge Worker Support System: it has been designed specifically to support mathematicians in their research work.  ...  Searching for Topics If a user selects either a precise or vague topic need, then the system displays a query form suitable for topic searching, as illustrated below.  ... 
doi:10.1145/75334.75341 dblp:conf/sigir/McAlpineI89 fatcat:ssvghhy3uvhu3opm4xisnbpfxi
« Previous Showing results 1 — 15 out of 8,489 results