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

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  2,399 results for ""Mathematics""

Your Filters

Collection : Ecole Des Ponts Paristech Language : albanian Language : asturian Language : chichewa Language : english Language : georgian Language : malagasy Language : romanian; moldavian; moldovan Language : slovak Language : tamil Language : tok pisin Language : waray
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis

  • Authors :

Subjects: Teaching and learning of logicHanovre

  • Source: INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics ; https://hal.science/hal-03648357 ; INDRUM 2022: Fourth

Record details

Read More Add to Saved list
×
Conference

Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis

  • Authors :

Subjects: Teaching and learning of logicHanovre

  • Source: INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics ; https://hal.science/hal-03648357 ; INDRUM 2022: Fourth

Record details

Read More Add to Saved list
×
Report

Proof assistants for undergraduate mathematics education: elements of an a priori analysis

  • Authors :

Subjects: teaching proof

  • Source: https://hal.science/hal-04087080 ; 2023.

Record details

Read More Add to Saved list
×
Book

Didactical issues at the interface of mathematics and computer science

  • Authors :

Subjects: [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO]

  • Source: Proof Technology in Mathematics Research and Teaching ; https://hal.science/hal-01912885 ; Proof Technology in Mathematics Research and

Record details

Read More Add to Saved list
×
Conference

Discrete mathematics at university level. Interfacing mathematics, computer science and arithmetic

  • Authors :

Subjects: teaching and learning of number theory and discrete mathematicsKristiansand

  • Source: Proceedings of the Second Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2018, 5-7 April 2018) ; INDRUM 2018 ;

Record details

Read More Add to Saved list
×
Report

Lecture Notes: Mathematics for Economics

  • Authors :

Subjects: JEL: C - Mathematical and Quantitative Methods

  • Source: https://shs.hal.science/halshs-03328380 ; 2021.

Record details

Read More Add to Saved list
×
Conference

Morse frames

  • Authors :

Subjects: HomologyFlorenceFlorence, Italy

  • Source: International Conference on Discrete Geometry and Mathematical Morphology (DGMM) ; https://hal.science/hal-04217818 ; International Conference on Discrete Geometry and Mathematical Morphology (DGMM),

Record details

Read More Add to Saved list
×
Conference

Morse frames

  • Authors :

Subjects: HomologyFlorenceFlorence, Italy

  • Source: International Conference on Discrete Geometry and Mathematical Morphology (DGMM) ; https://hal.science/hal-04217818 ; International Conference on Discrete Geometry and Mathematical Morphology (DGMM),

Record details

Read More Add to Saved list
×
Academic Journal

Near-optimal estimation of smooth transport maps with kernel sums-of-squares

  • Authors :

Subjects: [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST]

  • Source: EISSN: 2577-0187 ; SIAM Journal on Mathematics of Data Science ; https://hal.science/hal-03466696 ; SIAM Journal on Mathematics of Data

Record details

Read More Add to Saved list
×
Conference

Convex optimization for binary tree-based transport networks

  • Authors :

Subjects: Constrained Constructive OptimizationFlorenceFlorence, Italy

  • Source: Lecture Notes in Computer Science ; International Conference on Discrete Geometry and Mathematical Morphology (DGMM) ; https://inria.hal.science/hal-04359833 ; International Conference on Discrete

Record details

Read More Add to Saved list
×
  • 1-10 of  2,399 results for ""Mathematics""