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

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

×
Book

Purity and Explanation: Essentially Linked?

  • Authors :

Subjects: Philosophy of mathematics

  • Source: Mathematical Objects, Knowledge and Applications: Essays in Memory of Mark Steiner ; https://hal.science/hal-04152762 ; Carl Posy; Yemima Ben-Menahem. Mathematical Objects, Knowledge and Applications:

Record details

×
Book

Scaling property for fragmentation processes related to avalanches

  • Authors :

Subjects: scaling

  • Source: Applications of Mathematics and Informatics in Natural Sciences and Engineering ; https://hal.science/hal-02942710 ; Applications of

Record details

×
Book

Towards Distributivity in FCA for Phylogenetic Data

  • Authors :

Subjects: lattice

  • Source: Complex Data Analysis with Formal Concept Analysis ; https://inria.hal.science/hal-03537989 ; Rokia Missaoui, Leonard Kwuida, Talel Abdessalem. Complex Data Analysis with Formal Concept Analysis,

Record details

×
Book

Control of parameter dependent systems

  • Authors :

Subjects: Averaged control

  • Source: Handbook of Numerical Analysis ; https://hal.science/hal-03035494 ; Handbook of Numerical Analysis, 23, pp.265-306, 2022, Numerical Control: Part A, 1570-8659. ⟨10.1016/bs.hna.2021.12.008⟩

Record details

×
Book

Heuristic Inspection to Assess Persuasiveness: A Case Study of a Mathematics E-Learning Program

  • Authors :

Subjects: Persuasive technology

  • Source: Design, User Experience and Usability ; https://shs.hal.science/halshs-02571802 ; Design, User Experience and Usability, 2014

Record details

×
Book

Using Maple to analyse parallel robots

  • Authors :

Subjects: [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]

  • Source: Maple in Mathematics Education and Research ; https://hal.science/hal-02289699 ; Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics

Record details

×
Book

One-component inner functions II

  • Authors :

Subjects: [MATH]Mathematics [math]

  • Source: Advancements in Complex Analysis - from Theory to Praxis, 39-49 Ed.: Daniel Breaz, Michael Th. Rassias, ; https://hal.science/hal-02114277 ; Advancements in Complex Analysis - from Theory to Praxis,

Record details

×
Book

Computable Measure Theory and Algorithmic Randomness

  • Authors :

Subjects: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory

  • Source: Handbook of Computable Analysis ; https://inria.hal.science/hal-02938919 ; Handbook of Computable Analysis, pp.227-270, 2021, 978-3-030-59234-9. ⟨10.1007/978-3-030-59234-9_7⟩

Record details

×
Book

The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq

  • Authors :

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

  • Source: Proof and Computation II ; https://inria.hal.science/hal-03338785 ; Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩

Record details

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