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

Your Filters

Collection : Inserm Language : albanian Language : english Language : hebrew Language : irish 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
×
Book

Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics education

  • Authors :

Subjects: formal proof

  • Source: Mathematics Education in the Age of Artificial Intelligence: How Intelligence can serve mathematical human learning ; https://hal.science/hal-03254579 ; Richard P.R.;

Record details

Read More Add to Saved list
×
Book

Mathematics and Mathematicians in Nancy during World War I

  • Authors :

Subjects: 1ère guerre mondiale

  • Source: A War of Guns and mathematics, Mathematics and Mathematicians around WW1 ; https://hal.science/hal-01086883 ; Catherine Goldstein & David

Record details

Read More Add to Saved list
×
Academic Journal

Advancing wavefront shaping with resonant nonlocal metasurfaces: beyond the limitations of lookup tables

  • Authors :

Subjects: [SCCO.COMP]Cognitive science/Computer science

  • Source: ISSN: 2045-2322.

Record details

Read More Add to Saved list
×
Academic Journal

Quasi-local and frequency robust preconditioners for the Helmholtz first-kind integral equations on the disk

  • Authors :

Subjects: Boundary element methods

  • Source: ISSN: 2822-7840 ; EISSN: 2804-7214.

Record details

Read More Add to Saved list
×
Academic Journal

Micromagnetic simulations of the size dependence of the Curie temperature in ferromagnetic nanowires and nanolayers

  • Authors :

Subjects: Micromagnetism

  • Source: ISSN: 0304-8853 ; Journal of Magnetism and Magnetic Materials ; https://hal.science/hal-04364178 ; Journal of Magnetism and Magnetic Materials, 2024, 598, pp.172040.

Record details

Read More Add to Saved list
×
Academic Journal

Structural Brain Connectivity and Treatment Improvement in Mood Disorder

  • Authors :

Subjects: connectome

  • Source: ISSN: 2158-0014.

Record details

Read More Add to Saved list
×
Report

Local time-stepping for adaptive multiresolution using natural extension of Runge–Kutta methods

  • Authors :

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

  • Source: https://hal.science/hal-02616166 ; 2024.

Record details

Read More Add to Saved list
×
Report

Time-Scale Hybrid Continuous-Discrete Sliding Frank-Wolfe Method

  • Authors :

Subjects: NanoForkSpeed

  • Source: https://hal.science/hal-04146737 ; 2024.

Record details

Read More Add to Saved list
×
Report

Generalizing the SINDy approach with nested neural networks

  • Authors :

Subjects: Symbolic regression

  • Source: https://hal.science/hal-04557263 ; 2024.

Record details

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