Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Book

Proof Technology and Learning in Mathematics: Common Issues and Perspectives

  • Authors :

Subjects: Mathematics education research

  • Source: Proof Technology in Mathematics Research and Teaching ; https://hal.science/hal-02333646 ; Hanna, Gila; Reid, David; de Villiers, Michael. Proof Technology in

Record details

×
Book

Bridging knowing and proving in mathematics An essay from a didactical perspective

  • Authors :

Subjects: Didactics of Mathematics

  • Source: Explanation and Proof in Mathematics ; https://hal.science/hal-00964926 ; Hanna G., Jahnke H. N., Pulte H. Explanation and Proof in

Record details

×
Book

Filtrations associated to some two-to-one transformations

  • Authors :

Subjects: standardness

  • Source: Séminaire de Probabilités LI ; https://hal.science/hal-01987993 ; Séminaire de Probabilités LI, 2301, Springer, pp.29--89, 2022, Lecture Notes in

Record details

×
Book

On Courant's nodal domain property for linear combinations of eigenfunctions, Part~{II}

  • Authors :

Subjects: Courant nodal domain theorem

  • Source: Schrödinger Operators, Spectral Analysis and Number Theory ; https://hal.science/hal-01718768 ; Albeverio S.; Balslev A.; Weder R. Schrödinger Operators, Spectral Analysis and Number Theory, 348,

Record details

×
Book

No-slip and Free-slip divergence-free wavelets in three and higher dimension for the simulation of incompressible viscous flows

  • Authors :

Subjects: [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]

  • Source: Cartesian CFD Methods for Complex Applications ; https://hal.science/hal-02555973 ; R. Deiterding; M.-O. Domingues; K. Schneider. Cartesian CFD Methods for Complex Applications,

Record details

×
Academic Journal

Siegel's problem for E-functions of order 2

  • Authors :

Subjects: [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]

  • Source: ISSN: 2194-1009 ; Springer Proceedings in Mathematics & Statistics ; https://hal.science/hal-03327786 ;

Record details

×
Conference

UTOPIC: Under-Approximation Through Optimal Control

  • Authors :

Subjects: Under-ApproximationGlasgow

  • Source: QEST 2019 - 16th International Conference on Quantitative Evaluation of SysTems ; https://inria.hal.science/hal-02283189 ; QEST 2019 - 16th International Conference on Quantitative Evaluation of

Record details

×
  • 1-10 of  127 results for ""Mathematics""