Toward a Lean Formalization of Analog Computing with Microwaves DED1CA3JCB
| URI | m2://res/DED1CA3JCB |
|---|---|
| Kind | preprint |
| Creators | Matteo Nerini, Xuekang Liu, Bruno Clerckx |
| Date | 2026-10-03 |
| Subjects | arxiv eess.SP, arxiv cs.IT, arxiv math.IT, arxiv physics.app-ph |
| Scope | out |
Expressions
e1: version, preprint
| Date | 2026-10-03 |
|---|---|
| Ids | arXiv 2610.04774 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 2AKX8RDMFT | definition | definition 3 | arxiv |
| 7XH6HSEWT3 | definition | definition 7 | arxiv |
| 8M08BPRVT7 | definition | definition 2 | arxiv |
| BVHP9S9D9T | definition | definition 5 | arxiv |
| CEETZB17VT | definition | definition 6 | arxiv |
| H4AZ2CKZ1E | definition | definition 1 | arxiv |
| KGK1YSPV03 | definition | definition 4 | arxiv |
| WW09W5MZ5J | statement | theorem 1 | arxiv |
Catalogue records
- arxiv: 2610.04774 (work)