Results 31 to 40 of about 1,003,903 (269)

Proof; Justification; Mathematical validation process; Levels and type of proof; ACODESA

Enseñanza de las Ciencias, 2019
In this article we report how an approach was promoted from the pre-formal to the formal stage regarding the students’ way of justifying mathematical reasoning.
Álvaro Sebastián Bustos Rubilar, Gonzalo Zubieta Badillo   +1 more
doaj   +1 more source

Towards an Intelligent Tutor for Mathematical Proofs [PDF]

, 2012
Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook ...
Abigail S. Gertner, Albert Corbett, Allen. Newell, Andreas Abel, Beverly Park Woolf, Bruce M. McLaren, Carolyn Penstein Rosé, Cezary Kaliszyk, Christoph Benzmüller, Christoph Benzmüller, Christoph Benzmüller, Dale A. Miller, Daniel Solow, David Aspinall, Dimitra Tsovaltzi, Dominik Dietrich, Dominik Dietrich, Dominik Dietrich, Dominik Dietrich, Don Syme, Douglas C. Merrill, Erica Melis, Ewen Denney, Freek Wiedijk, Gerhard Gentzen, Jana Trgalova, Jean-François Nicaud, Jim Grundy, John F. Kelley, John Robert Anderson, John Seely Brown, Kenneth R. Koedinger, Kenneth R. Koedinger, Kevin D. Ashley, Koen Claessen, Kurt VanLehn, Kurt VanLehn, Kurt VanLehn, Lassaad Cheikhrouhou, Leslie Lamport, Louise A. Dennis, Magdalena Wolska, Markus Wenzel, Marvin Schiller, Marvin Schiller, Marvin Schiller, Michael Beeson, Michelene T. H. Chi, Neil T. Heffernan, Noboru Matsuda, Paulo Ribenboim, Pedro Quaresma, Peter B. Andrews, Peter J. Robinson, Pierre Corbineau, Pramuditha Suraweera, Ralph-Johan Back, Ralph-Johan Back, Ralph-Johan Back, Richard Sommer, Serge Autexier, Serge Autexier, Serge Autexier, Serge Autexier, Stellan Ohlsson, Tiffany Barnes, Tiffany Barnes, Vincent Aleven, Wilfried Sieg, Wilfried Sieg, William Billingsley, William McCune, Xiaorong Huang, Xiaorong Huang   +73 more
core   +2 more sources

The Tur\'{a}n number and probabilistic combinatorics [PDF]

, 2011
In this short expository article, we describe a mathematical tool called the probabilistic method, and illustrate its elegance and beauty through proving a few well-known results. Particularly, we give an unconventional probabilistic proof of a classical
Aw, Alan J.
core   +1 more source

Phenotypic and genotypic characterization of single circulating tumor cells in the follow‐up of high‐grade serous ovarian cancer

Molecular Oncology, EarlyView.
Single circulating tumor cells (sCTCs) from high‐grade serous ovarian cancer patients were enriched, imaged, and genomically profiled using WGA and NGS at different time points during treatment. sCTCs revealed enrichment of alterations in Chromosomes 2, 7, and 12 as well as persistent or emerging oncogenic CNAs, supporting sCTC identity.
Carolin Salmon, Rui P. L. Neves, Nikolas H. Stoecklein, Sven‐Thorsten Liffers, Jens Siveke, Jan D. Kuhlmann, Pauline Wimberger, Paul Buderath, Rainer Kimmig, Sabine Kasimir‐Bauer   +9 more
wiley   +1 more source

Relations between Generalization, Reasoning and Combinatorial Thinking in Solving Mathematical Open-Ended Problems within Mathematical Contest

Mathematics, 2020
Algebraic thinking, combinatorial thinking and reasoning skills are considered as playing central roles within teaching and learning in the field of mathematics, particularly in solving complex open-ended mathematical problems Specific relations between ...
Janka Medová, Kristína Ovary Bulková, Soňa Čeretková   +2 more
doaj   +1 more source

Developing Students Ability To Write Mathematical Proof By Polya Method [PDF]

, 2011
Both writing and reading a proof is equally not easy. Some mathematicians attested that students found difficulties in mathematical proving. Mathematics and mathematics education experts like Jones (1997, 2001), Weber (2001), and Smith (2006) found that ...
Kodirun, Kodirun
core  

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

Current Tracking Adaptive Control of Brushless DC Motors

International Journal of Adaptive Control and Signal Processing, EarlyView.
In this paper, the current tracking for Brushless Direct Current motors is approached considering uncertainty in the parameters of the motor's model. An adaptive control scheme to compensate electrical parameters uncertainty is proposed without requiring any knowledge of the mechanical parameters.
Fernanda Ramos‐García, Axel Coronado‐Andrade, Gerardo Espinosa‐Pérez, Luis Alvarez‐Icaza   +3 more
wiley   +1 more source

Configural reasoning as coordination of visualisation process

Enseñanza de las Ciencias, 2011
This study identifies visualisation processes in student primary teachers when they solve geometry problems requiring mathematical proof, in a pencil-and-paper environment.
Germán Torregrosa-Gironés, H. Quesada Vilella, M.C. Penalva Martínez   +2 more
doaj   +1 more source

Multiplicative-Additive Focusing for Parsing as Deduction

, 2015
Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing.
Morrill, Glyn, Valentín, Oriol
core   +2 more sources