Works matching DE "COMPUTERS in mathematics"
Results: 68
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
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
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
COMPUTER REPRESENTATION OF MULTISETS.
- Published in:
- Science World Journal, 2011, v. 6, n. 1, p. 21
- By:
- Publication type:
- Article
Problems with Using Separated Variables for Computing Expectation Values for Higher Ranks.
- Published in:
- Letters in Mathematical Physics, 2016, v. 106, n. 4, p. 469, doi. 10.1007/s11005-016-0823-0
- By:
- Publication type:
- Article
Experimental and Computational Mathematics: Selected Writings.
- Published in:
- 2011
- Publication type:
- Book Review
UNA GUÍA GENERAL PARA LA ESPECIFICACIÓN Y VERIFICACIÓN FORMAL DE REQUERIMIENTOS USANDO EVENT-B Y RODIN.
- Published in:
- Revista Educación en Ingeniería, 2012, v. 7, n. 14, p. 82
- 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
Some Characteristics of the Repeated Discrete Fourier Transformation.
- Published in:
- Acta Electrotehnica, 2016, v. 57, n. 5, p. 566
- By:
- Publication type:
- Article
Discrete Data Analysis with R: Visualization and Modeling Techniques for Categorical and Count Data.
- Published in:
- Biometrics, 2016, v. 72, n. 2, p. 659, doi. 10.1111/biom.12534
- By:
- Publication type:
- Article
A New Automatic System for Angular Measurement and Calibration in Radiometric Instruments.
- Published in:
- Sensors (14248220), 2010, v. 10, n. 4, p. 3703, doi. 10.3390/s100403703
- By:
- Publication type:
- Article
Minesweeper is NP-complete.
- Published in:
- Mathematical Intelligencer, 2000, v. 22, n. 2, p. 9, doi. 10.1007/BF03025367
- By:
- Publication type:
- Article
POLYMATH 14: GROUPS WITH NORMS.
- Published in:
- Mathematics Student, 2023, v. 92, n. 1-2, p. 127
- 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
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
CHECKING THE ACCURACY OF GPS DATA.
- Published in:
- Ontario Mathematics Gazette, 2017, v. 55, n. 3, p. 19
- 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
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
Not Your Father's Ad Agency.
- Published in:
- Math Horizons, 2013, v. 21, n. 1, p. 20, doi. 10.4169/mathhorizons.21.1.20
- 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
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
Computers as a Source of A Posteriori Knowledge in Mathematics.
- Published in:
- International Studies in the Philosophy of Science, 2016, v. 30, n. 2, p. 111, doi. 10.1080/02698595.2016.1265862
- By:
- Publication type:
- Article
PRERREQUISITOS DEFICIENTES CON SOFTWARE MATEMÁTICO EN CONCEPTOS NUEVOS.
- Published in:
- Revista Mexicana de Investigación Educativa, 2016, v. 21, n. 69, p. 349
- By:
- Publication type:
- Article
Proportional reasoning in the laboratory: an intervention study in vocational education.
- Published in:
- Educational Studies in Mathematics, 2014, v. 86, n. 2, p. 211, doi. 10.1007/s10649-012-9393-y
- 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
Visible Structures in Number Theory.
- Published in:
- American Mathematical Monthly, 2001, v. 108, n. 10, p. 897, doi. 10.1080/00029890.2001.11919824
- 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
Looking back and ahead—didactical implications for the use of digital technologies in the next decade.
- Published in:
- Teaching Mathematics & its Applications, 2014, v. 33, n. 1, p. 3, doi. 10.1093/teamat/hru006
- By:
- Publication type:
- Article
Lecturers’ perspectives on the use of a mathematics-based computer-aided assessment system.
- Published in:
- Teaching Mathematics & its Applications, 2013, v. 32, n. 2, p. 88, doi. 10.1093/teamat/hrt008
- By:
- Publication type:
- Article
DISCOVERY.
- Published in:
- Australian Mathematics Teacher, 2008, v. 64, n. 3, p. 26
- Publication type:
- Article
The multisample Cucconi test.
- Published in:
- Statistical Methods & Applications, 2014, v. 23, n. 2, p. 209, doi. 10.1007/s10260-014-0255-x
- 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
MEDIA HIGHLIGHTS.
- Published in:
- 2016
- By:
- Publication type:
- Bibliography
Numerical Method Using Cubic B-Spline for a Strongly Coupled Reaction-Diffusion System.
- Published in:
- PLoS ONE, 2014, v. 9, n. 1, p. 1, doi. 10.1371/journal.pone.0083265
- By:
- Publication type:
- Article
Bayesian Inference from Count Data Using Discrete Uniform Priors.
- Published in:
- PLoS ONE, 2013, v. 8, n. 10, p. 1, doi. 10.1371/journal.pone.0074388
- 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
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
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
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
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