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

Your Filters

Language : english Language : romanian; moldavian; moldovan Language : tamil Language : waray Geographic : united kingdom
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

  • Authors :

Subjects: Logic and verificationLondon

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list
×
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

  • Authors :

Subjects: Logic and verificationLondon

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list
×
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

  • Authors :

Subjects: Logic and verificationLondon

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list
×
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

  • Authors :

Subjects: Logic and verificationLondon

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list
×
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

  • Authors :

Subjects: Logic and verificationLondon

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list
×
Conference

A Formalization of Complete Discrete Valuation Rings and Local Fields

  • Authors :

Subjects: Logic and verificationLondon

  • Source: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)https://ujm.hal.science/ujm-0422261013th ACM SIGPLAN International Conference on Certified Programs

Record details

Read More Add to Saved list
×
Conference

Compositional statistical mechanics, entropy and variational inference

  • Authors :

Subjects: Statistical mechanicsBirmingham (UK)

  • Source: Twelfth Symposium on Com- positional Structures (SYCO 12) ; https://hal.sorbonne-universite.fr/hal-04518736 ; Twelfth Symposium on Com- positional Structures (SYCO 12), Apr 2024, Birmingham (UK),

Record details

Read More Add to Saved list
×
Conference

Eigenvalue Methods for Sparse Tropical Polynomial Systems

  • Authors :

Subjects: Tropical geometryDurham

  • Source: Lecture Notes in Computer Science ; ICMS 2024 - International Congress on Mathematical Software ; https://inria.hal.science/hal-04575772 ; ICMS 2024 - International Congress on Mathematical Software,

Record details

Read More Add to Saved list
×
Conference

Control allocation for optimal and resilient operation of the MMC

  • Authors :

Subjects: MMCBristolBristol, United Kingdom

  • Source: 25th IEEE International Conference on Industrial Technology (ICIT 2024)https://hal.science/hal-0454614425th IEEE International Conference on Industrial Technology (ICIT 2024), Mar 2024,

Record details

Read More Add to Saved list
×
Conference

Deep model-free KKL observer: A switching approach

  • Authors :

Subjects: observerOxford

  • Source: Learning for Dynamics and Control ; https://hal.science/hal-04518181 ; Learning for Dynamics and Control, Jul 2024, Oxford, United Kingdom

Record details

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