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

Your Filters

Collection : Universite Paris 13 Language : albanian Language : amharic Language : english Language : hebrew Language : irish Language : romanian; moldavian; moldovan Language : slovak Language : tamil Language : tok pisin Language : waray Format : Conference Materials
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Designing videos for undergraduate mathematics

  • Authors :

Subjects: mathematics pedagogy videoMarrakech

  • Source: Erasmus Scientific Days 2022 ; https://hal.science/hal-03882385 ; Erasmus Scientific Days 2022, Oct 2022, Marrakech, Morocco

Record details

Read More Add to Saved list
×
Conference

Laplace Distributors and Laplace Transformations for Differential Categories

  • Authors :

Subjects: [INFO]Computer Science [cs]Tallinn

  • Source: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)https://hal.science/hal-045682899th International Conference on Formal Structures for Computation

Record details

Read More Add to Saved list
×
Conference

Waves in a random medium: Endpoint Strichartz estimates and number estimates

  • Authors :

Subjects: Random media

  • Source: https://hal.science/hal-03727991 ; pp.3-87, 2023, Springer INdAM Series, ⟨10.1007/978-981-99-5894-8_1⟩.

Record details

Read More Add to Saved list
×
Conference

A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem

  • Authors :

Subjects: Formal proofLübeck

  • Source: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on

Record details

Read More Add to Saved list
×
Conference

On the peer review reports: It's not the size that matters . really?

  • Authors :

Subjects: [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST]Bloomington (Indiana)Bloomington (Indiana), United States

  • Source: 19th International Conference of the International Society for Scientometrics and Informetricshttps://hal.science/hal-0419314519th International Conference of the International Society for

Record details

Read More Add to Saved list
×
Conference

Distributing and Parallelizing Non-canonical Loops

  • Authors :

Subjects: Analysis and Verification of Parallel ProgramBoston (MA)Boston (MA), United States

  • Source: Verification, Model Checking, and Abstract Interpretation ; Verification, Model Checking, and Abstract Interpretation (VMCAI 2023) ; https://hal.science/hal-03669387 ; Verification, Model Checking,

Record details

Read More Add to Saved list
×
Conference

Linear realisability over nets and second order quantification ; Réalisabilité Linéaire dans les réseaux et quantification du second ordre

  • Authors :

Subjects: RealisabilityRome

  • Source: Trends in Linear Logic and Applications ; https://hal.science/hal-04131640 ; Trends in Linear Logic and Applications, Jul 2023, Rome, Italy

Record details

Read More Add to Saved list
×
Conference

Unifying Graded Linear Logic and Differential Operators

  • Authors :

Subjects: Linear LogicRoma

  • Source: 8th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italyhttps://hal.science/hal-039795858th International Conference on

Record details

Read More Add to Saved list
×
Conference

mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity

  • Authors :

Subjects: 2012 ACM Subject Classification Automated static analysisHaifa

  • Source: 7th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israelhttps://hal.science/hal-035962857th International Conference on

Record details

Read More Add to Saved list
×
Conference

Analytic solutions of two problems of Biology and Physics using the Jacobi elliptic functions

  • Authors :

Subjects: [MATH]Mathematics [math]MontréalMontréal, Canada

  • Source: 16th International Symposium on Orthogonal Polynomials, Special Functions and Applicationshttps://hal.science/hal-0400470916th International Symposium on Orthogonal Polynomials, Special

Record details

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