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,438 results for ""Mathematics""

Your Filters

Collection : Ecole Des Ponts Paristech Language : asturian Language : azerbaijani Language : bashkir Language : breton Language : creek Language : divehi Language : english Language : javanese Language : lingala Language : turkmen 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

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

Pencils of CGA for Voronoi and Power Diagrams ; Faiceaux de CGA pour les diagrammes de Voronoi et les power diagrammes

Subjects: Voronoi Diagrams; Geometric Algebra; Projective GeometryGenève; Switzerland

  • Source: CGI ENGAGE 2024 ; https://hal.science/hal-04636752 ; CGI ENGAGE 2024, Jul 2024, Genève, Switzerland ; https://www.cgs-network.org/cgi24/

Record details

Read More Add to Saved list
×
Conference

Bridging the Hybrid High-Order and Hybridizable Discontinuous Galerkin Methods: Summary

Subjects: [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]Beiing; China

  • Source: Frontiers of Science Awards for Math/TCIS/Phys ; ICBS 2024 - International Congress on Basic Science ; https://hal.science/hal-04680610 ; ICBS 2024 - International Congress on Basic Science, Jul 2024,

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
×
  • 1-10 of  2,438 results for ""Mathematics""