Filters








210,311 Hits in 6.3 sec

The impact of informatics on the teaching of mathematics [chapter]

Tom J. Weert
1998 Information and Communications Technologies in School Mathematics  
But there is also an indirect impact through developments in society which are supported by informatics.  ...  For a more fundamental understanding of these impacts the role of informatics must be clear, both in real-life and in education.  ...  and logic, mathematics as 'language' and reasoning and thinking in formal mathematical models will take a more prominent place in the mathematics curriculum because of their supporting role.  ... 
doi:10.1007/978-0-387-35287-9_2 fatcat:tncaf7zzfze7ne3tcb7hsfhebq

Collaborative Building of an Ontology of Key Performance Indicators [chapter]

Claudia Diamantini, Laura Genga, Domenico Potena, Emanuele Storti
2014 Lecture Notes in Computer Science  
(A,B+C,'branch node') Prolog predicates for basic reasoning tasks: mathematical theory for formula manipulation (PRESS: PRolog Equation Solving System) basic math operation equation solving and  ...  as Prolog facts, e.g.: A = B + C → formula(A,B+C,'branch node') Prolog predicates for basic reasoning tasks: mathematical theory for formula manipulation (PRESS: PRolog Equation Solving System)  ... 
doi:10.1007/978-3-662-45563-0_9 fatcat:pm3sszfazbcpthj5p6k6kyvy44

MathScheme: Project Description [chapter]

Jacques Carette, William M. Farmer, Russell O'Connor
2011 Lecture Notes in Computer Science  
The mission of mechanized mathematics is to develop software systems that support the process people use to create, explore, connect, and apply mathematics.  ...  In particular, we rely on biform theories and an expressive logic (Chiron) for grounding.  ...  The MathScheme Library is an experimental formalization of the theories of abstract algebra, basic data-structures, and structured type constructors.  ... 
doi:10.1007/978-3-642-22673-1_23 fatcat:qay2hipg65efhk6di5yjouiifm

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar [chapter]

Josef Urban, Geoff Sutcliffe
2010 Lecture Notes in Computer Science  
This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics.  ...  The combination forms an online service called MizAR, similar to the SystemOnTPTP service for first-order automated reasoning.  ...  Generation of ATP Problems in TPTP Format One of the main objectives of MizAR (as suggested by its name) is to allow easy experimentation with ATP systems over the large body of formal mathematics available  ... 
doi:10.1007/978-3-642-14128-7_12 fatcat:z7qfiim6bfczvp5b4i3negti74

How are programs found? speculating about language ergonomics with Curry-Howard

Johannes Emerich
2016 Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software - Onward! 2016  
Viewed in light of this analogy, a sampling of mathematicians' attitudes towards formal proof suggests that the crucial role of intuition and experimentation in programming tasks may be under appreciated  ...  Functional languages with strong static type systems have beneficial properties to help ensure program correctness and reliability.  ...  Andras Slemmer's interest prompted me to produce an elaborated written version. Jan Martin Raasch, Ignas Vyšniauskas and Christoph Gietl helped by discussing the written version at various stages.  ... 
doi:10.1145/2986012.2986030 dblp:conf/oopsla/Emerich16 fatcat:adbxfkd4izgndmm742oxbkznma

Constraint-Based Reasoning for Search and Explanation: Strategies for Understanding Variation and Patterns in Biology

Sara Green, Nicholaos Jones
2016 Dialectica  
We believe that formal constraints play an important role for these aims as well, but we do not develop that argument here.  ...  One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models.  ...  We also thank the Center for Philosophy of Science at the University of Pittsburgh for financial support during the initial stages of this paper.  ... 
doi:10.1111/1746-8361.12145 fatcat:33ocdx4fibe37kyqffgznm6osm

An advanced operating environment for mathematics education resources

Yongsheng Rao, Jingzhong Zhang, Yu Zou, Yanchun Sun, Xiangping Chen, Songhua Xu
2018 Science China Information Sciences  
The supporting materials are published as submitted, without typesetting or editing. The responsibility for scientific accuracy and content remains entirely with the authors.  ...  Supporting information Appendixes A-D. The supporting information is available online at info. scichina.com and link.springer.com.  ...  The experimental results collectively demonstrate user-friendliness, domain support for mathematics education, extensibility, and efficiency of SSP in comparison with state-of-the-art systems.  ... 
doi:10.1007/s11432-017-9235-7 fatcat:dovsm5pmpjbjrigbvyrwvg2gzu

Towards a Science of Temporal Databases

Richard T. Snodgrass
2007 14th International Symposium on Temporal Representation and Reasoning (TIME'07)  
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering.  ...  While the database field has some very strong mathematical and engineering work, the scientific perspective has been much less prominent.  ...  Acknowledgments This research was supported in part by NSF grants IIS-0415101, IIS-0639106, and EIA-0080123 and with partial support from a grant from Microsoft Corporation.  ... 
doi:10.1109/time.2007.65 dblp:conf/time/Snodgrass07 fatcat:jqoqgkeguzflhhxdzz3qxfxplm

Some Considerations On Uml Class Diagram Formalisation Approaches

Abdullah A. H. Alzahrani, Majd Zohri Yafi, Fawaz K. Alarfaj
2014 Zenodo  
One significant drawback, of which, is that the language lacks formality. This makes carrying out any type of rigorous analysis difficult process.  ...  Amnon Eden for his outstanding feedback and help.  ...  ACKNOWLEDGMENT This research was funded in part by Umm Al-Qura University, Management Information Systems section at the University of Essex, and Imam Muhammad bin Saud University.  ... 
doi:10.5281/zenodo.1092329 fatcat:bpbwn6srnnd65kqe6eexjoh2bq

Design and Implementation of Mathematics Textbooks in Support of Effective Teaching for Secondary Schools: A Chinese Case

Aihui PENG, Naiqing SONG
2015 Research in Mathematical Education  
It suggests that prioritizing the essence of mathematics and reducing abstraction is an important notion for mathematics textbook design and implementation.  ...  An innovative series of Chinese mathematic textbooks is presented in this paper.  ...  Our study presented here aims to make such a contribution by providing rich experimental data from textbook implementation, which concerns an innovative series of Chinese mathematic textbooks in support  ... 
doi:10.7468/jksmed.2015.19.4.247 fatcat:6lauwfn7nnarfjoarp4aps24wq

Automated Verification of Quantum Protocols by Equivalence Checking [article]

Ebrahim Ardeshir-Larijani and Simon J. Gay and Rajagopal Nagarajan
2013 arXiv   pre-print
In this paper we introduce a technique and a tool for formal verification of various quantum information processing protocols.  ...  We also report on experimental results of using our Quantum Equivalence Checker (QEC) to analyse a range of quantum information processing protocols.  ...  Supported by the Centre for Discrete Mathematics and its Applications (DIMAP), University of Warwick, EPSRC award EP/D063191/1.  ... 
arXiv:1312.5951v1 fatcat:x3xnfdi73jevtencmrnf2rjt7m

High-level fusion: Issues in developing a formal theory

P C G Costa, Kuo-Chu Chang, K Laskey, T Levitt, Wei Sun
2010 2010 13th International Conference on Information Fusion  
Network-centric operations demand an increasingly sophisticated level of interoperation and information fusion for an escalating number and throughput of sensors and human processes.  ...  A fundamental mathematical theory of high-level information fusion is needed to address (1) the representation of semantics and pragmatics, (2) the mathematical framework supporting its algorithmic and  ...  Acknowledgments Research on PROGNOS has been partially supported by the Office of Naval Research, under Contract#: N00173-09-C-4008.  ... 
doi:10.1109/icif.2010.5711860 fatcat:6gasp47wsjaqlmkl5xmtadpave

Methods of Decision Making [chapter]

2006 Handbook of Decision Making  
In this paper, we present a conceptual framework for incorporating uncertainty modeling into Decision Support Systems applied to agricultural problems space.  ...  Such systems represent a more realistic approach, taking into account the available information, without enforcing an artificial accuracy.  ...  The theoretical basis of the reasoning mechanism was evidential support logic [2] and the system comprised a logic-programming core with built-in capabilities for the representation and handling of stochastic  ... 
doi:10.1201/9781420016918.pt4 fatcat:z4iapfah45e5xjoajmt5kb3tg4

COINVENT: Towards a Computational Concept Invention Theory

Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos, Alison Pease
2014 International Conference on Computational Creativity  
To validate our model, we will implement a proof of concept of an autonomous computational creative system that will be evaluated in two testbed scenarios: mathematical reasoning and melodic harmonisation  ...  , and for developing new technologies for autonomous creative systems.  ...  Acknowledgements The project COINVENT acknowledges the financial support of the Future and Emerging Technologies (FET) programme within the Seventh Framework Programme for Research of the European Commission  ... 
dblp:conf/icccrea/SchorlemmerSKKC14 fatcat:uouwtyencbel7o5zampd4im45q

Some Considerations on the Usability of Interactive Provers [chapter]

Andrea Asperti, Claudio Sacerdoti Coen
2010 Lecture Notes in Computer Science  
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensibly improved since the  ...  advent of the "second generation" of systems, in the mid of the eighties.  ...  , that looks as a fair bound for an interactive usage of the system.  ... 
doi:10.1007/978-3-642-14128-7_13 fatcat:bujc2vttozefdoqd3a45crn66u
« Previous Showing results 1 — 15 out of 210,311 results