funcprops 0.1.0__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (56) hide show
  1. funcprops/__init__.py +234 -0
  2. funcprops/_semialg.py +246 -0
  3. funcprops/api.py +70 -0
  4. funcprops/branchcuts/__init__.py +141 -0
  5. funcprops/branchcuts/computation.py +664 -0
  6. funcprops/branchcuts/core.py +1204 -0
  7. funcprops/branchcuts/post_simplify.py +461 -0
  8. funcprops/conditions.py +124 -0
  9. funcprops/data/catalogue.json +127449 -0
  10. funcprops/data/dlmf_audit.json +3382 -0
  11. funcprops/dlmf.py +29 -0
  12. funcprops/engine.py +324 -0
  13. funcprops/exceptions.py +29 -0
  14. funcprops/proof_cache.py +373 -0
  15. funcprops/real_analysis/__init__.py +52 -0
  16. funcprops/real_analysis/advanced_convexity.py +217 -0
  17. funcprops/real_analysis/boundedness.py +168 -0
  18. funcprops/real_analysis/common.py +244 -0
  19. funcprops/real_analysis/convexity.py +698 -0
  20. funcprops/real_analysis/differentiability.py +112 -0
  21. funcprops/real_analysis/domain.py +188 -0
  22. funcprops/real_analysis/mapping.py +374 -0
  23. funcprops/real_analysis/monotonic_certificates.py +867 -0
  24. funcprops/real_analysis/monotonicity.py +673 -0
  25. funcprops/real_analysis/oscillation.py +151 -0
  26. funcprops/real_analysis/piecewise.py +174 -0
  27. funcprops/real_analysis/range.py +552 -0
  28. funcprops/real_analysis/sign.py +561 -0
  29. funcprops/real_analysis/smoothness.py +268 -0
  30. funcprops/real_analysis/special_functions.py +515 -0
  31. funcprops/real_analysis/structural_properties.py +558 -0
  32. funcprops/real_analysis/zeros.py +327 -0
  33. funcprops/registry.py +274 -0
  34. funcprops/results.py +239 -0
  35. funcprops/singularities.py +1767 -0
  36. funcprops/stratification.py +494 -0
  37. funcprops/sympy_compare.py +63 -0
  38. funcprops/transcendental/__init__.py +140 -0
  39. funcprops/transcendental/algebraize.py +201 -0
  40. funcprops/transcendental/analytic.py +261 -0
  41. funcprops/transcendental/complex_roots.py +542 -0
  42. funcprops/transcendental/exp_fourier.py +221 -0
  43. funcprops/transcendental/extrema.py +821 -0
  44. funcprops/transcendental/periodic.py +222 -0
  45. funcprops/transcendental/proof.py +104 -0
  46. funcprops/transcendental/real_interval.py +128 -0
  47. funcprops/transcendental/real_sign.py +117 -0
  48. funcprops/transcendental/reduce.py +288 -0
  49. funcprops/transcendental/roots.py +1380 -0
  50. funcprops/transcendental/zero_geometry.py +1197 -0
  51. funcprops/verification.py +410 -0
  52. funcprops-0.1.0.dist-info/METADATA +208 -0
  53. funcprops-0.1.0.dist-info/RECORD +56 -0
  54. funcprops-0.1.0.dist-info/WHEEL +5 -0
  55. funcprops-0.1.0.dist-info/licenses/LICENSE +674 -0
  56. funcprops-0.1.0.dist-info/top_level.txt +1 -0
funcprops/data/dlmf_audit.json ADDED
@@ -0,0 +1,3382 @@
1
+ {
2
+ "families": [
3
+ {
4
+ "category": "complexes",
5
+ "dlmf_chapters": "",
6
+ "dlmf_urls": [],
7
+ "family_id": "Abs",
8
+ "formula_refs": [],
9
+ "formula_verified_properties": "",
10
+ "property_count": 31,
11
+ "status": "not-dlmf-scoped",
12
+ "structural_issues": [],
13
+ "verification_kind": ""
14
+ },
15
+ {
16
+ "category": "trigonometric",
17
+ "dlmf_chapters": "",
18
+ "dlmf_urls": [],
19
+ "family_id": "acos",
20
+ "formula_refs": [],
21
+ "formula_verified_properties": "",
22
+ "property_count": 27,
23
+ "status": "not-dlmf-scoped",
24
+ "structural_issues": [],
25
+ "verification_kind": ""
26
+ },
27
+ {
28
+ "category": "hyperbolic",
29
+ "dlmf_chapters": "",
30
+ "dlmf_urls": [],
31
+ "family_id": "acosh",
32
+ "formula_refs": [],
33
+ "formula_verified_properties": "",
34
+ "property_count": 27,
35
+ "status": "not-dlmf-scoped",
36
+ "structural_issues": [],
37
+ "verification_kind": ""
38
+ },
39
+ {
40
+ "category": "trigonometric",
41
+ "dlmf_chapters": "",
42
+ "dlmf_urls": [],
43
+ "family_id": "acot",
44
+ "formula_refs": [],
45
+ "formula_verified_properties": "",
46
+ "property_count": 29,
47
+ "status": "not-dlmf-scoped",
48
+ "structural_issues": [],
49
+ "verification_kind": ""
50
+ },
51
+ {
52
+ "category": "hyperbolic",
53
+ "dlmf_chapters": "",
54
+ "dlmf_urls": [],
55
+ "family_id": "acoth",
56
+ "formula_refs": [],
57
+ "formula_verified_properties": "",
58
+ "property_count": 29,
59
+ "status": "not-dlmf-scoped",
60
+ "structural_issues": [],
61
+ "verification_kind": ""
62
+ },
63
+ {
64
+ "category": "trigonometric",
65
+ "dlmf_chapters": "",
66
+ "dlmf_urls": [],
67
+ "family_id": "acsc",
68
+ "formula_refs": [],
69
+ "formula_verified_properties": "",
70
+ "property_count": 29,
71
+ "status": "not-dlmf-scoped",
72
+ "structural_issues": [],
73
+ "verification_kind": ""
74
+ },
75
+ {
76
+ "category": "hyperbolic",
77
+ "dlmf_chapters": "",
78
+ "dlmf_urls": [],
79
+ "family_id": "acsch",
80
+ "formula_refs": [],
81
+ "formula_verified_properties": "",
82
+ "property_count": 29,
83
+ "status": "not-dlmf-scoped",
84
+ "structural_issues": [],
85
+ "verification_kind": ""
86
+ },
87
+ {
88
+ "category": "complexes",
89
+ "dlmf_chapters": "",
90
+ "dlmf_urls": [],
91
+ "family_id": "adjoint",
92
+ "formula_refs": [],
93
+ "formula_verified_properties": "",
94
+ "property_count": 0,
95
+ "status": "not-dlmf-scoped",
96
+ "structural_issues": [],
97
+ "verification_kind": ""
98
+ },
99
+ {
100
+ "category": "bessel",
101
+ "dlmf_chapters": "9, 10, 11, 13",
102
+ "dlmf_urls": [
103
+ "https://dlmf.nist.gov/9",
104
+ "https://dlmf.nist.gov/10",
105
+ "https://dlmf.nist.gov/11",
106
+ "https://dlmf.nist.gov/13"
107
+ ],
108
+ "family_id": "airyai",
109
+ "formula_refs": [],
110
+ "formula_verified_properties": "",
111
+ "property_count": 25,
112
+ "status": "hand-audited-core",
113
+ "structural_issues": [],
114
+ "verification_kind": ""
115
+ },
116
+ {
117
+ "category": "bessel",
118
+ "dlmf_chapters": "9, 10, 11, 13",
119
+ "dlmf_urls": [
120
+ "https://dlmf.nist.gov/9",
121
+ "https://dlmf.nist.gov/10",
122
+ "https://dlmf.nist.gov/11",
123
+ "https://dlmf.nist.gov/13"
124
+ ],
125
+ "family_id": "airyaiprime",
126
+ "formula_refs": [],
127
+ "formula_verified_properties": "",
128
+ "property_count": 25,
129
+ "status": "hand-audited-core",
130
+ "structural_issues": [],
131
+ "verification_kind": ""
132
+ },
133
+ {
134
+ "category": "bessel",
135
+ "dlmf_chapters": "9, 10, 11, 13",
136
+ "dlmf_urls": [
137
+ "https://dlmf.nist.gov/9",
138
+ "https://dlmf.nist.gov/10",
139
+ "https://dlmf.nist.gov/11",
140
+ "https://dlmf.nist.gov/13"
141
+ ],
142
+ "family_id": "airybi",
143
+ "formula_refs": [],
144
+ "formula_verified_properties": "",
145
+ "property_count": 25,
146
+ "status": "hand-audited-core",
147
+ "structural_issues": [],
148
+ "verification_kind": ""
149
+ },
150
+ {
151
+ "category": "bessel",
152
+ "dlmf_chapters": "9, 10, 11, 13",
153
+ "dlmf_urls": [
154
+ "https://dlmf.nist.gov/9",
155
+ "https://dlmf.nist.gov/10",
156
+ "https://dlmf.nist.gov/11",
157
+ "https://dlmf.nist.gov/13"
158
+ ],
159
+ "family_id": "airybiprime",
160
+ "formula_refs": [],
161
+ "formula_verified_properties": "",
162
+ "property_count": 25,
163
+ "status": "hand-audited-core",
164
+ "structural_issues": [],
165
+ "verification_kind": ""
166
+ },
167
+ {
168
+ "category": "numbers",
169
+ "dlmf_chapters": "",
170
+ "dlmf_urls": [],
171
+ "family_id": "andre",
172
+ "formula_refs": [],
173
+ "formula_verified_properties": "",
174
+ "property_count": 0,
175
+ "status": "not-dlmf-scoped",
176
+ "structural_issues": [],
177
+ "verification_kind": ""
178
+ },
179
+ {
180
+ "category": "hyper",
181
+ "dlmf_chapters": "15, 16",
182
+ "dlmf_urls": [
183
+ "https://dlmf.nist.gov/15",
184
+ "https://dlmf.nist.gov/16"
185
+ ],
186
+ "family_id": "appellf1",
187
+ "formula_refs": [
188
+ "16.13.E1"
189
+ ],
190
+ "formula_verified_properties": "definition and convergence domain",
191
+ "property_count": 10,
192
+ "status": "formula-verified-core",
193
+ "structural_issues": [],
194
+ "verification_kind": "direct"
195
+ },
196
+ {
197
+ "category": "complexes",
198
+ "dlmf_chapters": "",
199
+ "dlmf_urls": [],
200
+ "family_id": "arg",
201
+ "formula_refs": [],
202
+ "formula_verified_properties": "",
203
+ "property_count": 30,
204
+ "status": "not-dlmf-scoped",
205
+ "structural_issues": [],
206
+ "verification_kind": ""
207
+ },
208
+ {
209
+ "category": "trigonometric",
210
+ "dlmf_chapters": "",
211
+ "dlmf_urls": [],
212
+ "family_id": "asec",
213
+ "formula_refs": [],
214
+ "formula_verified_properties": "",
215
+ "property_count": 27,
216
+ "status": "not-dlmf-scoped",
217
+ "structural_issues": [],
218
+ "verification_kind": ""
219
+ },
220
+ {
221
+ "category": "hyperbolic",
222
+ "dlmf_chapters": "",
223
+ "dlmf_urls": [],
224
+ "family_id": "asech",
225
+ "formula_refs": [],
226
+ "formula_verified_properties": "",
227
+ "property_count": 27,
228
+ "status": "not-dlmf-scoped",
229
+ "structural_issues": [],
230
+ "verification_kind": ""
231
+ },
232
+ {
233
+ "category": "trigonometric",
234
+ "dlmf_chapters": "",
235
+ "dlmf_urls": [],
236
+ "family_id": "asin",
237
+ "formula_refs": [],
238
+ "formula_verified_properties": "",
239
+ "property_count": 29,
240
+ "status": "not-dlmf-scoped",
241
+ "structural_issues": [],
242
+ "verification_kind": ""
243
+ },
244
+ {
245
+ "category": "hyperbolic",
246
+ "dlmf_chapters": "",
247
+ "dlmf_urls": [],
248
+ "family_id": "asinh",
249
+ "formula_refs": [],
250
+ "formula_verified_properties": "",
251
+ "property_count": 29,
252
+ "status": "not-dlmf-scoped",
253
+ "structural_issues": [],
254
+ "verification_kind": ""
255
+ },
256
+ {
257
+ "category": "polynomials",
258
+ "dlmf_chapters": "14, 18",
259
+ "dlmf_urls": [
260
+ "https://dlmf.nist.gov/14",
261
+ "https://dlmf.nist.gov/18"
262
+ ],
263
+ "family_id": "assoc_laguerre",
264
+ "formula_refs": [
265
+ "18.5.E12",
266
+ "18.16.E9"
267
+ ],
268
+ "formula_verified_properties": "explicit representation; n simple positive zeros for alpha>-1",
269
+ "property_count": 20,
270
+ "status": "formula-verified-core",
271
+ "structural_issues": [],
272
+ "verification_kind": "direct"
273
+ },
274
+ {
275
+ "category": "polynomials",
276
+ "dlmf_chapters": "14, 18",
277
+ "dlmf_urls": [
278
+ "https://dlmf.nist.gov/14",
279
+ "https://dlmf.nist.gov/18"
280
+ ],
281
+ "family_id": "assoc_legendre",
282
+ "formula_refs": [],
283
+ "formula_verified_properties": "",
284
+ "property_count": 21,
285
+ "status": "hand-audited-core",
286
+ "structural_issues": [],
287
+ "verification_kind": ""
288
+ },
289
+ {
290
+ "category": "trigonometric",
291
+ "dlmf_chapters": "",
292
+ "dlmf_urls": [],
293
+ "family_id": "atan",
294
+ "formula_refs": [],
295
+ "formula_verified_properties": "",
296
+ "property_count": 29,
297
+ "status": "not-dlmf-scoped",
298
+ "structural_issues": [],
299
+ "verification_kind": ""
300
+ },
301
+ {
302
+ "category": "trigonometric",
303
+ "dlmf_chapters": "",
304
+ "dlmf_urls": [],
305
+ "family_id": "atan2",
306
+ "formula_refs": [],
307
+ "formula_verified_properties": "",
308
+ "property_count": 29,
309
+ "status": "not-dlmf-scoped",
310
+ "structural_issues": [],
311
+ "verification_kind": ""
312
+ },
313
+ {
314
+ "category": "hyperbolic",
315
+ "dlmf_chapters": "",
316
+ "dlmf_urls": [],
317
+ "family_id": "atanh",
318
+ "formula_refs": [],
319
+ "formula_verified_properties": "",
320
+ "property_count": 29,
321
+ "status": "not-dlmf-scoped",
322
+ "structural_issues": [],
323
+ "verification_kind": ""
324
+ },
325
+ {
326
+ "category": "numbers",
327
+ "dlmf_chapters": "",
328
+ "dlmf_urls": [],
329
+ "family_id": "bell",
330
+ "formula_refs": [],
331
+ "formula_verified_properties": "",
332
+ "property_count": 19,
333
+ "status": "not-dlmf-scoped",
334
+ "structural_issues": [],
335
+ "verification_kind": ""
336
+ },
337
+ {
338
+ "category": "numbers",
339
+ "dlmf_chapters": "",
340
+ "dlmf_urls": [],
341
+ "family_id": "bernoulli",
342
+ "formula_refs": [],
343
+ "formula_verified_properties": "",
344
+ "property_count": 0,
345
+ "status": "not-dlmf-scoped",
346
+ "structural_issues": [],
347
+ "verification_kind": ""
348
+ },
349
+ {
350
+ "category": "bessel",
351
+ "dlmf_chapters": "9, 10, 11, 13",
352
+ "dlmf_urls": [
353
+ "https://dlmf.nist.gov/9",
354
+ "https://dlmf.nist.gov/10",
355
+ "https://dlmf.nist.gov/11",
356
+ "https://dlmf.nist.gov/13"
357
+ ],
358
+ "family_id": "besseli",
359
+ "formula_refs": [],
360
+ "formula_verified_properties": "",
361
+ "property_count": 29,
362
+ "status": "hand-audited-core",
363
+ "structural_issues": [],
364
+ "verification_kind": ""
365
+ },
366
+ {
367
+ "category": "bessel",
368
+ "dlmf_chapters": "9, 10, 11, 13",
369
+ "dlmf_urls": [
370
+ "https://dlmf.nist.gov/9",
371
+ "https://dlmf.nist.gov/10",
372
+ "https://dlmf.nist.gov/11",
373
+ "https://dlmf.nist.gov/13"
374
+ ],
375
+ "family_id": "besselj",
376
+ "formula_refs": [],
377
+ "formula_verified_properties": "",
378
+ "property_count": 21,
379
+ "status": "hand-audited-core",
380
+ "structural_issues": [],
381
+ "verification_kind": ""
382
+ },
383
+ {
384
+ "category": "bessel",
385
+ "dlmf_chapters": "9, 10, 11, 13",
386
+ "dlmf_urls": [
387
+ "https://dlmf.nist.gov/9",
388
+ "https://dlmf.nist.gov/10",
389
+ "https://dlmf.nist.gov/11",
390
+ "https://dlmf.nist.gov/13"
391
+ ],
392
+ "family_id": "besselk",
393
+ "formula_refs": [],
394
+ "formula_verified_properties": "",
395
+ "property_count": 27,
396
+ "status": "hand-audited-core",
397
+ "structural_issues": [],
398
+ "verification_kind": ""
399
+ },
400
+ {
401
+ "category": "bessel",
402
+ "dlmf_chapters": "9, 10, 11, 13",
403
+ "dlmf_urls": [
404
+ "https://dlmf.nist.gov/9",
405
+ "https://dlmf.nist.gov/10",
406
+ "https://dlmf.nist.gov/11",
407
+ "https://dlmf.nist.gov/13"
408
+ ],
409
+ "family_id": "bessely",
410
+ "formula_refs": [],
411
+ "formula_verified_properties": "",
412
+ "property_count": 21,
413
+ "status": "hand-audited-core",
414
+ "structural_issues": [],
415
+ "verification_kind": ""
416
+ },
417
+ {
418
+ "category": "beta_functions",
419
+ "dlmf_chapters": "5, 8",
420
+ "dlmf_urls": [
421
+ "https://dlmf.nist.gov/5",
422
+ "https://dlmf.nist.gov/8"
423
+ ],
424
+ "family_id": "beta",
425
+ "formula_refs": [],
426
+ "formula_verified_properties": "",
427
+ "property_count": 27,
428
+ "status": "hand-audited-core",
429
+ "structural_issues": [],
430
+ "verification_kind": ""
431
+ },
432
+ {
433
+ "category": "beta_functions",
434
+ "dlmf_chapters": "5, 8",
435
+ "dlmf_urls": [
436
+ "https://dlmf.nist.gov/5",
437
+ "https://dlmf.nist.gov/8"
438
+ ],
439
+ "family_id": "betainc",
440
+ "formula_refs": [],
441
+ "formula_verified_properties": "",
442
+ "property_count": 27,
443
+ "status": "hand-audited-core",
444
+ "structural_issues": [],
445
+ "verification_kind": ""
446
+ },
447
+ {
448
+ "category": "beta_functions",
449
+ "dlmf_chapters": "5, 8",
450
+ "dlmf_urls": [
451
+ "https://dlmf.nist.gov/5",
452
+ "https://dlmf.nist.gov/8"
453
+ ],
454
+ "family_id": "betainc_regularized",
455
+ "formula_refs": [],
456
+ "formula_verified_properties": "",
457
+ "property_count": 10,
458
+ "status": "hand-audited-core",
459
+ "structural_issues": [],
460
+ "verification_kind": ""
461
+ },
462
+ {
463
+ "category": "factorials",
464
+ "dlmf_chapters": "",
465
+ "dlmf_urls": [],
466
+ "family_id": "binomial",
467
+ "formula_refs": [],
468
+ "formula_verified_properties": "",
469
+ "property_count": 0,
470
+ "status": "not-dlmf-scoped",
471
+ "structural_issues": [],
472
+ "verification_kind": ""
473
+ },
474
+ {
475
+ "category": "numbers",
476
+ "dlmf_chapters": "",
477
+ "dlmf_urls": [],
478
+ "family_id": "carmichael",
479
+ "formula_refs": [],
480
+ "formula_verified_properties": "",
481
+ "property_count": 0,
482
+ "status": "not-dlmf-scoped",
483
+ "structural_issues": [],
484
+ "verification_kind": ""
485
+ },
486
+ {
487
+ "category": "numbers",
488
+ "dlmf_chapters": "",
489
+ "dlmf_urls": [],
490
+ "family_id": "catalan",
491
+ "formula_refs": [],
492
+ "formula_verified_properties": "",
493
+ "property_count": 24,
494
+ "status": "not-dlmf-scoped",
495
+ "structural_issues": [],
496
+ "verification_kind": ""
497
+ },
498
+ {
499
+ "category": "integers",
500
+ "dlmf_chapters": "",
501
+ "dlmf_urls": [],
502
+ "family_id": "ceiling",
503
+ "formula_refs": [],
504
+ "formula_verified_properties": "",
505
+ "property_count": 30,
506
+ "status": "not-dlmf-scoped",
507
+ "structural_issues": [],
508
+ "verification_kind": ""
509
+ },
510
+ {
511
+ "category": "polynomials",
512
+ "dlmf_chapters": "14, 18",
513
+ "dlmf_urls": [
514
+ "https://dlmf.nist.gov/14",
515
+ "https://dlmf.nist.gov/18"
516
+ ],
517
+ "family_id": "chebyshevt",
518
+ "formula_refs": [
519
+ "18.5.E1",
520
+ "18.16.iii"
521
+ ],
522
+ "formula_verified_properties": "trigonometric representation and zeros in (-1,1)",
523
+ "property_count": 25,
524
+ "status": "formula-verified-core",
525
+ "structural_issues": [],
526
+ "verification_kind": "direct"
527
+ },
528
+ {
529
+ "category": "polynomials",
530
+ "dlmf_chapters": "14, 18",
531
+ "dlmf_urls": [
532
+ "https://dlmf.nist.gov/14",
533
+ "https://dlmf.nist.gov/18"
534
+ ],
535
+ "family_id": "chebyshevt_root",
536
+ "formula_refs": [
537
+ "18.5.E1"
538
+ ],
539
+ "formula_verified_properties": "root formula derived from T_n(cos theta)=cos(n theta)",
540
+ "property_count": 0,
541
+ "status": "formula-verified-derived",
542
+ "structural_issues": [],
543
+ "verification_kind": "derived"
544
+ },
545
+ {
546
+ "category": "polynomials",
547
+ "dlmf_chapters": "14, 18",
548
+ "dlmf_urls": [
549
+ "https://dlmf.nist.gov/14",
550
+ "https://dlmf.nist.gov/18"
551
+ ],
552
+ "family_id": "chebyshevu",
553
+ "formula_refs": [
554
+ "18.5.E2",
555
+ "18.16.iii"
556
+ ],
557
+ "formula_verified_properties": "trigonometric representation and zeros in (-1,1)",
558
+ "property_count": 25,
559
+ "status": "formula-verified-core",
560
+ "structural_issues": [],
561
+ "verification_kind": "direct"
562
+ },
563
+ {
564
+ "category": "polynomials",
565
+ "dlmf_chapters": "14, 18",
566
+ "dlmf_urls": [
567
+ "https://dlmf.nist.gov/14",
568
+ "https://dlmf.nist.gov/18"
569
+ ],
570
+ "family_id": "chebyshevu_root",
571
+ "formula_refs": [
572
+ "18.5.E2"
573
+ ],
574
+ "formula_verified_properties": "root formula derived from U_n(cos theta)",
575
+ "property_count": 0,
576
+ "status": "formula-verified-derived",
577
+ "structural_issues": [],
578
+ "verification_kind": "derived"
579
+ },
580
+ {
581
+ "category": "error_functions",
582
+ "dlmf_chapters": "6, 7",
583
+ "dlmf_urls": [
584
+ "https://dlmf.nist.gov/6",
585
+ "https://dlmf.nist.gov/7"
586
+ ],
587
+ "family_id": "Chi",
588
+ "formula_refs": [],
589
+ "formula_verified_properties": "",
590
+ "property_count": 29,
591
+ "status": "hand-audited-core",
592
+ "structural_issues": [],
593
+ "verification_kind": ""
594
+ },
595
+ {
596
+ "category": "error_functions",
597
+ "dlmf_chapters": "6, 7",
598
+ "dlmf_urls": [
599
+ "https://dlmf.nist.gov/6",
600
+ "https://dlmf.nist.gov/7"
601
+ ],
602
+ "family_id": "Ci",
603
+ "formula_refs": [],
604
+ "formula_verified_properties": "",
605
+ "property_count": 25,
606
+ "status": "hand-audited-core",
607
+ "structural_issues": [],
608
+ "verification_kind": ""
609
+ },
610
+ {
611
+ "category": "complexes",
612
+ "dlmf_chapters": "",
613
+ "dlmf_urls": [],
614
+ "family_id": "conjugate",
615
+ "formula_refs": [],
616
+ "formula_verified_properties": "",
617
+ "property_count": 26,
618
+ "status": "not-dlmf-scoped",
619
+ "structural_issues": [],
620
+ "verification_kind": ""
621
+ },
622
+ {
623
+ "category": "trigonometric",
624
+ "dlmf_chapters": "",
625
+ "dlmf_urls": [],
626
+ "family_id": "cos",
627
+ "formula_refs": [],
628
+ "formula_verified_properties": "",
629
+ "property_count": 28,
630
+ "status": "not-dlmf-scoped",
631
+ "structural_issues": [],
632
+ "verification_kind": ""
633
+ },
634
+ {
635
+ "category": "hyperbolic",
636
+ "dlmf_chapters": "",
637
+ "dlmf_urls": [],
638
+ "family_id": "cosh",
639
+ "formula_refs": [],
640
+ "formula_verified_properties": "",
641
+ "property_count": 29,
642
+ "status": "not-dlmf-scoped",
643
+ "structural_issues": [],
644
+ "verification_kind": ""
645
+ },
646
+ {
647
+ "category": "trigonometric",
648
+ "dlmf_chapters": "",
649
+ "dlmf_urls": [],
650
+ "family_id": "cot",
651
+ "formula_refs": [],
652
+ "formula_verified_properties": "",
653
+ "property_count": 26,
654
+ "status": "not-dlmf-scoped",
655
+ "structural_issues": [],
656
+ "verification_kind": ""
657
+ },
658
+ {
659
+ "category": "hyperbolic",
660
+ "dlmf_chapters": "",
661
+ "dlmf_urls": [],
662
+ "family_id": "coth",
663
+ "formula_refs": [],
664
+ "formula_verified_properties": "",
665
+ "property_count": 30,
666
+ "status": "not-dlmf-scoped",
667
+ "structural_issues": [],
668
+ "verification_kind": ""
669
+ },
670
+ {
671
+ "category": "trigonometric",
672
+ "dlmf_chapters": "",
673
+ "dlmf_urls": [],
674
+ "family_id": "csc",
675
+ "formula_refs": [],
676
+ "formula_verified_properties": "",
677
+ "property_count": 26,
678
+ "status": "not-dlmf-scoped",
679
+ "structural_issues": [],
680
+ "verification_kind": ""
681
+ },
682
+ {
683
+ "category": "hyperbolic",
684
+ "dlmf_chapters": "",
685
+ "dlmf_urls": [],
686
+ "family_id": "csch",
687
+ "formula_refs": [],
688
+ "formula_verified_properties": "",
689
+ "property_count": 30,
690
+ "status": "not-dlmf-scoped",
691
+ "structural_issues": [],
692
+ "verification_kind": ""
693
+ },
694
+ {
695
+ "category": "gamma_functions",
696
+ "dlmf_chapters": "5, 8",
697
+ "dlmf_urls": [
698
+ "https://dlmf.nist.gov/5",
699
+ "https://dlmf.nist.gov/8"
700
+ ],
701
+ "family_id": "digamma",
702
+ "formula_refs": [],
703
+ "formula_verified_properties": "",
704
+ "property_count": 30,
705
+ "status": "hand-audited-core",
706
+ "structural_issues": [],
707
+ "verification_kind": ""
708
+ },
709
+ {
710
+ "category": "delta_functions",
711
+ "dlmf_chapters": "",
712
+ "dlmf_urls": [],
713
+ "family_id": "DiracDelta",
714
+ "formula_refs": [],
715
+ "formula_verified_properties": "",
716
+ "property_count": 25,
717
+ "status": "not-dlmf-scoped",
718
+ "structural_issues": [],
719
+ "verification_kind": ""
720
+ },
721
+ {
722
+ "category": "zeta_functions",
723
+ "dlmf_chapters": "25",
724
+ "dlmf_urls": [
725
+ "https://dlmf.nist.gov/25"
726
+ ],
727
+ "family_id": "dirichlet_eta",
728
+ "formula_refs": [
729
+ "25.2.E3"
730
+ ],
731
+ "formula_verified_properties": "alternating zeta representation / analytic continuation relation",
732
+ "property_count": 0,
733
+ "status": "formula-verified-derived",
734
+ "structural_issues": [],
735
+ "verification_kind": "derived"
736
+ },
737
+ {
738
+ "category": "numbers",
739
+ "dlmf_chapters": "",
740
+ "dlmf_urls": [],
741
+ "family_id": "divisor_sigma",
742
+ "formula_refs": [],
743
+ "formula_verified_properties": "",
744
+ "property_count": 0,
745
+ "status": "not-dlmf-scoped",
746
+ "structural_issues": [],
747
+ "verification_kind": ""
748
+ },
749
+ {
750
+ "category": "error_functions",
751
+ "dlmf_chapters": "6, 7",
752
+ "dlmf_urls": [
753
+ "https://dlmf.nist.gov/6",
754
+ "https://dlmf.nist.gov/7"
755
+ ],
756
+ "family_id": "Ei",
757
+ "formula_refs": [],
758
+ "formula_verified_properties": "",
759
+ "property_count": 29,
760
+ "status": "hand-audited-core",
761
+ "structural_issues": [],
762
+ "verification_kind": ""
763
+ },
764
+ {
765
+ "category": "elliptic_integrals",
766
+ "dlmf_chapters": "19",
767
+ "dlmf_urls": [
768
+ "https://dlmf.nist.gov/19"
769
+ ],
770
+ "family_id": "elliptic_e",
771
+ "formula_refs": [],
772
+ "formula_verified_properties": "",
773
+ "property_count": 27,
774
+ "status": "hand-audited-core",
775
+ "structural_issues": [],
776
+ "verification_kind": ""
777
+ },
778
+ {
779
+ "category": "elliptic_integrals",
780
+ "dlmf_chapters": "19",
781
+ "dlmf_urls": [
782
+ "https://dlmf.nist.gov/19"
783
+ ],
784
+ "family_id": "elliptic_f",
785
+ "formula_refs": [],
786
+ "formula_verified_properties": "",
787
+ "property_count": 27,
788
+ "status": "hand-audited-core",
789
+ "structural_issues": [],
790
+ "verification_kind": ""
791
+ },
792
+ {
793
+ "category": "elliptic_integrals",
794
+ "dlmf_chapters": "19",
795
+ "dlmf_urls": [
796
+ "https://dlmf.nist.gov/19"
797
+ ],
798
+ "family_id": "elliptic_k",
799
+ "formula_refs": [],
800
+ "formula_verified_properties": "",
801
+ "property_count": 27,
802
+ "status": "hand-audited-core",
803
+ "structural_issues": [],
804
+ "verification_kind": ""
805
+ },
806
+ {
807
+ "category": "elliptic_integrals",
808
+ "dlmf_chapters": "19",
809
+ "dlmf_urls": [
810
+ "https://dlmf.nist.gov/19"
811
+ ],
812
+ "family_id": "elliptic_pi",
813
+ "formula_refs": [],
814
+ "formula_verified_properties": "",
815
+ "property_count": 29,
816
+ "status": "hand-audited-core",
817
+ "structural_issues": [],
818
+ "verification_kind": ""
819
+ },
820
+ {
821
+ "category": "error_functions",
822
+ "dlmf_chapters": "6, 7",
823
+ "dlmf_urls": [
824
+ "https://dlmf.nist.gov/6",
825
+ "https://dlmf.nist.gov/7"
826
+ ],
827
+ "family_id": "erf",
828
+ "formula_refs": [],
829
+ "formula_verified_properties": "",
830
+ "property_count": 31,
831
+ "status": "hand-audited-core",
832
+ "structural_issues": [],
833
+ "verification_kind": ""
834
+ },
835
+ {
836
+ "category": "error_functions",
837
+ "dlmf_chapters": "6, 7",
838
+ "dlmf_urls": [
839
+ "https://dlmf.nist.gov/6",
840
+ "https://dlmf.nist.gov/7"
841
+ ],
842
+ "family_id": "erf2",
843
+ "formula_refs": [
844
+ "7.2.E1"
845
+ ],
846
+ "formula_verified_properties": "difference of entire erf values",
847
+ "property_count": 29,
848
+ "status": "formula-verified-derived",
849
+ "structural_issues": [],
850
+ "verification_kind": "derived"
851
+ },
852
+ {
853
+ "category": "error_functions",
854
+ "dlmf_chapters": "6, 7",
855
+ "dlmf_urls": [
856
+ "https://dlmf.nist.gov/6",
857
+ "https://dlmf.nist.gov/7"
858
+ ],
859
+ "family_id": "erf2inv",
860
+ "formula_refs": [
861
+ "7.17.E1"
862
+ ],
863
+ "formula_verified_properties": "inverse error-function branch/domain inherited from inverse erf",
864
+ "property_count": 29,
865
+ "status": "formula-verified-derived",
866
+ "structural_issues": [],
867
+ "verification_kind": "derived"
868
+ },
869
+ {
870
+ "category": "error_functions",
871
+ "dlmf_chapters": "6, 7",
872
+ "dlmf_urls": [
873
+ "https://dlmf.nist.gov/6",
874
+ "https://dlmf.nist.gov/7"
875
+ ],
876
+ "family_id": "erfc",
877
+ "formula_refs": [],
878
+ "formula_verified_properties": "",
879
+ "property_count": 29,
880
+ "status": "hand-audited-core",
881
+ "structural_issues": [],
882
+ "verification_kind": ""
883
+ },
884
+ {
885
+ "category": "error_functions",
886
+ "dlmf_chapters": "6, 7",
887
+ "dlmf_urls": [
888
+ "https://dlmf.nist.gov/6",
889
+ "https://dlmf.nist.gov/7"
890
+ ],
891
+ "family_id": "erfcinv",
892
+ "formula_refs": [
893
+ "7.17.E1"
894
+ ],
895
+ "formula_verified_properties": "inverse complementary error function",
896
+ "property_count": 29,
897
+ "status": "formula-verified-core",
898
+ "structural_issues": [],
899
+ "verification_kind": "direct"
900
+ },
901
+ {
902
+ "category": "error_functions",
903
+ "dlmf_chapters": "6, 7",
904
+ "dlmf_urls": [
905
+ "https://dlmf.nist.gov/6",
906
+ "https://dlmf.nist.gov/7"
907
+ ],
908
+ "family_id": "erfi",
909
+ "formula_refs": [
910
+ "7.2.E1"
911
+ ],
912
+ "formula_verified_properties": "erfi(z)=-i erf(i z), entire; real monotonicity derived",
913
+ "property_count": 31,
914
+ "status": "formula-verified-derived",
915
+ "structural_issues": [],
916
+ "verification_kind": "derived"
917
+ },
918
+ {
919
+ "category": "error_functions",
920
+ "dlmf_chapters": "6, 7",
921
+ "dlmf_urls": [
922
+ "https://dlmf.nist.gov/6",
923
+ "https://dlmf.nist.gov/7"
924
+ ],
925
+ "family_id": "erfinv",
926
+ "formula_refs": [
927
+ "7.17.E1"
928
+ ],
929
+ "formula_verified_properties": "inverse error function",
930
+ "property_count": 29,
931
+ "status": "formula-verified-core",
932
+ "structural_issues": [],
933
+ "verification_kind": "direct"
934
+ },
935
+ {
936
+ "category": "numbers",
937
+ "dlmf_chapters": "",
938
+ "dlmf_urls": [],
939
+ "family_id": "euler",
940
+ "formula_refs": [],
941
+ "formula_verified_properties": "",
942
+ "property_count": 0,
943
+ "status": "not-dlmf-scoped",
944
+ "structural_issues": [],
945
+ "verification_kind": ""
946
+ },
947
+ {
948
+ "category": "exponential",
949
+ "dlmf_chapters": "",
950
+ "dlmf_urls": [],
951
+ "family_id": "exp",
952
+ "formula_refs": [],
953
+ "formula_verified_properties": "",
954
+ "property_count": 2,
955
+ "status": "not-dlmf-scoped",
956
+ "structural_issues": [],
957
+ "verification_kind": ""
958
+ },
959
+ {
960
+ "category": "exponential",
961
+ "dlmf_chapters": "",
962
+ "dlmf_urls": [],
963
+ "family_id": "exp_polar",
964
+ "formula_refs": [],
965
+ "formula_verified_properties": "",
966
+ "property_count": 0,
967
+ "status": "not-dlmf-scoped",
968
+ "structural_issues": [],
969
+ "verification_kind": ""
970
+ },
971
+ {
972
+ "category": "error_functions",
973
+ "dlmf_chapters": "6, 7",
974
+ "dlmf_urls": [
975
+ "https://dlmf.nist.gov/6",
976
+ "https://dlmf.nist.gov/7"
977
+ ],
978
+ "family_id": "expint",
979
+ "formula_refs": [
980
+ "8.19.E1",
981
+ "8.19.E18"
982
+ ],
983
+ "formula_verified_properties": "generalized exponential integral and branch point at zero",
984
+ "property_count": 27,
985
+ "status": "formula-verified-core",
986
+ "structural_issues": [],
987
+ "verification_kind": "direct"
988
+ },
989
+ {
990
+ "category": "factorials",
991
+ "dlmf_chapters": "",
992
+ "dlmf_urls": [],
993
+ "family_id": "factorial",
994
+ "formula_refs": [],
995
+ "formula_verified_properties": "",
996
+ "property_count": 24,
997
+ "status": "not-dlmf-scoped",
998
+ "structural_issues": [],
999
+ "verification_kind": ""
1000
+ },
1001
+ {
1002
+ "category": "factorials",
1003
+ "dlmf_chapters": "",
1004
+ "dlmf_urls": [],
1005
+ "family_id": "factorial2",
1006
+ "formula_refs": [],
1007
+ "formula_verified_properties": "",
1008
+ "property_count": 24,
1009
+ "status": "not-dlmf-scoped",
1010
+ "structural_issues": [],
1011
+ "verification_kind": ""
1012
+ },
1013
+ {
1014
+ "category": "factorials",
1015
+ "dlmf_chapters": "",
1016
+ "dlmf_urls": [],
1017
+ "family_id": "FallingFactorial",
1018
+ "formula_refs": [],
1019
+ "formula_verified_properties": "",
1020
+ "property_count": 23,
1021
+ "status": "not-dlmf-scoped",
1022
+ "structural_issues": [],
1023
+ "verification_kind": ""
1024
+ },
1025
+ {
1026
+ "category": "factorials",
1027
+ "dlmf_chapters": "",
1028
+ "dlmf_urls": [],
1029
+ "family_id": "ff",
1030
+ "formula_refs": [],
1031
+ "formula_verified_properties": "",
1032
+ "property_count": 0,
1033
+ "status": "not-dlmf-scoped",
1034
+ "structural_issues": [],
1035
+ "verification_kind": ""
1036
+ },
1037
+ {
1038
+ "category": "numbers",
1039
+ "dlmf_chapters": "",
1040
+ "dlmf_urls": [],
1041
+ "family_id": "fibonacci",
1042
+ "formula_refs": [],
1043
+ "formula_verified_properties": "",
1044
+ "property_count": 0,
1045
+ "status": "not-dlmf-scoped",
1046
+ "structural_issues": [],
1047
+ "verification_kind": ""
1048
+ },
1049
+ {
1050
+ "category": "integers",
1051
+ "dlmf_chapters": "",
1052
+ "dlmf_urls": [],
1053
+ "family_id": "floor",
1054
+ "formula_refs": [],
1055
+ "formula_verified_properties": "",
1056
+ "property_count": 30,
1057
+ "status": "not-dlmf-scoped",
1058
+ "structural_issues": [],
1059
+ "verification_kind": ""
1060
+ },
1061
+ {
1062
+ "category": "integers",
1063
+ "dlmf_chapters": "",
1064
+ "dlmf_urls": [],
1065
+ "family_id": "frac",
1066
+ "formula_refs": [],
1067
+ "formula_verified_properties": "",
1068
+ "property_count": 29,
1069
+ "status": "not-dlmf-scoped",
1070
+ "structural_issues": [],
1071
+ "verification_kind": ""
1072
+ },
1073
+ {
1074
+ "category": "error_functions",
1075
+ "dlmf_chapters": "6, 7",
1076
+ "dlmf_urls": [
1077
+ "https://dlmf.nist.gov/6",
1078
+ "https://dlmf.nist.gov/7"
1079
+ ],
1080
+ "family_id": "fresnelc",
1081
+ "formula_refs": [],
1082
+ "formula_verified_properties": "",
1083
+ "property_count": 29,
1084
+ "status": "hand-audited-core",
1085
+ "structural_issues": [],
1086
+ "verification_kind": ""
1087
+ },
1088
+ {
1089
+ "category": "error_functions",
1090
+ "dlmf_chapters": "6, 7",
1091
+ "dlmf_urls": [
1092
+ "https://dlmf.nist.gov/6",
1093
+ "https://dlmf.nist.gov/7"
1094
+ ],
1095
+ "family_id": "fresnels",
1096
+ "formula_refs": [],
1097
+ "formula_verified_properties": "",
1098
+ "property_count": 29,
1099
+ "status": "hand-audited-core",
1100
+ "structural_issues": [],
1101
+ "verification_kind": ""
1102
+ },
1103
+ {
1104
+ "category": "gamma_functions",
1105
+ "dlmf_chapters": "5, 8",
1106
+ "dlmf_urls": [
1107
+ "https://dlmf.nist.gov/5",
1108
+ "https://dlmf.nist.gov/8"
1109
+ ],
1110
+ "family_id": "gamma",
1111
+ "formula_refs": [],
1112
+ "formula_verified_properties": "",
1113
+ "property_count": 31,
1114
+ "status": "hand-audited-core",
1115
+ "structural_issues": [],
1116
+ "verification_kind": ""
1117
+ },
1118
+ {
1119
+ "category": "polynomials",
1120
+ "dlmf_chapters": "14, 18",
1121
+ "dlmf_urls": [
1122
+ "https://dlmf.nist.gov/14",
1123
+ "https://dlmf.nist.gov/18"
1124
+ ],
1125
+ "family_id": "gegenbauer",
1126
+ "formula_refs": [
1127
+ "18.5.E9",
1128
+ "18.16.iii"
1129
+ ],
1130
+ "formula_verified_properties": "ultraspherical polynomial representation and zeros",
1131
+ "property_count": 11,
1132
+ "status": "formula-verified-core",
1133
+ "structural_issues": [],
1134
+ "verification_kind": "direct"
1135
+ },
1136
+ {
1137
+ "category": "numbers",
1138
+ "dlmf_chapters": "",
1139
+ "dlmf_urls": [],
1140
+ "family_id": "genocchi",
1141
+ "formula_refs": [],
1142
+ "formula_verified_properties": "",
1143
+ "property_count": 0,
1144
+ "status": "not-dlmf-scoped",
1145
+ "structural_issues": [],
1146
+ "verification_kind": ""
1147
+ },
1148
+ {
1149
+ "category": "bessel",
1150
+ "dlmf_chapters": "9, 10, 11, 13",
1151
+ "dlmf_urls": [
1152
+ "https://dlmf.nist.gov/9",
1153
+ "https://dlmf.nist.gov/10",
1154
+ "https://dlmf.nist.gov/11",
1155
+ "https://dlmf.nist.gov/13"
1156
+ ],
1157
+ "family_id": "hankel1",
1158
+ "formula_refs": [],
1159
+ "formula_verified_properties": "",
1160
+ "property_count": 9,
1161
+ "status": "hand-audited-core",
1162
+ "structural_issues": [],
1163
+ "verification_kind": ""
1164
+ },
1165
+ {
1166
+ "category": "bessel",
1167
+ "dlmf_chapters": "9, 10, 11, 13",
1168
+ "dlmf_urls": [
1169
+ "https://dlmf.nist.gov/9",
1170
+ "https://dlmf.nist.gov/10",
1171
+ "https://dlmf.nist.gov/11",
1172
+ "https://dlmf.nist.gov/13"
1173
+ ],
1174
+ "family_id": "hankel2",
1175
+ "formula_refs": [],
1176
+ "formula_verified_properties": "",
1177
+ "property_count": 9,
1178
+ "status": "hand-audited-core",
1179
+ "structural_issues": [],
1180
+ "verification_kind": ""
1181
+ },
1182
+ {
1183
+ "category": "numbers",
1184
+ "dlmf_chapters": "",
1185
+ "dlmf_urls": [],
1186
+ "family_id": "harmonic",
1187
+ "formula_refs": [],
1188
+ "formula_verified_properties": "",
1189
+ "property_count": 28,
1190
+ "status": "not-dlmf-scoped",
1191
+ "structural_issues": [],
1192
+ "verification_kind": ""
1193
+ },
1194
+ {
1195
+ "category": "delta_functions",
1196
+ "dlmf_chapters": "",
1197
+ "dlmf_urls": [],
1198
+ "family_id": "Heaviside",
1199
+ "formula_refs": [],
1200
+ "formula_verified_properties": "",
1201
+ "property_count": 27,
1202
+ "status": "not-dlmf-scoped",
1203
+ "structural_issues": [],
1204
+ "verification_kind": ""
1205
+ },
1206
+ {
1207
+ "category": "polynomials",
1208
+ "dlmf_chapters": "14, 18",
1209
+ "dlmf_urls": [
1210
+ "https://dlmf.nist.gov/14",
1211
+ "https://dlmf.nist.gov/18"
1212
+ ],
1213
+ "family_id": "hermite",
1214
+ "formula_refs": [
1215
+ "18.5.E13",
1216
+ "18.16.v"
1217
+ ],
1218
+ "formula_verified_properties": "Hermite polynomial representation and real simple zeros",
1219
+ "property_count": 27,
1220
+ "status": "formula-verified-core",
1221
+ "structural_issues": [],
1222
+ "verification_kind": "direct"
1223
+ },
1224
+ {
1225
+ "category": "polynomials",
1226
+ "dlmf_chapters": "14, 18",
1227
+ "dlmf_urls": [
1228
+ "https://dlmf.nist.gov/14",
1229
+ "https://dlmf.nist.gov/18"
1230
+ ],
1231
+ "family_id": "hermite_prob",
1232
+ "formula_refs": [
1233
+ "18.7.E11",
1234
+ "18.16.v"
1235
+ ],
1236
+ "formula_verified_properties": "probabilists Hermite scaling from Hermite family; zero distribution inherited",
1237
+ "property_count": 0,
1238
+ "status": "formula-verified-derived",
1239
+ "structural_issues": [],
1240
+ "verification_kind": "derived"
1241
+ },
1242
+ {
1243
+ "category": "bessel",
1244
+ "dlmf_chapters": "9, 10, 11, 13",
1245
+ "dlmf_urls": [
1246
+ "https://dlmf.nist.gov/9",
1247
+ "https://dlmf.nist.gov/10",
1248
+ "https://dlmf.nist.gov/11",
1249
+ "https://dlmf.nist.gov/13"
1250
+ ],
1251
+ "family_id": "hn1",
1252
+ "formula_refs": [
1253
+ "10.47.E5"
1254
+ ],
1255
+ "formula_verified_properties": "spherical Hankel h_n^(1) definition",
1256
+ "property_count": 0,
1257
+ "status": "formula-verified-core",
1258
+ "structural_issues": [],
1259
+ "verification_kind": "direct"
1260
+ },
1261
+ {
1262
+ "category": "bessel",
1263
+ "dlmf_chapters": "9, 10, 11, 13",
1264
+ "dlmf_urls": [
1265
+ "https://dlmf.nist.gov/9",
1266
+ "https://dlmf.nist.gov/10",
1267
+ "https://dlmf.nist.gov/11",
1268
+ "https://dlmf.nist.gov/13"
1269
+ ],
1270
+ "family_id": "hn2",
1271
+ "formula_refs": [
1272
+ "10.47.E6"
1273
+ ],
1274
+ "formula_verified_properties": "spherical Hankel h_n^(2) definition",
1275
+ "property_count": 0,
1276
+ "status": "formula-verified-core",
1277
+ "structural_issues": [],
1278
+ "verification_kind": "direct"
1279
+ },
1280
+ {
1281
+ "category": "hyper",
1282
+ "dlmf_chapters": "15, 16",
1283
+ "dlmf_urls": [
1284
+ "https://dlmf.nist.gov/15",
1285
+ "https://dlmf.nist.gov/16"
1286
+ ],
1287
+ "family_id": "hyper",
1288
+ "formula_refs": [],
1289
+ "formula_verified_properties": "",
1290
+ "property_count": 13,
1291
+ "status": "hand-audited-core",
1292
+ "structural_issues": [],
1293
+ "verification_kind": ""
1294
+ },
1295
+ {
1296
+ "category": "hyper",
1297
+ "dlmf_chapters": "15, 16",
1298
+ "dlmf_urls": [
1299
+ "https://dlmf.nist.gov/15",
1300
+ "https://dlmf.nist.gov/16"
1301
+ ],
1302
+ "family_id": "HyperRep_asin1",
1303
+ "formula_refs": [
1304
+ "15.4.E4"
1305
+ ],
1306
+ "formula_verified_properties": "elementary inverse-sine hypergeometric special case",
1307
+ "property_count": 0,
1308
+ "status": "formula-verified-derived",
1309
+ "structural_issues": [],
1310
+ "verification_kind": "derived"
1311
+ },
1312
+ {
1313
+ "category": "hyper",
1314
+ "dlmf_chapters": "15, 16",
1315
+ "dlmf_urls": [
1316
+ "https://dlmf.nist.gov/15",
1317
+ "https://dlmf.nist.gov/16"
1318
+ ],
1319
+ "family_id": "HyperRep_asin2",
1320
+ "formula_refs": [
1321
+ "15.4.E4",
1322
+ "15.5.E1"
1323
+ ],
1324
+ "formula_verified_properties": "elementary inverse-sine hypergeometric special case",
1325
+ "property_count": 0,
1326
+ "status": "formula-verified-derived",
1327
+ "structural_issues": [],
1328
+ "verification_kind": "derived"
1329
+ },
1330
+ {
1331
+ "category": "hyper",
1332
+ "dlmf_chapters": "15, 16",
1333
+ "dlmf_urls": [
1334
+ "https://dlmf.nist.gov/15",
1335
+ "https://dlmf.nist.gov/16"
1336
+ ],
1337
+ "family_id": "HyperRep_atanh",
1338
+ "formula_refs": [
1339
+ "15.4.E2"
1340
+ ],
1341
+ "formula_verified_properties": "atanh hypergeometric special case",
1342
+ "property_count": 0,
1343
+ "status": "formula-verified-derived",
1344
+ "structural_issues": [],
1345
+ "verification_kind": "derived"
1346
+ },
1347
+ {
1348
+ "category": "hyper",
1349
+ "dlmf_chapters": "15, 16",
1350
+ "dlmf_urls": [
1351
+ "https://dlmf.nist.gov/15",
1352
+ "https://dlmf.nist.gov/16"
1353
+ ],
1354
+ "family_id": "HyperRep_cosasin",
1355
+ "formula_refs": [
1356
+ "15.4.E12"
1357
+ ],
1358
+ "formula_verified_properties": "trigonometric/hypergeometric special case",
1359
+ "property_count": 0,
1360
+ "status": "formula-verified-derived",
1361
+ "structural_issues": [],
1362
+ "verification_kind": "derived"
1363
+ },
1364
+ {
1365
+ "category": "hyper",
1366
+ "dlmf_chapters": "15, 16",
1367
+ "dlmf_urls": [
1368
+ "https://dlmf.nist.gov/15",
1369
+ "https://dlmf.nist.gov/16"
1370
+ ],
1371
+ "family_id": "HyperRep_log1",
1372
+ "formula_refs": [
1373
+ "15.4.E1"
1374
+ ],
1375
+ "formula_verified_properties": "logarithmic hypergeometric special case",
1376
+ "property_count": 0,
1377
+ "status": "formula-verified-derived",
1378
+ "structural_issues": [],
1379
+ "verification_kind": "derived"
1380
+ },
1381
+ {
1382
+ "category": "hyper",
1383
+ "dlmf_chapters": "15, 16",
1384
+ "dlmf_urls": [
1385
+ "https://dlmf.nist.gov/15",
1386
+ "https://dlmf.nist.gov/16"
1387
+ ],
1388
+ "family_id": "HyperRep_log2",
1389
+ "formula_refs": [
1390
+ "16.2.E1",
1391
+ "15.4.E17"
1392
+ ],
1393
+ "formula_verified_properties": "logarithmic hypergeometric special case",
1394
+ "property_count": 0,
1395
+ "status": "formula-verified-derived",
1396
+ "structural_issues": [],
1397
+ "verification_kind": "derived"
1398
+ },
1399
+ {
1400
+ "category": "hyper",
1401
+ "dlmf_chapters": "15, 16",
1402
+ "dlmf_urls": [
1403
+ "https://dlmf.nist.gov/15",
1404
+ "https://dlmf.nist.gov/16"
1405
+ ],
1406
+ "family_id": "HyperRep_power1",
1407
+ "formula_refs": [
1408
+ "16.2.E1"
1409
+ ],
1410
+ "formula_verified_properties": "binomial hypergeometric special case",
1411
+ "property_count": 0,
1412
+ "status": "formula-verified-derived",
1413
+ "structural_issues": [],
1414
+ "verification_kind": "derived"
1415
+ },
1416
+ {
1417
+ "category": "hyper",
1418
+ "dlmf_chapters": "15, 16",
1419
+ "dlmf_urls": [
1420
+ "https://dlmf.nist.gov/15",
1421
+ "https://dlmf.nist.gov/16"
1422
+ ],
1423
+ "family_id": "HyperRep_power2",
1424
+ "formula_refs": [
1425
+ "15.4.E17"
1426
+ ],
1427
+ "formula_verified_properties": "binomial hypergeometric special case",
1428
+ "property_count": 0,
1429
+ "status": "formula-verified-derived",
1430
+ "structural_issues": [],
1431
+ "verification_kind": "derived"
1432
+ },
1433
+ {
1434
+ "category": "hyper",
1435
+ "dlmf_chapters": "15, 16",
1436
+ "dlmf_urls": [
1437
+ "https://dlmf.nist.gov/15",
1438
+ "https://dlmf.nist.gov/16"
1439
+ ],
1440
+ "family_id": "HyperRep_sinasin",
1441
+ "formula_refs": [
1442
+ "15.4.E12",
1443
+ "15.5.E1"
1444
+ ],
1445
+ "formula_verified_properties": "trigonometric/hypergeometric special case",
1446
+ "property_count": 0,
1447
+ "status": "formula-verified-derived",
1448
+ "structural_issues": [],
1449
+ "verification_kind": "derived"
1450
+ },
1451
+ {
1452
+ "category": "hyper",
1453
+ "dlmf_chapters": "15, 16",
1454
+ "dlmf_urls": [
1455
+ "https://dlmf.nist.gov/15",
1456
+ "https://dlmf.nist.gov/16"
1457
+ ],
1458
+ "family_id": "HyperRep_sqrts1",
1459
+ "formula_refs": [
1460
+ "15.4.E7"
1461
+ ],
1462
+ "formula_verified_properties": "square-root hypergeometric special case",
1463
+ "property_count": 0,
1464
+ "status": "formula-verified-derived",
1465
+ "structural_issues": [],
1466
+ "verification_kind": "derived"
1467
+ },
1468
+ {
1469
+ "category": "hyper",
1470
+ "dlmf_chapters": "15, 16",
1471
+ "dlmf_urls": [
1472
+ "https://dlmf.nist.gov/15",
1473
+ "https://dlmf.nist.gov/16"
1474
+ ],
1475
+ "family_id": "HyperRep_sqrts2",
1476
+ "formula_refs": [
1477
+ "15.4.E7",
1478
+ "15.5.E1"
1479
+ ],
1480
+ "formula_verified_properties": "square-root hypergeometric special case",
1481
+ "property_count": 0,
1482
+ "status": "formula-verified-derived",
1483
+ "structural_issues": [],
1484
+ "verification_kind": "derived"
1485
+ },
1486
+ {
1487
+ "category": "complexes",
1488
+ "dlmf_chapters": "",
1489
+ "dlmf_urls": [],
1490
+ "family_id": "im",
1491
+ "formula_refs": [],
1492
+ "formula_verified_properties": "",
1493
+ "property_count": 30,
1494
+ "status": "not-dlmf-scoped",
1495
+ "structural_issues": [],
1496
+ "verification_kind": ""
1497
+ },
1498
+ {
1499
+ "category": "polynomials",
1500
+ "dlmf_chapters": "14, 18",
1501
+ "dlmf_urls": [
1502
+ "https://dlmf.nist.gov/14",
1503
+ "https://dlmf.nist.gov/18"
1504
+ ],
1505
+ "family_id": "jacobi",
1506
+ "formula_refs": [
1507
+ "18.5.E7",
1508
+ "18.16.E1"
1509
+ ],
1510
+ "formula_verified_properties": "Jacobi representation; n simple zeros in (-1,1) for alpha,beta>-1",
1511
+ "property_count": 6,
1512
+ "status": "formula-verified-core",
1513
+ "structural_issues": [],
1514
+ "verification_kind": "direct"
1515
+ },
1516
+ {
1517
+ "category": "numbers",
1518
+ "dlmf_chapters": "",
1519
+ "dlmf_urls": [],
1520
+ "family_id": "jacobi_symbol",
1521
+ "formula_refs": [],
1522
+ "formula_verified_properties": "",
1523
+ "property_count": 0,
1524
+ "status": "not-dlmf-scoped",
1525
+ "structural_issues": [],
1526
+ "verification_kind": ""
1527
+ },
1528
+ {
1529
+ "category": "bessel",
1530
+ "dlmf_chapters": "9, 10, 11, 13",
1531
+ "dlmf_urls": [
1532
+ "https://dlmf.nist.gov/9",
1533
+ "https://dlmf.nist.gov/10",
1534
+ "https://dlmf.nist.gov/11",
1535
+ "https://dlmf.nist.gov/13"
1536
+ ],
1537
+ "family_id": "jn",
1538
+ "formula_refs": [
1539
+ "10.47.E3",
1540
+ "10.58"
1541
+ ],
1542
+ "formula_verified_properties": "spherical Bessel j_n and zero distribution",
1543
+ "property_count": 21,
1544
+ "status": "formula-verified-core",
1545
+ "structural_issues": [],
1546
+ "verification_kind": "direct"
1547
+ },
1548
+ {
1549
+ "category": "numbers",
1550
+ "dlmf_chapters": "",
1551
+ "dlmf_urls": [],
1552
+ "family_id": "kronecker_symbol",
1553
+ "formula_refs": [],
1554
+ "formula_verified_properties": "",
1555
+ "property_count": 0,
1556
+ "status": "not-dlmf-scoped",
1557
+ "structural_issues": [],
1558
+ "verification_kind": ""
1559
+ },
1560
+ {
1561
+ "category": "tensor_functions",
1562
+ "dlmf_chapters": "",
1563
+ "dlmf_urls": [],
1564
+ "family_id": "KroneckerDelta",
1565
+ "formula_refs": [],
1566
+ "formula_verified_properties": "",
1567
+ "property_count": 28,
1568
+ "status": "not-dlmf-scoped",
1569
+ "structural_issues": [],
1570
+ "verification_kind": ""
1571
+ },
1572
+ {
1573
+ "category": "polynomials",
1574
+ "dlmf_chapters": "14, 18",
1575
+ "dlmf_urls": [
1576
+ "https://dlmf.nist.gov/14",
1577
+ "https://dlmf.nist.gov/18"
1578
+ ],
1579
+ "family_id": "laguerre",
1580
+ "formula_refs": [
1581
+ "18.5.E12",
1582
+ "18.16.E9"
1583
+ ],
1584
+ "formula_verified_properties": "Laguerre representation; n simple positive zeros for alpha=0",
1585
+ "property_count": 20,
1586
+ "status": "formula-verified-core",
1587
+ "structural_issues": [],
1588
+ "verification_kind": "direct"
1589
+ },
1590
+ {
1591
+ "category": "exponential",
1592
+ "dlmf_chapters": "",
1593
+ "dlmf_urls": [],
1594
+ "family_id": "LambertW",
1595
+ "formula_refs": [],
1596
+ "formula_verified_properties": "",
1597
+ "property_count": 29,
1598
+ "status": "not-dlmf-scoped",
1599
+ "structural_issues": [],
1600
+ "verification_kind": ""
1601
+ },
1602
+ {
1603
+ "category": "polynomials",
1604
+ "dlmf_chapters": "14, 18",
1605
+ "dlmf_urls": [
1606
+ "https://dlmf.nist.gov/14",
1607
+ "https://dlmf.nist.gov/18"
1608
+ ],
1609
+ "family_id": "legendre",
1610
+ "formula_refs": [],
1611
+ "formula_verified_properties": "",
1612
+ "property_count": 21,
1613
+ "status": "hand-audited-core",
1614
+ "structural_issues": [],
1615
+ "verification_kind": ""
1616
+ },
1617
+ {
1618
+ "category": "numbers",
1619
+ "dlmf_chapters": "",
1620
+ "dlmf_urls": [],
1621
+ "family_id": "legendre_symbol",
1622
+ "formula_refs": [],
1623
+ "formula_verified_properties": "",
1624
+ "property_count": 0,
1625
+ "status": "not-dlmf-scoped",
1626
+ "structural_issues": [],
1627
+ "verification_kind": ""
1628
+ },
1629
+ {
1630
+ "category": "zeta_functions",
1631
+ "dlmf_chapters": "25",
1632
+ "dlmf_urls": [
1633
+ "https://dlmf.nist.gov/25"
1634
+ ],
1635
+ "family_id": "lerchphi",
1636
+ "formula_refs": [
1637
+ "25.14.E1",
1638
+ "25.14"
1639
+ ],
1640
+ "formula_verified_properties": "Lerch transcendent definition and continuation",
1641
+ "property_count": 11,
1642
+ "status": "formula-verified-core",
1643
+ "structural_issues": [],
1644
+ "verification_kind": "direct"
1645
+ },
1646
+ {
1647
+ "category": "tensor_functions",
1648
+ "dlmf_chapters": "",
1649
+ "dlmf_urls": [],
1650
+ "family_id": "LeviCivita",
1651
+ "formula_refs": [],
1652
+ "formula_verified_properties": "",
1653
+ "property_count": 0,
1654
+ "status": "not-dlmf-scoped",
1655
+ "structural_issues": [],
1656
+ "verification_kind": ""
1657
+ },
1658
+ {
1659
+ "category": "error_functions",
1660
+ "dlmf_chapters": "6, 7",
1661
+ "dlmf_urls": [
1662
+ "https://dlmf.nist.gov/6",
1663
+ "https://dlmf.nist.gov/7"
1664
+ ],
1665
+ "family_id": "Li",
1666
+ "formula_refs": [
1667
+ "6.2.E8"
1668
+ ],
1669
+ "formula_verified_properties": "offset logarithmic integral relation",
1670
+ "property_count": 0,
1671
+ "status": "formula-verified-derived",
1672
+ "structural_issues": [],
1673
+ "verification_kind": "derived"
1674
+ },
1675
+ {
1676
+ "category": "error_functions",
1677
+ "dlmf_chapters": "6, 7",
1678
+ "dlmf_urls": [
1679
+ "https://dlmf.nist.gov/6",
1680
+ "https://dlmf.nist.gov/7"
1681
+ ],
1682
+ "family_id": "li",
1683
+ "formula_refs": [
1684
+ "6.2.E8"
1685
+ ],
1686
+ "formula_verified_properties": "logarithmic integral principal value and branch structure",
1687
+ "property_count": 29,
1688
+ "status": "formula-verified-core",
1689
+ "structural_issues": [],
1690
+ "verification_kind": "direct"
1691
+ },
1692
+ {
1693
+ "category": "exponential",
1694
+ "dlmf_chapters": "",
1695
+ "dlmf_urls": [],
1696
+ "family_id": "log",
1697
+ "formula_refs": [],
1698
+ "formula_verified_properties": "",
1699
+ "property_count": 29,
1700
+ "status": "not-dlmf-scoped",
1701
+ "structural_issues": [],
1702
+ "verification_kind": ""
1703
+ },
1704
+ {
1705
+ "category": "gamma_functions",
1706
+ "dlmf_chapters": "5, 8",
1707
+ "dlmf_urls": [
1708
+ "https://dlmf.nist.gov/5",
1709
+ "https://dlmf.nist.gov/8"
1710
+ ],
1711
+ "family_id": "loggamma",
1712
+ "formula_refs": [
1713
+ "5.2.E1",
1714
+ "5.11.E1"
1715
+ ],
1716
+ "formula_verified_properties": "principal log-Gamma and asymptotic/branch conventions",
1717
+ "property_count": 29,
1718
+ "status": "formula-verified-core",
1719
+ "structural_issues": [],
1720
+ "verification_kind": "direct"
1721
+ },
1722
+ {
1723
+ "category": "gamma_functions",
1724
+ "dlmf_chapters": "5, 8",
1725
+ "dlmf_urls": [
1726
+ "https://dlmf.nist.gov/5",
1727
+ "https://dlmf.nist.gov/8"
1728
+ ],
1729
+ "family_id": "lowergamma",
1730
+ "formula_refs": [],
1731
+ "formula_verified_properties": "",
1732
+ "property_count": 30,
1733
+ "status": "hand-audited-core",
1734
+ "structural_issues": [],
1735
+ "verification_kind": ""
1736
+ },
1737
+ {
1738
+ "category": "numbers",
1739
+ "dlmf_chapters": "",
1740
+ "dlmf_urls": [],
1741
+ "family_id": "lucas",
1742
+ "formula_refs": [],
1743
+ "formula_verified_properties": "",
1744
+ "property_count": 27,
1745
+ "status": "not-dlmf-scoped",
1746
+ "structural_issues": [],
1747
+ "verification_kind": ""
1748
+ },
1749
+ {
1750
+ "category": "bessel",
1751
+ "dlmf_chapters": "9, 10, 11, 13",
1752
+ "dlmf_urls": [
1753
+ "https://dlmf.nist.gov/9",
1754
+ "https://dlmf.nist.gov/10",
1755
+ "https://dlmf.nist.gov/11",
1756
+ "https://dlmf.nist.gov/13"
1757
+ ],
1758
+ "family_id": "marcumq",
1759
+ "formula_refs": [],
1760
+ "formula_verified_properties": "",
1761
+ "property_count": 15,
1762
+ "status": "dlmf-related-not-native",
1763
+ "structural_issues": [],
1764
+ "verification_kind": ""
1765
+ },
1766
+ {
1767
+ "category": "mathieu_functions",
1768
+ "dlmf_chapters": "28",
1769
+ "dlmf_urls": [
1770
+ "https://dlmf.nist.gov/28"
1771
+ ],
1772
+ "family_id": "mathieuc",
1773
+ "formula_refs": [
1774
+ "28.2.E29",
1775
+ "28.2.E38"
1776
+ ],
1777
+ "formula_verified_properties": "even Mathieu solution and characteristic values/periodicity",
1778
+ "property_count": 4,
1779
+ "status": "formula-verified-core",
1780
+ "structural_issues": [],
1781
+ "verification_kind": "direct"
1782
+ },
1783
+ {
1784
+ "category": "mathieu_functions",
1785
+ "dlmf_chapters": "28",
1786
+ "dlmf_urls": [
1787
+ "https://dlmf.nist.gov/28"
1788
+ ],
1789
+ "family_id": "mathieucprime",
1790
+ "formula_refs": [
1791
+ "28.2.E38"
1792
+ ],
1793
+ "formula_verified_properties": "derivative of even Mathieu solution",
1794
+ "property_count": 4,
1795
+ "status": "formula-verified-derived",
1796
+ "structural_issues": [],
1797
+ "verification_kind": "derived"
1798
+ },
1799
+ {
1800
+ "category": "mathieu_functions",
1801
+ "dlmf_chapters": "28",
1802
+ "dlmf_urls": [
1803
+ "https://dlmf.nist.gov/28"
1804
+ ],
1805
+ "family_id": "mathieus",
1806
+ "formula_refs": [
1807
+ "28.2.E29",
1808
+ "28.2.E39"
1809
+ ],
1810
+ "formula_verified_properties": "odd Mathieu solution and characteristic values/periodicity",
1811
+ "property_count": 4,
1812
+ "status": "formula-verified-core",
1813
+ "structural_issues": [],
1814
+ "verification_kind": "direct"
1815
+ },
1816
+ {
1817
+ "category": "mathieu_functions",
1818
+ "dlmf_chapters": "28",
1819
+ "dlmf_urls": [
1820
+ "https://dlmf.nist.gov/28"
1821
+ ],
1822
+ "family_id": "mathieusprime",
1823
+ "formula_refs": [
1824
+ "28.2.E39"
1825
+ ],
1826
+ "formula_verified_properties": "derivative of odd Mathieu solution",
1827
+ "property_count": 4,
1828
+ "status": "formula-verified-derived",
1829
+ "structural_issues": [],
1830
+ "verification_kind": "derived"
1831
+ },
1832
+ {
1833
+ "category": "miscellaneous",
1834
+ "dlmf_chapters": "",
1835
+ "dlmf_urls": [],
1836
+ "family_id": "Max",
1837
+ "formula_refs": [],
1838
+ "formula_verified_properties": "",
1839
+ "property_count": 34,
1840
+ "status": "not-dlmf-scoped",
1841
+ "structural_issues": [],
1842
+ "verification_kind": ""
1843
+ },
1844
+ {
1845
+ "category": "hyper",
1846
+ "dlmf_chapters": "15, 16",
1847
+ "dlmf_urls": [
1848
+ "https://dlmf.nist.gov/15",
1849
+ "https://dlmf.nist.gov/16"
1850
+ ],
1851
+ "family_id": "meijerg",
1852
+ "formula_refs": [
1853
+ "16.17.E1"
1854
+ ],
1855
+ "formula_verified_properties": "Mellin-Barnes definition and convergence sectors",
1856
+ "property_count": 2,
1857
+ "status": "formula-verified-core",
1858
+ "structural_issues": [],
1859
+ "verification_kind": "direct"
1860
+ },
1861
+ {
1862
+ "category": "miscellaneous",
1863
+ "dlmf_chapters": "",
1864
+ "dlmf_urls": [],
1865
+ "family_id": "Min",
1866
+ "formula_refs": [],
1867
+ "formula_verified_properties": "",
1868
+ "property_count": 34,
1869
+ "status": "not-dlmf-scoped",
1870
+ "structural_issues": [],
1871
+ "verification_kind": ""
1872
+ },
1873
+ {
1874
+ "category": "numbers",
1875
+ "dlmf_chapters": "",
1876
+ "dlmf_urls": [],
1877
+ "family_id": "mobius",
1878
+ "formula_refs": [],
1879
+ "formula_verified_properties": "",
1880
+ "property_count": 0,
1881
+ "status": "not-dlmf-scoped",
1882
+ "structural_issues": [],
1883
+ "verification_kind": ""
1884
+ },
1885
+ {
1886
+ "category": "numbers",
1887
+ "dlmf_chapters": "",
1888
+ "dlmf_urls": [],
1889
+ "family_id": "motzkin",
1890
+ "formula_refs": [],
1891
+ "formula_verified_properties": "",
1892
+ "property_count": 0,
1893
+ "status": "not-dlmf-scoped",
1894
+ "structural_issues": [],
1895
+ "verification_kind": ""
1896
+ },
1897
+ {
1898
+ "category": "functions",
1899
+ "dlmf_chapters": "",
1900
+ "dlmf_urls": [],
1901
+ "family_id": "mpmath:agm",
1902
+ "formula_refs": [],
1903
+ "formula_verified_properties": "",
1904
+ "property_count": 27,
1905
+ "status": "not-dlmf-scoped",
1906
+ "structural_issues": [],
1907
+ "verification_kind": ""
1908
+ },
1909
+ {
1910
+ "category": "bessel",
1911
+ "dlmf_chapters": "9, 10, 11, 13",
1912
+ "dlmf_urls": [
1913
+ "https://dlmf.nist.gov/9",
1914
+ "https://dlmf.nist.gov/10",
1915
+ "https://dlmf.nist.gov/11",
1916
+ "https://dlmf.nist.gov/13"
1917
+ ],
1918
+ "family_id": "mpmath:airyaizero",
1919
+ "formula_refs": [],
1920
+ "formula_verified_properties": "",
1921
+ "property_count": 7,
1922
+ "status": "dlmf-mapped-mpmath-inventory",
1923
+ "structural_issues": [],
1924
+ "verification_kind": ""
1925
+ },
1926
+ {
1927
+ "category": "bessel",
1928
+ "dlmf_chapters": "9, 10, 11, 13",
1929
+ "dlmf_urls": [
1930
+ "https://dlmf.nist.gov/9",
1931
+ "https://dlmf.nist.gov/10",
1932
+ "https://dlmf.nist.gov/11",
1933
+ "https://dlmf.nist.gov/13"
1934
+ ],
1935
+ "family_id": "mpmath:airybizero",
1936
+ "formula_refs": [],
1937
+ "formula_verified_properties": "",
1938
+ "property_count": 7,
1939
+ "status": "dlmf-mapped-mpmath-inventory",
1940
+ "structural_issues": [],
1941
+ "verification_kind": ""
1942
+ },
1943
+ {
1944
+ "category": "bessel",
1945
+ "dlmf_chapters": "9, 10, 11, 13",
1946
+ "dlmf_urls": [
1947
+ "https://dlmf.nist.gov/9",
1948
+ "https://dlmf.nist.gov/10",
1949
+ "https://dlmf.nist.gov/11",
1950
+ "https://dlmf.nist.gov/13"
1951
+ ],
1952
+ "family_id": "mpmath:angerj",
1953
+ "formula_refs": [],
1954
+ "formula_verified_properties": "",
1955
+ "property_count": 18,
1956
+ "status": "dlmf-mapped-mpmath-inventory",
1957
+ "structural_issues": [],
1958
+ "verification_kind": ""
1959
+ },
1960
+ {
1961
+ "category": "hypergeometric",
1962
+ "dlmf_chapters": "16",
1963
+ "dlmf_urls": [
1964
+ "https://dlmf.nist.gov/16"
1965
+ ],
1966
+ "family_id": "mpmath:appellf2",
1967
+ "formula_refs": [],
1968
+ "formula_verified_properties": "",
1969
+ "property_count": 0,
1970
+ "status": "dlmf-mapped-mpmath-inventory",
1971
+ "structural_issues": [],
1972
+ "verification_kind": ""
1973
+ },
1974
+ {
1975
+ "category": "hypergeometric",
1976
+ "dlmf_chapters": "16",
1977
+ "dlmf_urls": [
1978
+ "https://dlmf.nist.gov/16"
1979
+ ],
1980
+ "family_id": "mpmath:appellf3",
1981
+ "formula_refs": [],
1982
+ "formula_verified_properties": "",
1983
+ "property_count": 0,
1984
+ "status": "dlmf-mapped-mpmath-inventory",
1985
+ "structural_issues": [],
1986
+ "verification_kind": ""
1987
+ },
1988
+ {
1989
+ "category": "hypergeometric",
1990
+ "dlmf_chapters": "16",
1991
+ "dlmf_urls": [
1992
+ "https://dlmf.nist.gov/16"
1993
+ ],
1994
+ "family_id": "mpmath:appellf4",
1995
+ "formula_refs": [],
1996
+ "formula_verified_properties": "",
1997
+ "property_count": 0,
1998
+ "status": "dlmf-mapped-mpmath-inventory",
1999
+ "structural_issues": [],
2000
+ "verification_kind": ""
2001
+ },
2002
+ {
2003
+ "category": "factorials",
2004
+ "dlmf_chapters": "",
2005
+ "dlmf_urls": [],
2006
+ "family_id": "mpmath:barnesg",
2007
+ "formula_refs": [],
2008
+ "formula_verified_properties": "",
2009
+ "property_count": 23,
2010
+ "status": "not-dlmf-scoped",
2011
+ "structural_issues": [],
2012
+ "verification_kind": ""
2013
+ },
2014
+ {
2015
+ "category": "bessel",
2016
+ "dlmf_chapters": "9, 10, 11, 13",
2017
+ "dlmf_urls": [
2018
+ "https://dlmf.nist.gov/9",
2019
+ "https://dlmf.nist.gov/10",
2020
+ "https://dlmf.nist.gov/11",
2021
+ "https://dlmf.nist.gov/13"
2022
+ ],
2023
+ "family_id": "mpmath:bei",
2024
+ "formula_refs": [],
2025
+ "formula_verified_properties": "",
2026
+ "property_count": 21,
2027
+ "status": "dlmf-mapped-mpmath-inventory",
2028
+ "structural_issues": [],
2029
+ "verification_kind": ""
2030
+ },
2031
+ {
2032
+ "category": "bessel",
2033
+ "dlmf_chapters": "9, 10, 11, 13",
2034
+ "dlmf_urls": [
2035
+ "https://dlmf.nist.gov/9",
2036
+ "https://dlmf.nist.gov/10",
2037
+ "https://dlmf.nist.gov/11",
2038
+ "https://dlmf.nist.gov/13"
2039
+ ],
2040
+ "family_id": "mpmath:ber",
2041
+ "formula_refs": [],
2042
+ "formula_verified_properties": "",
2043
+ "property_count": 21,
2044
+ "status": "dlmf-mapped-mpmath-inventory",
2045
+ "structural_issues": [],
2046
+ "verification_kind": ""
2047
+ },
2048
+ {
2049
+ "category": "bessel",
2050
+ "dlmf_chapters": "9, 10, 11, 13",
2051
+ "dlmf_urls": [
2052
+ "https://dlmf.nist.gov/9",
2053
+ "https://dlmf.nist.gov/10",
2054
+ "https://dlmf.nist.gov/11",
2055
+ "https://dlmf.nist.gov/13"
2056
+ ],
2057
+ "family_id": "mpmath:besseljzero",
2058
+ "formula_refs": [],
2059
+ "formula_verified_properties": "",
2060
+ "property_count": 7,
2061
+ "status": "dlmf-mapped-mpmath-inventory",
2062
+ "structural_issues": [],
2063
+ "verification_kind": ""
2064
+ },
2065
+ {
2066
+ "category": "bessel",
2067
+ "dlmf_chapters": "9, 10, 11, 13",
2068
+ "dlmf_urls": [
2069
+ "https://dlmf.nist.gov/9",
2070
+ "https://dlmf.nist.gov/10",
2071
+ "https://dlmf.nist.gov/11",
2072
+ "https://dlmf.nist.gov/13"
2073
+ ],
2074
+ "family_id": "mpmath:besselyzero",
2075
+ "formula_refs": [],
2076
+ "formula_verified_properties": "",
2077
+ "property_count": 7,
2078
+ "status": "dlmf-mapped-mpmath-inventory",
2079
+ "structural_issues": [],
2080
+ "verification_kind": ""
2081
+ },
2082
+ {
2083
+ "category": "zeta",
2084
+ "dlmf_chapters": "25",
2085
+ "dlmf_urls": [
2086
+ "https://dlmf.nist.gov/25"
2087
+ ],
2088
+ "family_id": "mpmath:clcos",
2089
+ "formula_refs": [],
2090
+ "formula_verified_properties": "",
2091
+ "property_count": 0,
2092
+ "status": "dlmf-mapped-mpmath-inventory",
2093
+ "structural_issues": [],
2094
+ "verification_kind": ""
2095
+ },
2096
+ {
2097
+ "category": "zeta",
2098
+ "dlmf_chapters": "25",
2099
+ "dlmf_urls": [
2100
+ "https://dlmf.nist.gov/25"
2101
+ ],
2102
+ "family_id": "mpmath:clsin",
2103
+ "formula_refs": [],
2104
+ "formula_verified_properties": "",
2105
+ "property_count": 0,
2106
+ "status": "dlmf-mapped-mpmath-inventory",
2107
+ "structural_issues": [],
2108
+ "verification_kind": ""
2109
+ },
2110
+ {
2111
+ "category": "bessel",
2112
+ "dlmf_chapters": "9, 10, 11, 13",
2113
+ "dlmf_urls": [
2114
+ "https://dlmf.nist.gov/9",
2115
+ "https://dlmf.nist.gov/10",
2116
+ "https://dlmf.nist.gov/11",
2117
+ "https://dlmf.nist.gov/13"
2118
+ ],
2119
+ "family_id": "mpmath:coulombf",
2120
+ "formula_refs": [],
2121
+ "formula_verified_properties": "",
2122
+ "property_count": 18,
2123
+ "status": "dlmf-mapped-mpmath-inventory",
2124
+ "structural_issues": [],
2125
+ "verification_kind": ""
2126
+ },
2127
+ {
2128
+ "category": "bessel",
2129
+ "dlmf_chapters": "9, 10, 11, 13",
2130
+ "dlmf_urls": [
2131
+ "https://dlmf.nist.gov/9",
2132
+ "https://dlmf.nist.gov/10",
2133
+ "https://dlmf.nist.gov/11",
2134
+ "https://dlmf.nist.gov/13"
2135
+ ],
2136
+ "family_id": "mpmath:coulombg",
2137
+ "formula_refs": [],
2138
+ "formula_verified_properties": "",
2139
+ "property_count": 18,
2140
+ "status": "dlmf-mapped-mpmath-inventory",
2141
+ "structural_issues": [],
2142
+ "verification_kind": ""
2143
+ },
2144
+ {
2145
+ "category": "functions",
2146
+ "dlmf_chapters": "",
2147
+ "dlmf_urls": [],
2148
+ "family_id": "mpmath:cyclotomic",
2149
+ "formula_refs": [],
2150
+ "formula_verified_properties": "",
2151
+ "property_count": 0,
2152
+ "status": "not-dlmf-scoped",
2153
+ "structural_issues": [],
2154
+ "verification_kind": ""
2155
+ },
2156
+ {
2157
+ "category": "zeta",
2158
+ "dlmf_chapters": "25",
2159
+ "dlmf_urls": [
2160
+ "https://dlmf.nist.gov/25"
2161
+ ],
2162
+ "family_id": "mpmath:dirichlet",
2163
+ "formula_refs": [],
2164
+ "formula_verified_properties": "",
2165
+ "property_count": 2,
2166
+ "status": "dlmf-mapped-mpmath-inventory",
2167
+ "structural_issues": [],
2168
+ "verification_kind": ""
2169
+ },
2170
+ {
2171
+ "category": "elliptic",
2172
+ "dlmf_chapters": "19, 22, 23",
2173
+ "dlmf_urls": [
2174
+ "https://dlmf.nist.gov/19",
2175
+ "https://dlmf.nist.gov/22",
2176
+ "https://dlmf.nist.gov/23"
2177
+ ],
2178
+ "family_id": "mpmath:ellipfun",
2179
+ "formula_refs": [],
2180
+ "formula_verified_properties": "",
2181
+ "property_count": 0,
2182
+ "status": "dlmf-mapped-mpmath-inventory",
2183
+ "structural_issues": [],
2184
+ "verification_kind": ""
2185
+ },
2186
+ {
2187
+ "category": "elliptic",
2188
+ "dlmf_chapters": "19, 22, 23",
2189
+ "dlmf_urls": [
2190
+ "https://dlmf.nist.gov/19",
2191
+ "https://dlmf.nist.gov/22",
2192
+ "https://dlmf.nist.gov/23"
2193
+ ],
2194
+ "family_id": "mpmath:elliprc",
2195
+ "formula_refs": [],
2196
+ "formula_verified_properties": "",
2197
+ "property_count": 0,
2198
+ "status": "dlmf-mapped-mpmath-inventory",
2199
+ "structural_issues": [],
2200
+ "verification_kind": ""
2201
+ },
2202
+ {
2203
+ "category": "elliptic",
2204
+ "dlmf_chapters": "19, 22, 23",
2205
+ "dlmf_urls": [
2206
+ "https://dlmf.nist.gov/19",
2207
+ "https://dlmf.nist.gov/22",
2208
+ "https://dlmf.nist.gov/23"
2209
+ ],
2210
+ "family_id": "mpmath:elliprd",
2211
+ "formula_refs": [],
2212
+ "formula_verified_properties": "",
2213
+ "property_count": 0,
2214
+ "status": "dlmf-mapped-mpmath-inventory",
2215
+ "structural_issues": [],
2216
+ "verification_kind": ""
2217
+ },
2218
+ {
2219
+ "category": "elliptic",
2220
+ "dlmf_chapters": "19, 22, 23",
2221
+ "dlmf_urls": [
2222
+ "https://dlmf.nist.gov/19",
2223
+ "https://dlmf.nist.gov/22",
2224
+ "https://dlmf.nist.gov/23"
2225
+ ],
2226
+ "family_id": "mpmath:elliprf",
2227
+ "formula_refs": [],
2228
+ "formula_verified_properties": "",
2229
+ "property_count": 0,
2230
+ "status": "dlmf-mapped-mpmath-inventory",
2231
+ "structural_issues": [],
2232
+ "verification_kind": ""
2233
+ },
2234
+ {
2235
+ "category": "elliptic",
2236
+ "dlmf_chapters": "19, 22, 23",
2237
+ "dlmf_urls": [
2238
+ "https://dlmf.nist.gov/19",
2239
+ "https://dlmf.nist.gov/22",
2240
+ "https://dlmf.nist.gov/23"
2241
+ ],
2242
+ "family_id": "mpmath:elliprg",
2243
+ "formula_refs": [],
2244
+ "formula_verified_properties": "",
2245
+ "property_count": 0,
2246
+ "status": "dlmf-mapped-mpmath-inventory",
2247
+ "structural_issues": [],
2248
+ "verification_kind": ""
2249
+ },
2250
+ {
2251
+ "category": "elliptic",
2252
+ "dlmf_chapters": "19, 22, 23",
2253
+ "dlmf_urls": [
2254
+ "https://dlmf.nist.gov/19",
2255
+ "https://dlmf.nist.gov/22",
2256
+ "https://dlmf.nist.gov/23"
2257
+ ],
2258
+ "family_id": "mpmath:elliprj",
2259
+ "formula_refs": [],
2260
+ "formula_verified_properties": "",
2261
+ "property_count": 0,
2262
+ "status": "dlmf-mapped-mpmath-inventory",
2263
+ "structural_issues": [],
2264
+ "verification_kind": ""
2265
+ },
2266
+ {
2267
+ "category": "elliptic",
2268
+ "dlmf_chapters": "19, 22, 23",
2269
+ "dlmf_urls": [
2270
+ "https://dlmf.nist.gov/19",
2271
+ "https://dlmf.nist.gov/22",
2272
+ "https://dlmf.nist.gov/23"
2273
+ ],
2274
+ "family_id": "mpmath:eta",
2275
+ "formula_refs": [],
2276
+ "formula_verified_properties": "",
2277
+ "property_count": 9,
2278
+ "status": "dlmf-mapped-mpmath-inventory",
2279
+ "structural_issues": [],
2280
+ "verification_kind": ""
2281
+ },
2282
+ {
2283
+ "category": "factorials",
2284
+ "dlmf_chapters": "",
2285
+ "dlmf_urls": [],
2286
+ "family_id": "mpmath:hyperfac",
2287
+ "formula_refs": [],
2288
+ "formula_verified_properties": "",
2289
+ "property_count": 27,
2290
+ "status": "not-dlmf-scoped",
2291
+ "structural_issues": [],
2292
+ "verification_kind": ""
2293
+ },
2294
+ {
2295
+ "category": "bessel",
2296
+ "dlmf_chapters": "9, 10, 11, 13",
2297
+ "dlmf_urls": [
2298
+ "https://dlmf.nist.gov/9",
2299
+ "https://dlmf.nist.gov/10",
2300
+ "https://dlmf.nist.gov/11",
2301
+ "https://dlmf.nist.gov/13"
2302
+ ],
2303
+ "family_id": "mpmath:hyperu",
2304
+ "formula_refs": [],
2305
+ "formula_verified_properties": "",
2306
+ "property_count": 13,
2307
+ "status": "dlmf-mapped-mpmath-inventory",
2308
+ "structural_issues": [],
2309
+ "verification_kind": ""
2310
+ },
2311
+ {
2312
+ "category": "theta",
2313
+ "dlmf_chapters": "20",
2314
+ "dlmf_urls": [
2315
+ "https://dlmf.nist.gov/20"
2316
+ ],
2317
+ "family_id": "mpmath:jtheta",
2318
+ "formula_refs": [],
2319
+ "formula_verified_properties": "",
2320
+ "property_count": 11,
2321
+ "status": "dlmf-mapped-mpmath-inventory",
2322
+ "structural_issues": [],
2323
+ "verification_kind": ""
2324
+ },
2325
+ {
2326
+ "category": "bessel",
2327
+ "dlmf_chapters": "9, 10, 11, 13",
2328
+ "dlmf_urls": [
2329
+ "https://dlmf.nist.gov/9",
2330
+ "https://dlmf.nist.gov/10",
2331
+ "https://dlmf.nist.gov/11",
2332
+ "https://dlmf.nist.gov/13"
2333
+ ],
2334
+ "family_id": "mpmath:kei",
2335
+ "formula_refs": [],
2336
+ "formula_verified_properties": "",
2337
+ "property_count": 21,
2338
+ "status": "dlmf-mapped-mpmath-inventory",
2339
+ "structural_issues": [],
2340
+ "verification_kind": ""
2341
+ },
2342
+ {
2343
+ "category": "bessel",
2344
+ "dlmf_chapters": "9, 10, 11, 13",
2345
+ "dlmf_urls": [
2346
+ "https://dlmf.nist.gov/9",
2347
+ "https://dlmf.nist.gov/10",
2348
+ "https://dlmf.nist.gov/11",
2349
+ "https://dlmf.nist.gov/13"
2350
+ ],
2351
+ "family_id": "mpmath:ker",
2352
+ "formula_refs": [],
2353
+ "formula_verified_properties": "",
2354
+ "property_count": 21,
2355
+ "status": "dlmf-mapped-mpmath-inventory",
2356
+ "structural_issues": [],
2357
+ "verification_kind": ""
2358
+ },
2359
+ {
2360
+ "category": "elliptic",
2361
+ "dlmf_chapters": "19, 22, 23",
2362
+ "dlmf_urls": [
2363
+ "https://dlmf.nist.gov/19",
2364
+ "https://dlmf.nist.gov/22",
2365
+ "https://dlmf.nist.gov/23"
2366
+ ],
2367
+ "family_id": "mpmath:kleinj",
2368
+ "formula_refs": [],
2369
+ "formula_verified_properties": "",
2370
+ "property_count": 9,
2371
+ "status": "dlmf-mapped-mpmath-inventory",
2372
+ "structural_issues": [],
2373
+ "verification_kind": ""
2374
+ },
2375
+ {
2376
+ "category": "orthogonal",
2377
+ "dlmf_chapters": "12, 14, 18",
2378
+ "dlmf_urls": [
2379
+ "https://dlmf.nist.gov/12",
2380
+ "https://dlmf.nist.gov/14",
2381
+ "https://dlmf.nist.gov/18"
2382
+ ],
2383
+ "family_id": "mpmath:legenq",
2384
+ "formula_refs": [],
2385
+ "formula_verified_properties": "",
2386
+ "property_count": 21,
2387
+ "status": "dlmf-mapped-mpmath-inventory",
2388
+ "structural_issues": [],
2389
+ "verification_kind": ""
2390
+ },
2391
+ {
2392
+ "category": "bessel",
2393
+ "dlmf_chapters": "9, 10, 11, 13",
2394
+ "dlmf_urls": [
2395
+ "https://dlmf.nist.gov/9",
2396
+ "https://dlmf.nist.gov/10",
2397
+ "https://dlmf.nist.gov/11",
2398
+ "https://dlmf.nist.gov/13"
2399
+ ],
2400
+ "family_id": "mpmath:lommels1",
2401
+ "formula_refs": [],
2402
+ "formula_verified_properties": "",
2403
+ "property_count": 0,
2404
+ "status": "dlmf-mapped-mpmath-inventory",
2405
+ "structural_issues": [],
2406
+ "verification_kind": ""
2407
+ },
2408
+ {
2409
+ "category": "bessel",
2410
+ "dlmf_chapters": "9, 10, 11, 13",
2411
+ "dlmf_urls": [
2412
+ "https://dlmf.nist.gov/9",
2413
+ "https://dlmf.nist.gov/10",
2414
+ "https://dlmf.nist.gov/11",
2415
+ "https://dlmf.nist.gov/13"
2416
+ ],
2417
+ "family_id": "mpmath:lommels2",
2418
+ "formula_refs": [],
2419
+ "formula_verified_properties": "",
2420
+ "property_count": 0,
2421
+ "status": "dlmf-mapped-mpmath-inventory",
2422
+ "structural_issues": [],
2423
+ "verification_kind": ""
2424
+ },
2425
+ {
2426
+ "category": "functions",
2427
+ "dlmf_chapters": "",
2428
+ "dlmf_urls": [],
2429
+ "family_id": "mpmath:mangoldt",
2430
+ "formula_refs": [],
2431
+ "formula_verified_properties": "",
2432
+ "property_count": 6,
2433
+ "status": "not-dlmf-scoped",
2434
+ "structural_issues": [],
2435
+ "verification_kind": ""
2436
+ },
2437
+ {
2438
+ "category": "orthogonal",
2439
+ "dlmf_chapters": "12, 14, 18",
2440
+ "dlmf_urls": [
2441
+ "https://dlmf.nist.gov/12",
2442
+ "https://dlmf.nist.gov/14",
2443
+ "https://dlmf.nist.gov/18"
2444
+ ],
2445
+ "family_id": "mpmath:pcfd",
2446
+ "formula_refs": [],
2447
+ "formula_verified_properties": "",
2448
+ "property_count": 27,
2449
+ "status": "dlmf-mapped-mpmath-inventory",
2450
+ "structural_issues": [],
2451
+ "verification_kind": ""
2452
+ },
2453
+ {
2454
+ "category": "orthogonal",
2455
+ "dlmf_chapters": "12, 14, 18",
2456
+ "dlmf_urls": [
2457
+ "https://dlmf.nist.gov/12",
2458
+ "https://dlmf.nist.gov/14",
2459
+ "https://dlmf.nist.gov/18"
2460
+ ],
2461
+ "family_id": "mpmath:pcfu",
2462
+ "formula_refs": [],
2463
+ "formula_verified_properties": "",
2464
+ "property_count": 0,
2465
+ "status": "dlmf-mapped-mpmath-inventory",
2466
+ "structural_issues": [],
2467
+ "verification_kind": ""
2468
+ },
2469
+ {
2470
+ "category": "orthogonal",
2471
+ "dlmf_chapters": "12, 14, 18",
2472
+ "dlmf_urls": [
2473
+ "https://dlmf.nist.gov/12",
2474
+ "https://dlmf.nist.gov/14",
2475
+ "https://dlmf.nist.gov/18"
2476
+ ],
2477
+ "family_id": "mpmath:pcfv",
2478
+ "formula_refs": [],
2479
+ "formula_verified_properties": "",
2480
+ "property_count": 0,
2481
+ "status": "dlmf-mapped-mpmath-inventory",
2482
+ "structural_issues": [],
2483
+ "verification_kind": ""
2484
+ },
2485
+ {
2486
+ "category": "orthogonal",
2487
+ "dlmf_chapters": "12, 14, 18",
2488
+ "dlmf_urls": [
2489
+ "https://dlmf.nist.gov/12",
2490
+ "https://dlmf.nist.gov/14",
2491
+ "https://dlmf.nist.gov/18"
2492
+ ],
2493
+ "family_id": "mpmath:pcfw",
2494
+ "formula_refs": [],
2495
+ "formula_verified_properties": "",
2496
+ "property_count": 0,
2497
+ "status": "dlmf-mapped-mpmath-inventory",
2498
+ "structural_issues": [],
2499
+ "verification_kind": ""
2500
+ },
2501
+ {
2502
+ "category": "functions",
2503
+ "dlmf_chapters": "",
2504
+ "dlmf_urls": [],
2505
+ "family_id": "mpmath:polyexp",
2506
+ "formula_refs": [],
2507
+ "formula_verified_properties": "",
2508
+ "property_count": 0,
2509
+ "status": "not-dlmf-scoped",
2510
+ "structural_issues": [],
2511
+ "verification_kind": ""
2512
+ },
2513
+ {
2514
+ "category": "zeta",
2515
+ "dlmf_chapters": "25",
2516
+ "dlmf_urls": [
2517
+ "https://dlmf.nist.gov/25"
2518
+ ],
2519
+ "family_id": "mpmath:primezeta",
2520
+ "formula_refs": [],
2521
+ "formula_verified_properties": "",
2522
+ "property_count": 27,
2523
+ "status": "dlmf-mapped-mpmath-inventory",
2524
+ "structural_issues": [],
2525
+ "verification_kind": ""
2526
+ },
2527
+ {
2528
+ "category": "qfunctions",
2529
+ "dlmf_chapters": "",
2530
+ "dlmf_urls": [],
2531
+ "family_id": "mpmath:qfac",
2532
+ "formula_refs": [],
2533
+ "formula_verified_properties": "",
2534
+ "property_count": 25,
2535
+ "status": "not-dlmf-scoped",
2536
+ "structural_issues": [],
2537
+ "verification_kind": ""
2538
+ },
2539
+ {
2540
+ "category": "qfunctions",
2541
+ "dlmf_chapters": "",
2542
+ "dlmf_urls": [],
2543
+ "family_id": "mpmath:qgamma",
2544
+ "formula_refs": [],
2545
+ "formula_verified_properties": "",
2546
+ "property_count": 27,
2547
+ "status": "not-dlmf-scoped",
2548
+ "structural_issues": [],
2549
+ "verification_kind": ""
2550
+ },
2551
+ {
2552
+ "category": "qfunctions",
2553
+ "dlmf_chapters": "",
2554
+ "dlmf_urls": [],
2555
+ "family_id": "mpmath:qhyper",
2556
+ "formula_refs": [],
2557
+ "formula_verified_properties": "",
2558
+ "property_count": 8,
2559
+ "status": "not-dlmf-scoped",
2560
+ "structural_issues": [],
2561
+ "verification_kind": ""
2562
+ },
2563
+ {
2564
+ "category": "qfunctions",
2565
+ "dlmf_chapters": "",
2566
+ "dlmf_urls": [],
2567
+ "family_id": "mpmath:qp",
2568
+ "formula_refs": [],
2569
+ "formula_verified_properties": "",
2570
+ "property_count": 22,
2571
+ "status": "not-dlmf-scoped",
2572
+ "structural_issues": [],
2573
+ "verification_kind": ""
2574
+ },
2575
+ {
2576
+ "category": "zeta",
2577
+ "dlmf_chapters": "25",
2578
+ "dlmf_urls": [
2579
+ "https://dlmf.nist.gov/25"
2580
+ ],
2581
+ "family_id": "mpmath:riemannr",
2582
+ "formula_refs": [],
2583
+ "formula_verified_properties": "",
2584
+ "property_count": 27,
2585
+ "status": "dlmf-mapped-mpmath-inventory",
2586
+ "structural_issues": [],
2587
+ "verification_kind": ""
2588
+ },
2589
+ {
2590
+ "category": "bessel",
2591
+ "dlmf_chapters": "9, 10, 11, 13",
2592
+ "dlmf_urls": [
2593
+ "https://dlmf.nist.gov/9",
2594
+ "https://dlmf.nist.gov/10",
2595
+ "https://dlmf.nist.gov/11",
2596
+ "https://dlmf.nist.gov/13"
2597
+ ],
2598
+ "family_id": "mpmath:scorergi",
2599
+ "formula_refs": [],
2600
+ "formula_verified_properties": "",
2601
+ "property_count": 23,
2602
+ "status": "dlmf-mapped-mpmath-inventory",
2603
+ "structural_issues": [],
2604
+ "verification_kind": ""
2605
+ },
2606
+ {
2607
+ "category": "bessel",
2608
+ "dlmf_chapters": "9, 10, 11, 13",
2609
+ "dlmf_urls": [
2610
+ "https://dlmf.nist.gov/9",
2611
+ "https://dlmf.nist.gov/10",
2612
+ "https://dlmf.nist.gov/11",
2613
+ "https://dlmf.nist.gov/13"
2614
+ ],
2615
+ "family_id": "mpmath:scorerhi",
2616
+ "formula_refs": [],
2617
+ "formula_verified_properties": "",
2618
+ "property_count": 27,
2619
+ "status": "dlmf-mapped-mpmath-inventory",
2620
+ "structural_issues": [],
2621
+ "verification_kind": ""
2622
+ },
2623
+ {
2624
+ "category": "zeta",
2625
+ "dlmf_chapters": "25",
2626
+ "dlmf_urls": [
2627
+ "https://dlmf.nist.gov/25"
2628
+ ],
2629
+ "family_id": "mpmath:secondzeta",
2630
+ "formula_refs": [],
2631
+ "formula_verified_properties": "",
2632
+ "property_count": 0,
2633
+ "status": "dlmf-mapped-mpmath-inventory",
2634
+ "structural_issues": [],
2635
+ "verification_kind": ""
2636
+ },
2637
+ {
2638
+ "category": "zeta",
2639
+ "dlmf_chapters": "25",
2640
+ "dlmf_urls": [
2641
+ "https://dlmf.nist.gov/25"
2642
+ ],
2643
+ "family_id": "mpmath:siegeltheta",
2644
+ "formula_refs": [],
2645
+ "formula_verified_properties": "",
2646
+ "property_count": 29,
2647
+ "status": "dlmf-mapped-mpmath-inventory",
2648
+ "structural_issues": [],
2649
+ "verification_kind": ""
2650
+ },
2651
+ {
2652
+ "category": "zeta",
2653
+ "dlmf_chapters": "25",
2654
+ "dlmf_urls": [
2655
+ "https://dlmf.nist.gov/25"
2656
+ ],
2657
+ "family_id": "mpmath:siegelz",
2658
+ "formula_refs": [],
2659
+ "formula_verified_properties": "",
2660
+ "property_count": 18,
2661
+ "status": "dlmf-mapped-mpmath-inventory",
2662
+ "structural_issues": [],
2663
+ "verification_kind": ""
2664
+ },
2665
+ {
2666
+ "category": "functions",
2667
+ "dlmf_chapters": "",
2668
+ "dlmf_urls": [],
2669
+ "family_id": "mpmath:sincpi",
2670
+ "formula_refs": [],
2671
+ "formula_verified_properties": "",
2672
+ "property_count": 0,
2673
+ "status": "not-dlmf-scoped",
2674
+ "structural_issues": [],
2675
+ "verification_kind": ""
2676
+ },
2677
+ {
2678
+ "category": "functions",
2679
+ "dlmf_chapters": "",
2680
+ "dlmf_urls": [],
2681
+ "family_id": "mpmath:stirling1",
2682
+ "formula_refs": [],
2683
+ "formula_verified_properties": "",
2684
+ "property_count": 8,
2685
+ "status": "not-dlmf-scoped",
2686
+ "structural_issues": [],
2687
+ "verification_kind": ""
2688
+ },
2689
+ {
2690
+ "category": "functions",
2691
+ "dlmf_chapters": "",
2692
+ "dlmf_urls": [],
2693
+ "family_id": "mpmath:stirling2",
2694
+ "formula_refs": [],
2695
+ "formula_verified_properties": "",
2696
+ "property_count": 8,
2697
+ "status": "not-dlmf-scoped",
2698
+ "structural_issues": [],
2699
+ "verification_kind": ""
2700
+ },
2701
+ {
2702
+ "category": "bessel",
2703
+ "dlmf_chapters": "9, 10, 11, 13",
2704
+ "dlmf_urls": [
2705
+ "https://dlmf.nist.gov/9",
2706
+ "https://dlmf.nist.gov/10",
2707
+ "https://dlmf.nist.gov/11",
2708
+ "https://dlmf.nist.gov/13"
2709
+ ],
2710
+ "family_id": "mpmath:struveh",
2711
+ "formula_refs": [],
2712
+ "formula_verified_properties": "",
2713
+ "property_count": 13,
2714
+ "status": "dlmf-mapped-mpmath-inventory",
2715
+ "structural_issues": [],
2716
+ "verification_kind": ""
2717
+ },
2718
+ {
2719
+ "category": "bessel",
2720
+ "dlmf_chapters": "9, 10, 11, 13",
2721
+ "dlmf_urls": [
2722
+ "https://dlmf.nist.gov/9",
2723
+ "https://dlmf.nist.gov/10",
2724
+ "https://dlmf.nist.gov/11",
2725
+ "https://dlmf.nist.gov/13"
2726
+ ],
2727
+ "family_id": "mpmath:struvel",
2728
+ "formula_refs": [],
2729
+ "formula_verified_properties": "",
2730
+ "property_count": 13,
2731
+ "status": "dlmf-mapped-mpmath-inventory",
2732
+ "structural_issues": [],
2733
+ "verification_kind": ""
2734
+ },
2735
+ {
2736
+ "category": "factorials",
2737
+ "dlmf_chapters": "",
2738
+ "dlmf_urls": [],
2739
+ "family_id": "mpmath:superfac",
2740
+ "formula_refs": [],
2741
+ "formula_verified_properties": "",
2742
+ "property_count": 0,
2743
+ "status": "not-dlmf-scoped",
2744
+ "structural_issues": [],
2745
+ "verification_kind": ""
2746
+ },
2747
+ {
2748
+ "category": "bessel",
2749
+ "dlmf_chapters": "9, 10, 11, 13",
2750
+ "dlmf_urls": [
2751
+ "https://dlmf.nist.gov/9",
2752
+ "https://dlmf.nist.gov/10",
2753
+ "https://dlmf.nist.gov/11",
2754
+ "https://dlmf.nist.gov/13"
2755
+ ],
2756
+ "family_id": "mpmath:webere",
2757
+ "formula_refs": [],
2758
+ "formula_verified_properties": "",
2759
+ "property_count": 18,
2760
+ "status": "dlmf-mapped-mpmath-inventory",
2761
+ "structural_issues": [],
2762
+ "verification_kind": ""
2763
+ },
2764
+ {
2765
+ "category": "bessel",
2766
+ "dlmf_chapters": "9, 10, 11, 13",
2767
+ "dlmf_urls": [
2768
+ "https://dlmf.nist.gov/9",
2769
+ "https://dlmf.nist.gov/10",
2770
+ "https://dlmf.nist.gov/11",
2771
+ "https://dlmf.nist.gov/13"
2772
+ ],
2773
+ "family_id": "mpmath:whitm",
2774
+ "formula_refs": [],
2775
+ "formula_verified_properties": "",
2776
+ "property_count": 13,
2777
+ "status": "dlmf-mapped-mpmath-inventory",
2778
+ "structural_issues": [],
2779
+ "verification_kind": ""
2780
+ },
2781
+ {
2782
+ "category": "bessel",
2783
+ "dlmf_chapters": "9, 10, 11, 13",
2784
+ "dlmf_urls": [
2785
+ "https://dlmf.nist.gov/9",
2786
+ "https://dlmf.nist.gov/10",
2787
+ "https://dlmf.nist.gov/11",
2788
+ "https://dlmf.nist.gov/13"
2789
+ ],
2790
+ "family_id": "mpmath:whitw",
2791
+ "formula_refs": [],
2792
+ "formula_verified_properties": "",
2793
+ "property_count": 13,
2794
+ "status": "dlmf-mapped-mpmath-inventory",
2795
+ "structural_issues": [],
2796
+ "verification_kind": ""
2797
+ },
2798
+ {
2799
+ "category": "zetazeros",
2800
+ "dlmf_chapters": "25",
2801
+ "dlmf_urls": [
2802
+ "https://dlmf.nist.gov/25"
2803
+ ],
2804
+ "family_id": "mpmath:zetazero",
2805
+ "formula_refs": [],
2806
+ "formula_verified_properties": "",
2807
+ "property_count": 3,
2808
+ "status": "dlmf-mapped-mpmath-inventory",
2809
+ "structural_issues": [],
2810
+ "verification_kind": ""
2811
+ },
2812
+ {
2813
+ "category": "gamma_functions",
2814
+ "dlmf_chapters": "5, 8",
2815
+ "dlmf_urls": [
2816
+ "https://dlmf.nist.gov/5",
2817
+ "https://dlmf.nist.gov/8"
2818
+ ],
2819
+ "family_id": "multigamma",
2820
+ "formula_refs": [
2821
+ "35.3.E1",
2822
+ "35.3.E4"
2823
+ ],
2824
+ "formula_verified_properties": "multivariate gamma definition/domain",
2825
+ "property_count": 0,
2826
+ "status": "formula-verified-core",
2827
+ "structural_issues": [],
2828
+ "verification_kind": "direct"
2829
+ },
2830
+ {
2831
+ "category": "numbers",
2832
+ "dlmf_chapters": "",
2833
+ "dlmf_urls": [],
2834
+ "family_id": "partition",
2835
+ "formula_refs": [],
2836
+ "formula_verified_properties": "",
2837
+ "property_count": 0,
2838
+ "status": "not-dlmf-scoped",
2839
+ "structural_issues": [],
2840
+ "verification_kind": ""
2841
+ },
2842
+ {
2843
+ "category": "complexes",
2844
+ "dlmf_chapters": "",
2845
+ "dlmf_urls": [],
2846
+ "family_id": "periodic_argument",
2847
+ "formula_refs": [],
2848
+ "formula_verified_properties": "",
2849
+ "property_count": 0,
2850
+ "status": "not-dlmf-scoped",
2851
+ "structural_issues": [],
2852
+ "verification_kind": ""
2853
+ },
2854
+ {
2855
+ "category": "piecewise",
2856
+ "dlmf_chapters": "",
2857
+ "dlmf_urls": [],
2858
+ "family_id": "Piecewise",
2859
+ "formula_refs": [],
2860
+ "formula_verified_properties": "",
2861
+ "property_count": 0,
2862
+ "status": "not-dlmf-scoped",
2863
+ "structural_issues": [],
2864
+ "verification_kind": ""
2865
+ },
2866
+ {
2867
+ "category": "complexes",
2868
+ "dlmf_chapters": "",
2869
+ "dlmf_urls": [],
2870
+ "family_id": "polar_lift",
2871
+ "formula_refs": [],
2872
+ "formula_verified_properties": "",
2873
+ "property_count": 0,
2874
+ "status": "not-dlmf-scoped",
2875
+ "structural_issues": [],
2876
+ "verification_kind": ""
2877
+ },
2878
+ {
2879
+ "category": "gamma_functions",
2880
+ "dlmf_chapters": "5, 8",
2881
+ "dlmf_urls": [
2882
+ "https://dlmf.nist.gov/5",
2883
+ "https://dlmf.nist.gov/8"
2884
+ ],
2885
+ "family_id": "polygamma",
2886
+ "formula_refs": [],
2887
+ "formula_verified_properties": "",
2888
+ "property_count": 30,
2889
+ "status": "hand-audited-core",
2890
+ "structural_issues": [],
2891
+ "verification_kind": ""
2892
+ },
2893
+ {
2894
+ "category": "zeta_functions",
2895
+ "dlmf_chapters": "25",
2896
+ "dlmf_urls": [
2897
+ "https://dlmf.nist.gov/25"
2898
+ ],
2899
+ "family_id": "polylog",
2900
+ "formula_refs": [
2901
+ "25.12.E10",
2902
+ "25.12"
2903
+ ],
2904
+ "formula_verified_properties": "polylogarithm definition/analytic continuation and principal branch",
2905
+ "property_count": 29,
2906
+ "status": "formula-verified-core",
2907
+ "structural_issues": [],
2908
+ "verification_kind": "direct"
2909
+ },
2910
+ {
2911
+ "category": "power",
2912
+ "dlmf_chapters": "",
2913
+ "dlmf_urls": [],
2914
+ "family_id": "Pow",
2915
+ "formula_refs": [],
2916
+ "formula_verified_properties": "",
2917
+ "property_count": 31,
2918
+ "status": "not-dlmf-scoped",
2919
+ "structural_issues": [],
2920
+ "verification_kind": ""
2921
+ },
2922
+ {
2923
+ "category": "numbers",
2924
+ "dlmf_chapters": "",
2925
+ "dlmf_urls": [],
2926
+ "family_id": "primenu",
2927
+ "formula_refs": [],
2928
+ "formula_verified_properties": "",
2929
+ "property_count": 0,
2930
+ "status": "not-dlmf-scoped",
2931
+ "structural_issues": [],
2932
+ "verification_kind": ""
2933
+ },
2934
+ {
2935
+ "category": "numbers",
2936
+ "dlmf_chapters": "",
2937
+ "dlmf_urls": [],
2938
+ "family_id": "primeomega",
2939
+ "formula_refs": [],
2940
+ "formula_verified_properties": "",
2941
+ "property_count": 0,
2942
+ "status": "not-dlmf-scoped",
2943
+ "structural_issues": [],
2944
+ "verification_kind": ""
2945
+ },
2946
+ {
2947
+ "category": "numbers",
2948
+ "dlmf_chapters": "",
2949
+ "dlmf_urls": [],
2950
+ "family_id": "primepi",
2951
+ "formula_refs": [],
2952
+ "formula_verified_properties": "",
2953
+ "property_count": 0,
2954
+ "status": "not-dlmf-scoped",
2955
+ "structural_issues": [],
2956
+ "verification_kind": ""
2957
+ },
2958
+ {
2959
+ "category": "complexes",
2960
+ "dlmf_chapters": "",
2961
+ "dlmf_urls": [],
2962
+ "family_id": "principal_branch",
2963
+ "formula_refs": [],
2964
+ "formula_verified_properties": "",
2965
+ "property_count": 0,
2966
+ "status": "not-dlmf-scoped",
2967
+ "structural_issues": [],
2968
+ "verification_kind": ""
2969
+ },
2970
+ {
2971
+ "category": "complexes",
2972
+ "dlmf_chapters": "",
2973
+ "dlmf_urls": [],
2974
+ "family_id": "re",
2975
+ "formula_refs": [],
2976
+ "formula_verified_properties": "",
2977
+ "property_count": 26,
2978
+ "status": "not-dlmf-scoped",
2979
+ "structural_issues": [],
2980
+ "verification_kind": ""
2981
+ },
2982
+ {
2983
+ "category": "numbers",
2984
+ "dlmf_chapters": "",
2985
+ "dlmf_urls": [],
2986
+ "family_id": "reduced_totient",
2987
+ "formula_refs": [],
2988
+ "formula_verified_properties": "",
2989
+ "property_count": 0,
2990
+ "status": "not-dlmf-scoped",
2991
+ "structural_issues": [],
2992
+ "verification_kind": ""
2993
+ },
2994
+ {
2995
+ "category": "miscellaneous",
2996
+ "dlmf_chapters": "",
2997
+ "dlmf_urls": [],
2998
+ "family_id": "Rem",
2999
+ "formula_refs": [],
3000
+ "formula_verified_properties": "",
3001
+ "property_count": 0,
3002
+ "status": "not-dlmf-scoped",
3003
+ "structural_issues": [],
3004
+ "verification_kind": ""
3005
+ },
3006
+ {
3007
+ "category": "factorials",
3008
+ "dlmf_chapters": "",
3009
+ "dlmf_urls": [],
3010
+ "family_id": "rf",
3011
+ "formula_refs": [],
3012
+ "formula_verified_properties": "",
3013
+ "property_count": 0,
3014
+ "status": "not-dlmf-scoped",
3015
+ "structural_issues": [],
3016
+ "verification_kind": ""
3017
+ },
3018
+ {
3019
+ "category": "zeta_functions",
3020
+ "dlmf_chapters": "25",
3021
+ "dlmf_urls": [
3022
+ "https://dlmf.nist.gov/25"
3023
+ ],
3024
+ "family_id": "riemann_xi",
3025
+ "formula_refs": [
3026
+ "25.4.E4",
3027
+ "25.4.E3"
3028
+ ],
3029
+ "formula_verified_properties": "xi definition and functional equation; entire by cancellation",
3030
+ "property_count": 0,
3031
+ "status": "formula-verified-core",
3032
+ "structural_issues": [],
3033
+ "verification_kind": "direct"
3034
+ },
3035
+ {
3036
+ "category": "factorials",
3037
+ "dlmf_chapters": "",
3038
+ "dlmf_urls": [],
3039
+ "family_id": "RisingFactorial",
3040
+ "formula_refs": [],
3041
+ "formula_verified_properties": "",
3042
+ "property_count": 13,
3043
+ "status": "not-dlmf-scoped",
3044
+ "structural_issues": [],
3045
+ "verification_kind": ""
3046
+ },
3047
+ {
3048
+ "category": "trigonometric",
3049
+ "dlmf_chapters": "",
3050
+ "dlmf_urls": [],
3051
+ "family_id": "sec",
3052
+ "formula_refs": [],
3053
+ "formula_verified_properties": "",
3054
+ "property_count": 26,
3055
+ "status": "not-dlmf-scoped",
3056
+ "structural_issues": [],
3057
+ "verification_kind": ""
3058
+ },
3059
+ {
3060
+ "category": "hyperbolic",
3061
+ "dlmf_chapters": "",
3062
+ "dlmf_urls": [],
3063
+ "family_id": "sech",
3064
+ "formula_refs": [],
3065
+ "formula_verified_properties": "",
3066
+ "property_count": 28,
3067
+ "status": "not-dlmf-scoped",
3068
+ "structural_issues": [],
3069
+ "verification_kind": ""
3070
+ },
3071
+ {
3072
+ "category": "error_functions",
3073
+ "dlmf_chapters": "6, 7",
3074
+ "dlmf_urls": [
3075
+ "https://dlmf.nist.gov/6",
3076
+ "https://dlmf.nist.gov/7"
3077
+ ],
3078
+ "family_id": "Shi",
3079
+ "formula_refs": [],
3080
+ "formula_verified_properties": "",
3081
+ "property_count": 29,
3082
+ "status": "hand-audited-core",
3083
+ "structural_issues": [],
3084
+ "verification_kind": ""
3085
+ },
3086
+ {
3087
+ "category": "error_functions",
3088
+ "dlmf_chapters": "6, 7",
3089
+ "dlmf_urls": [
3090
+ "https://dlmf.nist.gov/6",
3091
+ "https://dlmf.nist.gov/7"
3092
+ ],
3093
+ "family_id": "Si",
3094
+ "formula_refs": [],
3095
+ "formula_verified_properties": "",
3096
+ "property_count": 29,
3097
+ "status": "hand-audited-core",
3098
+ "structural_issues": [],
3099
+ "verification_kind": ""
3100
+ },
3101
+ {
3102
+ "category": "complexes",
3103
+ "dlmf_chapters": "",
3104
+ "dlmf_urls": [],
3105
+ "family_id": "sign",
3106
+ "formula_refs": [],
3107
+ "formula_verified_properties": "",
3108
+ "property_count": 33,
3109
+ "status": "not-dlmf-scoped",
3110
+ "structural_issues": [],
3111
+ "verification_kind": ""
3112
+ },
3113
+ {
3114
+ "category": "trigonometric",
3115
+ "dlmf_chapters": "",
3116
+ "dlmf_urls": [],
3117
+ "family_id": "sin",
3118
+ "formula_refs": [],
3119
+ "formula_verified_properties": "",
3120
+ "property_count": 28,
3121
+ "status": "not-dlmf-scoped",
3122
+ "structural_issues": [],
3123
+ "verification_kind": ""
3124
+ },
3125
+ {
3126
+ "category": "trigonometric",
3127
+ "dlmf_chapters": "",
3128
+ "dlmf_urls": [],
3129
+ "family_id": "sinc",
3130
+ "formula_refs": [],
3131
+ "formula_verified_properties": "",
3132
+ "property_count": 21,
3133
+ "status": "not-dlmf-scoped",
3134
+ "structural_issues": [],
3135
+ "verification_kind": ""
3136
+ },
3137
+ {
3138
+ "category": "singularity_functions",
3139
+ "dlmf_chapters": "",
3140
+ "dlmf_urls": [],
3141
+ "family_id": "SingularityFunction",
3142
+ "formula_refs": [],
3143
+ "formula_verified_properties": "",
3144
+ "property_count": 31,
3145
+ "status": "not-dlmf-scoped",
3146
+ "structural_issues": [],
3147
+ "verification_kind": ""
3148
+ },
3149
+ {
3150
+ "category": "hyperbolic",
3151
+ "dlmf_chapters": "",
3152
+ "dlmf_urls": [],
3153
+ "family_id": "sinh",
3154
+ "formula_refs": [],
3155
+ "formula_verified_properties": "",
3156
+ "property_count": 27,
3157
+ "status": "not-dlmf-scoped",
3158
+ "structural_issues": [],
3159
+ "verification_kind": ""
3160
+ },
3161
+ {
3162
+ "category": "miscellaneous",
3163
+ "dlmf_chapters": "",
3164
+ "dlmf_urls": [],
3165
+ "family_id": "sqrt",
3166
+ "formula_refs": [],
3167
+ "formula_verified_properties": "",
3168
+ "property_count": 0,
3169
+ "status": "not-dlmf-scoped",
3170
+ "structural_issues": [],
3171
+ "verification_kind": ""
3172
+ },
3173
+ {
3174
+ "category": "zeta_functions",
3175
+ "dlmf_chapters": "25",
3176
+ "dlmf_urls": [
3177
+ "https://dlmf.nist.gov/25"
3178
+ ],
3179
+ "family_id": "stieltjes",
3180
+ "formula_refs": [
3181
+ "25.2.E4",
3182
+ "25.2.E5"
3183
+ ],
3184
+ "formula_verified_properties": "Stieltjes constants from Laurent expansion of zeta",
3185
+ "property_count": 20,
3186
+ "status": "formula-verified-core",
3187
+ "structural_issues": [],
3188
+ "verification_kind": "direct"
3189
+ },
3190
+ {
3191
+ "category": "factorials",
3192
+ "dlmf_chapters": "",
3193
+ "dlmf_urls": [],
3194
+ "family_id": "subfactorial",
3195
+ "formula_refs": [],
3196
+ "formula_verified_properties": "",
3197
+ "property_count": 14,
3198
+ "status": "not-dlmf-scoped",
3199
+ "structural_issues": [],
3200
+ "verification_kind": ""
3201
+ },
3202
+ {
3203
+ "category": "trigonometric",
3204
+ "dlmf_chapters": "",
3205
+ "dlmf_urls": [],
3206
+ "family_id": "tan",
3207
+ "formula_refs": [],
3208
+ "formula_verified_properties": "",
3209
+ "property_count": 26,
3210
+ "status": "not-dlmf-scoped",
3211
+ "structural_issues": [],
3212
+ "verification_kind": ""
3213
+ },
3214
+ {
3215
+ "category": "hyperbolic",
3216
+ "dlmf_chapters": "",
3217
+ "dlmf_urls": [],
3218
+ "family_id": "tanh",
3219
+ "formula_refs": [],
3220
+ "formula_verified_properties": "",
3221
+ "property_count": 30,
3222
+ "status": "not-dlmf-scoped",
3223
+ "structural_issues": [],
3224
+ "verification_kind": ""
3225
+ },
3226
+ {
3227
+ "category": "numbers",
3228
+ "dlmf_chapters": "",
3229
+ "dlmf_urls": [],
3230
+ "family_id": "totient",
3231
+ "formula_refs": [],
3232
+ "formula_verified_properties": "",
3233
+ "property_count": 0,
3234
+ "status": "not-dlmf-scoped",
3235
+ "structural_issues": [],
3236
+ "verification_kind": ""
3237
+ },
3238
+ {
3239
+ "category": "complexes",
3240
+ "dlmf_chapters": "",
3241
+ "dlmf_urls": [],
3242
+ "family_id": "transpose",
3243
+ "formula_refs": [],
3244
+ "formula_verified_properties": "",
3245
+ "property_count": 0,
3246
+ "status": "not-dlmf-scoped",
3247
+ "structural_issues": [],
3248
+ "verification_kind": ""
3249
+ },
3250
+ {
3251
+ "category": "numbers",
3252
+ "dlmf_chapters": "",
3253
+ "dlmf_urls": [],
3254
+ "family_id": "tribonacci",
3255
+ "formula_refs": [],
3256
+ "formula_verified_properties": "",
3257
+ "property_count": 0,
3258
+ "status": "not-dlmf-scoped",
3259
+ "structural_issues": [],
3260
+ "verification_kind": ""
3261
+ },
3262
+ {
3263
+ "category": "gamma_functions",
3264
+ "dlmf_chapters": "5, 8",
3265
+ "dlmf_urls": [
3266
+ "https://dlmf.nist.gov/5",
3267
+ "https://dlmf.nist.gov/8"
3268
+ ],
3269
+ "family_id": "trigamma",
3270
+ "formula_refs": [],
3271
+ "formula_verified_properties": "",
3272
+ "property_count": 30,
3273
+ "status": "hand-audited-core",
3274
+ "structural_issues": [],
3275
+ "verification_kind": ""
3276
+ },
3277
+ {
3278
+ "category": "numbers",
3279
+ "dlmf_chapters": "",
3280
+ "dlmf_urls": [],
3281
+ "family_id": "udivisor_sigma",
3282
+ "formula_refs": [],
3283
+ "formula_verified_properties": "",
3284
+ "property_count": 0,
3285
+ "status": "not-dlmf-scoped",
3286
+ "structural_issues": [],
3287
+ "verification_kind": ""
3288
+ },
3289
+ {
3290
+ "category": "gamma_functions",
3291
+ "dlmf_chapters": "5, 8",
3292
+ "dlmf_urls": [
3293
+ "https://dlmf.nist.gov/5",
3294
+ "https://dlmf.nist.gov/8"
3295
+ ],
3296
+ "family_id": "uppergamma",
3297
+ "formula_refs": [],
3298
+ "formula_verified_properties": "",
3299
+ "property_count": 30,
3300
+ "status": "hand-audited-core",
3301
+ "structural_issues": [],
3302
+ "verification_kind": ""
3303
+ },
3304
+ {
3305
+ "category": "bessel",
3306
+ "dlmf_chapters": "9, 10, 11, 13",
3307
+ "dlmf_urls": [
3308
+ "https://dlmf.nist.gov/9",
3309
+ "https://dlmf.nist.gov/10",
3310
+ "https://dlmf.nist.gov/11",
3311
+ "https://dlmf.nist.gov/13"
3312
+ ],
3313
+ "family_id": "yn",
3314
+ "formula_refs": [
3315
+ "10.47.E4",
3316
+ "10.58"
3317
+ ],
3318
+ "formula_verified_properties": "spherical Bessel y_n and zero distribution",
3319
+ "property_count": 21,
3320
+ "status": "formula-verified-core",
3321
+ "structural_issues": [],
3322
+ "verification_kind": "direct"
3323
+ },
3324
+ {
3325
+ "category": "spherical_harmonics",
3326
+ "dlmf_chapters": "14",
3327
+ "dlmf_urls": [
3328
+ "https://dlmf.nist.gov/14"
3329
+ ],
3330
+ "family_id": "Ynm",
3331
+ "formula_refs": [
3332
+ "14.30.E1"
3333
+ ],
3334
+ "formula_verified_properties": "complex spherical harmonic definition and normalization",
3335
+ "property_count": 6,
3336
+ "status": "formula-verified-core",
3337
+ "structural_issues": [],
3338
+ "verification_kind": "direct"
3339
+ },
3340
+ {
3341
+ "category": "zeta_functions",
3342
+ "dlmf_chapters": "25",
3343
+ "dlmf_urls": [
3344
+ "https://dlmf.nist.gov/25"
3345
+ ],
3346
+ "family_id": "zeta",
3347
+ "formula_refs": [],
3348
+ "formula_verified_properties": "",
3349
+ "property_count": 25,
3350
+ "status": "hand-audited-core",
3351
+ "structural_issues": [],
3352
+ "verification_kind": ""
3353
+ },
3354
+ {
3355
+ "category": "spherical_harmonics",
3356
+ "dlmf_chapters": "14",
3357
+ "dlmf_urls": [
3358
+ "https://dlmf.nist.gov/14"
3359
+ ],
3360
+ "family_id": "Znm",
3361
+ "formula_refs": [
3362
+ "14.30.E1"
3363
+ ],
3364
+ "formula_verified_properties": "real spherical harmonic derived from complex spherical harmonics",
3365
+ "property_count": 6,
3366
+ "status": "formula-verified-derived",
3367
+ "structural_issues": [],
3368
+ "verification_kind": "derived"
3369
+ }
3370
+ ],
3371
+ "schema_version": "1.0",
3372
+ "summary": {
3373
+ "catalogue_families": 233,
3374
+ "dlmf_mapping_corrections": 1,
3375
+ "dlmf_scoped": 132,
3376
+ "formula_verified_core": 26,
3377
+ "formula_verified_derived": 22,
3378
+ "hand_audited": 36,
3379
+ "needs_formula_review": 0,
3380
+ "structural_issue_count": 0
3381
+ }
3382
+ }