Works matching DE "COMPUTERS in mathematics"
Results: 66
The effects of problem-solving software on problem-solving ability.
- Published in:
- Journal of Research on Computing in Education, 1992, v. 24, n. 3, p. 338, doi. 10.1080/08886504.1992.10782015
- By:
- Publication type:
- Article
BIG DATA: A REVOLUTION THAT WILL TRANSFORM HOW WE LIVE, WORK, AND THINK.
- Published in:
- 2013
- By:
- Publication type:
- Book Review
Using Spreadsheets and Streaming Video for Developmental, Teacher Education, and General Education Mathematics Courses.
- Published in:
- Mathematics & Computer Education, 2004, v. 38, n. 2, p. 221
- By:
- Publication type:
- Article
Using e-Learning Platforms for Mastery Learning in Developmental Mathematics Courses.
- Published in:
- Mathematics & Computer Education, 2004, v. 38, n. 2, p. 213
- By:
- Publication type:
- Article
Computer Aided Learning of Mathematics: Software Evaluation.
- Published in:
- Mathematics & Computer Education, 2004, v. 38, n. 2, p. 165
- By:
- Publication type:
- Article
Web-delivered Supplemental Instruction: Dynamic Customizing of Search Algorithms to Enhance Independent Learning for Developmental Mathematics Students.
- Published in:
- Mathematics & Computer Education, 2004, v. 38, n. 2, p. 152
- By:
- Publication type:
- Article
A Summative Report on Exploring Quanitative Relationships.
- Published in:
- Mathematics & Computer Education, 2004, v. 38, n. 2, p. 132
- By:
- Publication type:
- Article
T4TEL : Un cadre de référence pour la formalisation et l'extension du modèle praxéologique.
- Published in:
- Educação Matemática Pesquisa, 2020, v. 22, n. 4, p. 103, doi. 10.23925/1983-3156.2020v22i4p103-118
- By:
- Publication type:
- Article
Stochastic Process Algebras: From Individuals to Populations.
- Published in:
- Computer Journal, 2012, v. 55, n. 7, p. 866, doi. 10.1093/comjnl/bxr094
- By:
- Publication type:
- Article
Error-Patterns within "Next-Step-Guidance" in TP-based Educational Systems.
- Published in:
- Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 175
- By:
- Publication type:
- Article
Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction.
- Published in:
- Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 155
- By:
- Publication type:
- Article
Trials with TP-based Programming for Interactive Course Material.
- Published in:
- Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 91
- By:
- Publication type:
- Article
Editorial on "TP-based Systems and Education".
- Published in:
- Electronic Journal of Mathematics & Technology, 2013, v. 7, n. 2, p. 87
- By:
- Publication type:
- Article
Design of a Mathematical Unit in FPGA for the Implementation of the Control of a Magnetic Levitation System.
- Published in:
- International Journal of Reconfigurable Computing, 2008, p. 1, doi. 10.1155/2008/634306
- By:
- Publication type:
- Article
An Inferential Conception of the Application of Mathematics.
- Published in:
- Nous, 2011, v. 45, n. 2, p. 345, doi. 10.1111/j.1468-0068.2010.00772.x
- By:
- Publication type:
- Article
Planning under Uncertainty using Parallel Computing.
- Published in:
- Annals of Operations Research, 1988, v. 14, n. 1-4, p. 1, doi. 10.1007/BF02186471
- By:
- Publication type:
- Article
PREFACE.
- Published in:
- Magnetohydrodynamics (0024-998X), 2017, v. 53, n. 4, p. 601, doi. 10.22364/mhd.53.4.1
- By:
- Publication type:
- Article
COMPUTER REPRESENTATION OF MULTISETS.
- Published in:
- Science World Journal, 2011, v. 6, n. 1, p. 21
- By:
- Publication type:
- Article
Some Characteristics of the Repeated Discrete Fourier Transformation.
- Published in:
- Acta Electrotehnica, 2016, v. 57, n. 5, p. 566
- By:
- Publication type:
- Article
A Quantitative Study on Attitudes of Web-Based Mathematic Competition in Different Learning Stages Students in Taiwan.
- Published in:
- International Journal of Emerging Technologies in Learning, 2009, v. 4, n. 2, p. 61, doi. 10.3991/ijet.v4i2.697
- By:
- Publication type:
- Article
A Study of the Growth of the Maximum and Typical Normalized Dimensions of Strict Young Diagrams.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 216, n. 1, p. 53, doi. 10.1007/s10958-016-2887-x
- By:
- Publication type:
- Article
EDUCATION OF A MATHEMATICIAN - EXPERIMENTALIST, OR SOFT MANIFESTO OF EXPERIMENTAL MATHEMATICS.
- Published in:
- Mathematics & Informatics, 2015, v. 58, n. 2, p. 129
- By:
- Publication type:
- Article
MSC volume 22 issue 4 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 4, p. f1, doi. 10.1017/S0960129512000710
- Publication type:
- Article
Zum 100. Geburtstag von Katherine Johnson.
- Published in:
- Mitteilungen der DMV, 2018, v. 26, n. 2/3, p. 116, doi. 10.1515/dmvm-2018-0032
- By:
- Publication type:
- Article
A more precise rounding algorithm for rational numbers.
- Published in:
- Computing, 2008, v. 82, n. 2/3, p. 189, doi. 10.1007/s00607-008-0006-7
- By:
- Publication type:
- Article
Changing pre-service mathematics teachers’ beliefs about using computers for teaching and learning mathematics: the effect of three different models.
- Published in:
- European Journal of Teacher Education, 2014, v. 37, n. 3, p. 390, doi. 10.1080/02619768.2013.870993
- By:
- Publication type:
- Article
DISCOVERY.
- Published in:
- Australian Mathematics Teacher, 2008, v. 64, n. 3, p. 26
- Publication type:
- Article
Measuring Athletic Goodness: Formal Axiology Applied to Football.
- Published in:
- Journal of the Philosophy of Sport, 1990, v. 17, n. 1, p. 1, doi. 10.1080/00948705.1990.9714474
- By:
- Publication type:
- Article
CHECKING THE ACCURACY OF GPS DATA.
- Published in:
- Ontario Mathematics Gazette, 2017, v. 55, n. 3, p. 19
- By:
- Publication type:
- Article
EXPLICIT SOLUTION FOR QUEUE LENGTH DISTRIBUTION OF M/T-SPH/1 QUEUE.
- Published in:
- Asia-Pacific Journal of Operational Research, 2014, v. 31, n. 1, p. -1, doi. 10.1142/S0217595914500018
- By:
- Publication type:
- Article
Hierarchical invention of theorem proving strategies.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 237, doi. 10.3233/AIC-180761
- By:
- Publication type:
- Article
Foreword to the Special Issue on Automated Reasoning.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 235, doi. 10.3233/AIC-180765
- By:
- Publication type:
- Article
Programming and verifying a declarative first-order prover in Isabelle/HOL.
- Published in:
- AI Communications, 2018, v. 31, n. 3, p. 281, doi. 10.3233/AIC-180764
- By:
- Publication type:
- Article
The 8th IJCAR automated theorem proving system competition - CASC-J8.
- Published in:
- AI Communications, 2016, v. 29, n. 5, p. 607, doi. 10.3233/AIC-160709
- By:
- Publication type:
- Article
The CADE-24 automated theorem proving system competition - CASC-24.
- Published in:
- AI Communications, 2014, v. 27, n. 4, p. 405, doi. 10.3233/AIC-140606
- By:
- Publication type:
- Article
Computational Methods for Renewal Theory and Semi-Markov Processes With Illustrative Examples.
- Published in:
- American Statistician, 1988, v. 42, n. 2, p. 143, doi. 10.2307/2684490
- By:
- Publication type:
- Article
Optimal boundary control of the unsteady Burgers equation with simultaneous space-time discretization.
- Published in:
- Optimal Control - Applications & Methods, 2014, v. 35, n. 4, p. 423, doi. 10.1002/oca.2079
- By:
- Publication type:
- Article
Experimental and Computational Mathematics: Selected Writings.
- Published in:
- 2011
- Publication type:
- Book Review
POLYMATH 14: GROUPS WITH NORMS.
- Published in:
- Mathematics Student, 2023, v. 92, n. 1-2, p. 127
- By:
- Publication type:
- Article
MODELLING WITH GRAPHICAL REPRESENTATIONS.
- Published in:
- For the Learning of Mathematics, 2008, v. 28, n. 2, p. 2
- By:
- Publication type:
- Article
Characterizing a highly accomplished teacher's noticing of third-grade students' mathematical thinking.
- Published in:
- Journal of Mathematics Teacher Education, 2017, v. 20, n. 3, p. 259, doi. 10.1007/s10857-015-9326-7
- By:
- Publication type:
- Article
Prospective elementary teachers' aesthetic experience and relationships to mathematics.
- Published in:
- Journal of Mathematics Teacher Education, 2017, v. 20, n. 3, p. 207, doi. 10.1007/s10857-015-9329-4
- By:
- Publication type:
- Article
Prospective Turkish primary teachers' views about the use of computers in mathematics education.
- Published in:
- Journal of Mathematics Teacher Education, 2012, v. 15, n. 4, p. 329, doi. 10.1007/s10857-012-9214-3
- By:
- Publication type:
- Article
The multiple pendulum problem via Maple®.
- Published in:
- International Journal of Mathematical Education in Science & Technology, 2002, v. 33, n. 5, p. 747, doi. 10.1080/002073902320602905
- By:
- Publication type:
- Article
Elastic waves in regions with multiple interfaces.
- Published in:
- International Journal of Mathematical Education in Science & Technology, 2001, v. 32, n. 5, p. 707, doi. 10.1080/00207390110067275
- By:
- Publication type:
- Article
Strategies and computer projects for teaching linear algebra.
- Published in:
- International Journal of Mathematical Education in Science & Technology, 2000, v. 31, n. 2, p. 181, doi. 10.1080/002073900287237
- By:
- Publication type:
- Article
EXTENDING THE CLASS OF MATHEMATICAL PROBLEMS SOLVABLE IN SCHOOL.
- Published in:
- Serdica Journal of Computing, 2015, v. 9, n. 3/4, p. 191
- By:
- Publication type:
- Article
Learning Mathematics in an Authentic Mobile Environment: The Perceptions of Students.
- Published in:
- International Journal of Interactive Mobile Technologies, 2009, v. 3, n. S1, p. 6, doi. 10.3991/ijim.v3s1.813
- By:
- Publication type:
- Article
Exploratory Objects and Microworlds in university mathematics.
- Published in:
- Teaching Mathematics & its Applications, 2014, v. 33, n. 1, p. 27, doi. 10.1093/teamat/hru004
- By:
- Publication type:
- Article
Moving from dragging to touchscreen: geometrical learning with geometric dynamic software.
- Published in:
- 2014
- By:
- Publication type:
- Case Study