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 : aragonese Language : czech Language : dzongkha Language : english Language : igbo Language : italian Language : nauru Language : quechua Language : tibetan Language : tswana Language : uzbek
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

Subjects: Teaching and learning of logic; reasoning and proof; Digital and other resources in university mathematics educationHanovre; Germany

  • 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

Subjects: Teaching and learning of logic; reasoning and proof; Digital and other resources in university mathematics educationHanovre; Germany

  • 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

Subjects: teaching proof; logic; reasoning

  • 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

Subjects: [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [SHS.EDU]Humanities and Social Sciences/Education

  • 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

Subjects: teaching and learning of number theory and discrete mathematics; Proof; AlgorithmsKristiansand; Norway

  • 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

Subjects: JEL: C - Mathematical and Quantitative Methods; JEL: A - General Economics and Teaching; [SHS.ECO]Humanities and Social Sciences/Economics and Finance

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

Record details

Read More Add to Saved list
×
Conference

Morse frames

Subjects: Homology; Cohomology; Discrete Morse TheoryFlorence; ItalyFlorence, 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

Subjects: Homology; Cohomology; Discrete Morse TheoryFlorence; ItalyFlorence, 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

Subjects: [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST]; [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]; [STAT.ML]Statistics [stat]/Machine Learning [stat.ML]

  • 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

Subjects: Constrained Constructive Optimization; Discrete optimal transport; Binary treesFlorence; ItalyFlorence, 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""