Hub · Entwicklung & APIs

Technische Prüfungen & Formate

1.910 veröffentlichte Endpunkt-URLs. Methoden, Preise, Eingaben und Originaldokumentation auf jeder Detailseite.

detect.halowerk.com · Katalogstand 2026-11-01, 15:19 UTC

Endpunkte

421–480 von 1.910

Technische Prüfungen & Formate0,003 USDC
F NIGHT ECMA / simplicial f2 one cocycle cup class
POSThttps://detect.halowerk.com/v1/F-NIGHT-ECMA/simplicial-f2-one-cocycle-cup-class
A topology test agent needs whether the cup product of two specified1cocycles is zero in H2 of its complete finite2D simplicial complex, with a coboundary witness, not only chain ranks or homology dimensions.
Technische Prüfungen & Formate0,003 USDC
F NIGHT ECMA / simplicial mod2 homology boundary ranks
POSThttps://detect.halowerk.com/v1/F-NIGHT-ECMA/simplicial-mod2-homology-boundary-ranks
A topology test agent needs mod-two homology dimensions for supplied finite simplicial facets, distinguishing filled faces from graph cycles; no point-cloud inference or generic matrix-rank-only task.
Technische Prüfungen & Formate0,003 USDC
F NIGHT ECMA / simplicial persistent f2 interval pairing
POSThttps://detect.halowerk.com/v1/F-NIGHT-ECMA/simplicial-persistent-f2-interval-pairing
A topological-data test agent needs birth/death interval pairing across an explicitly filtered finite simplicial complex. Static Betti numbers at every time do not determine this pairing; no point-cloud inference or rendering.
Technische Prüfungen & Formate0,003 USDC
F NIGHT ECMA / sprague grundy finite game disjunctive sum
POSThttps://detect.halowerk.com/v1/F-NIGHT-ECMA/sprague-grundy-finite-game-disjunctive-sum
An offline combinatorial-game test agent needs exact nim-values and a winning move for a supplied disjunctive sum of finite impartial DAG positions. Not ordinary graph reachability or a subtraction-game parameter profile.
Technische Prüfungen & Formate0,003 USDC
F NIGHT ECMA / stallings folded subgroup word membership
POSThttps://detect.halowerk.com/v1/F-NIGHT-ECMA/stallings-folded-subgroup-word-membership
An algebra test agent needs exact membership in a finitely generated free subgroup, via a folded inverse automaton, without enumerating products of subgroup generators.
Technische Prüfungen & Formate0,003 USDC
F NIGHT ECMA / term rewrite variable apart critical pairs
POSThttps://detect.halowerk.com/v1/F-NIGHT-ECMA/term-rewrite-variable-apart-critical-pairs
A symbolic term-rewriting test agent needs the complete finite set of critical overlap equation pairs and its claimed cardinality from supplied first-order rewrite rules, including variable renaming apart and occurs-check rejection. Not a s
Technische Prüfungen & Formate0,003 USDC
F REST B15 / alternating integer matrix signed pfaffian
POSThttps://detect.halowerk.com/v1/F-REST-B15/alternating-integer-matrix-signed-pfaffian
Verify the exact signed Pfaffian of an entire supplied even alternating matrix.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / binary code complete syndrome minimum error weights
POSThttps://detect.halowerk.com/v1/F-REST-B15/binary-code-complete-syndrome-minimum-error-weights
Verify all coset decoding distances and tied leader multiplicities for a supplied binary parity-check matrix.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / complete dfa language minimal quotient
POSThttps://detect.halowerk.com/v1/F-REST-B15/complete-dfa-language-minimal-quotient
Verify all states and transitions of a language-minimal reachable deterministic automaton.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / context free grammar complete language finiteness
POSThttps://detect.halowerk.com/v1/F-REST-B15/context-free-grammar-complete-language-finiteness
Verify whether an entire supplied context-free grammar language is empty, finite or infinite before expansion.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / convex integer polygons exact rational intersection boundary
POSThttps://detect.halowerk.com/v1/F-REST-B15/convex-integer-polygons-exact-rational-intersection-boundary
Verify the complete exact boundary of the common region of two supplied strictly convex CCW polygons.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / directed flowgraph complete immediate dominators
POSThttps://detect.halowerk.com/v1/F-REST-B15/directed-flowgraph-complete-immediate-dominators
Verify the complete immediate-dominator parent vector of a supplied control-flow graph, not just dominance-frontier placements.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / directed graph exact hamiltonian cycle count
POSThttps://detect.halowerk.com/v1/F-REST-B15/directed-graph-exact-hamiltonian-cycle-count
Verify the exact number of directed Hamilton cycles of a complete supplied graph.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / finite poset complete weak order polynomial
POSThttps://detect.halowerk.com/v1/F-REST-B15/finite-poset-complete-weak-order-polynomial
Verify every coefficient of the weak order polynomial for a supplied finite poset.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / finite semigroup acceptance syntactic congruence quotient
POSThttps://detect.halowerk.com/v1/F-REST-B15/finite-semigroup-acceptance-syntactic-congruence-quotient
Verify the syntactic congruence classes and entire quotient multiplication of a supplied finite recognized semigroup.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / free noncommutative baker campbell hausdorff complete jet
POSThttps://detect.halowerk.com/v1/F-REST-B15/free-noncommutative-baker-campbell-hausdorff-complete-jet
Verify the complete rational noncommutative BCH jet before composing symbolic infinitesimal operators.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / integer matrix complete characteristic polynomial
POSThttps://detect.halowerk.com/v1/F-REST-B15/integer-matrix-complete-characteristic-polynomial
Verify every coefficient of a matrix characteristic polynomial before consuming a symbolic linear system.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / integer matrix exact permanent
POSThttps://detect.halowerk.com/v1/F-REST-B15/integer-matrix-exact-permanent
Verify the full exact permanent of an arbitrary supplied integer matrix when signs and multiplicities matter.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / lz4 complete block overlap and terminal literal decoding
POSThttps://detect.halowerk.com/v1/F-REST-B15/lz4-complete-block-overlap-and-terminal-literal-decoding
Verify the complete decompressed byte sequence of a supplied independent LZ4 block.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / planar integer sites box clipped rational voronoi cells
POSThttps://detect.halowerk.com/v1/F-REST-B15/planar-integer-sites-box-clipped-rational-voronoi-cells
Verify every complete box-clipped Euclidean Voronoi cell polygon for supplied anonymous planar sites.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / planar integer sites exact delaunay triangle family
POSThttps://detect.halowerk.com/v1/F-REST-B15/planar-integer-sites-exact-delaunay-triangle-family
Verify the complete Delaunay triangle index family of supplied general-position planar sites.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / rans exact whole symbol sequence integer state
POSThttps://detect.halowerk.com/v1/F-REST-B15/rans-exact-whole-symbol-sequence-integer-state
Verify exact rANS final state and inverse recovery for an entire bounded supplied symbol stream.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / rational bspline exact single knot insertion control net
POSThttps://detect.halowerk.com/v1/F-REST-B15/rational-bspline-exact-single-knot-insertion-control-net
Verify every new knot and control value after an interior B-spline knot insertion.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / rational formal series exact pade approximant
POSThttps://detect.halowerk.com/v1/F-REST-B15/rational-formal-series-exact-pade-approximant
Verify exact reduced numerator and denominator of a specified Pade approximation to a supplied rational formal jet.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / rational matrix moore penrose generalized inverse
POSThttps://detect.halowerk.com/v1/F-REST-B15/rational-matrix-moore-penrose-generalized-inverse
Verify the full rational Moore-Penrose inverse of a supplied matrix including rank-deficient rectangular cases.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / rational polynomial complete squarefree multiplicity decomposition
POSThttps://detect.halowerk.com/v1/F-REST-B15/rational-polynomial-complete-squarefree-multiplicity-decomposition
Verify every monic squarefree multiplicity block and leading coefficient of a supplied rational polynomial.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / rational square matrix drazin index inverse
POSThttps://detect.halowerk.com/v1/F-REST-B15/rational-square-matrix-drazin-index-inverse
Verify the full Drazin inverse and nilpotent index of a singular rational dynamical matrix.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / rational sylvester matrix equation unique solution
POSThttps://detect.halowerk.com/v1/F-REST-B15/rational-sylvester-matrix-equation-unique-solution
Verify the exact unique solution of an entire Sylvester matrix equation before a symbolic model transformation.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / simple graph complete maximal clique family
POSThttps://detect.halowerk.com/v1/F-REST-B15/simple-graph-complete-maximal-clique-family
Verify the full vertex family of maximal cliques so overlapping all-to-all groups retain their identities.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / snappy complete raw stream length copy decoding
POSThttps://detect.halowerk.com/v1/F-REST-B15/snappy-complete-raw-stream-length-copy-decoding
Verify the full decompressed byte sequence of a complete supplied raw Snappy stream.
Technische Prüfungen & Formate0,003 USDC
F REST B15 / weighted general graph perfect matching optimum multiplicity
POSThttps://detect.halowerk.com/v1/F-REST-B15/weighted-general-graph-perfect-matching-optimum-multiplicity
Verify global minimum weight and degeneracy of perfect pairings on a supplied general graph.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / boolean truth table prime implicant minimum dnf
POSThttps://detect.halowerk.com/v1/F-REST-B19/boolean-truth-table-prime-implicant-minimum-dnf
Verify all prime implicants and exact minimum DNF literal/term cost for a supplied complete truth table.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / connected graph complete minimum resolving set family
POSThttps://detect.halowerk.com/v1/F-REST-B19/connected-graph-complete-minimum-resolving-set-family
Verify metric dimension and the complete minimum landmark families that uniquely distinguish every vertex of a connected graph.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / cooperative tu game exact core extreme points
POSThttps://detect.halowerk.com/v1/F-REST-B19/cooperative-tu-game-exact-core-extreme-points
Verify the complete exact rational vertex family of the cooperative core of a supplied characteristic-function game.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / dag query d separation moral ancestral closure
POSThttps://detect.halowerk.com/v1/F-REST-B19/dag-query-d-separation-moral-ancestral-closure
Verify all supplied conditional-independence d-separation queries on one finite DAG before using a graphical model.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / disjunctive propositional program stable model family
POSThttps://detect.halowerk.com/v1/F-REST-B19/disjunctive-propositional-program-stable-model-family
Verify the complete stable-model family of an anonymous finite propositional disjunctive program.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / dung argumentation complete extension families
POSThttps://detect.halowerk.com/v1/F-REST-B19/dung-argumentation-complete-extension-families
Verify complete, preferred, stable and grounded extension families of one finite abstract attack framework.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / finite pair map yang baxter braid and nondegeneracy relations
POSThttps://detect.halowerk.com/v1/F-REST-B19/finite-pair-map-yang-baxter-braid-and-nondegeneracy-relations
Verify exact Yang-Baxter braid-relation failure count and structural axioms of a supplied finite pair map.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / finite set system complete vc shatter function
POSThttps://detect.halowerk.com/v1/F-REST-B19/finite-set-system-complete-vc-shatter-function
Verify exact finite VC dimension, every shattered subset and complete shatter-function values of an explicit binary concept family.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / nondegenerate two action bimatrix complete nash equilibria
POSThttps://detect.halowerk.com/v1/F-REST-B19/nondegenerate-two-action-bimatrix-complete-nash-equilibria
Verify every Nash equilibrium of a complete supplied nondegenerate two-player two-action integer-payoff game.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / rational binary bayesian network exact joint posterior
POSThttps://detect.halowerk.com/v1/F-REST-B19/rational-binary-bayesian-network-exact-joint-posterior
Verify exact evidence probability and every joint posterior cell in a supplied finite binary Bayesian network.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / simple graph complete minimum dominating set family
POSThttps://detect.halowerk.com/v1/F-REST-B19/simple-graph-complete-minimum-dominating-set-family
Verify domination number and all minimum closed-neighborhood coverage sets of a supplied anonymous graph.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / simple graph exact bandwidth optimum multiplicity
POSThttps://detect.halowerk.com/v1/F-REST-B19/simple-graph-exact-bandwidth-optimum-multiplicity
Verify optimal maximum edge span and optimum linear-order multiplicity for a complete supplied undirected graph.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / simple graph exact binary cut rankwidth
POSThttps://detect.halowerk.com/v1/F-REST-B19/simple-graph-exact-binary-cut-rankwidth
Verify the exact rank-width of an entire supplied undirected graph under binary cut-rank decompositions.
Technische Prüfungen & Formate0,003 USDC
F REST B19 / simple graph exact convex circular crossing minimum
POSThttps://detect.halowerk.com/v1/F-REST-B19/simple-graph-exact-convex-circular-crossing-minimum
Verify exact minimum chord-crossing count and optimum circular-order multiplicity of a supplied graph.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / bounded closed timed automaton exact zone location reachability
POSThttps://detect.halowerk.com/v1/F-REST-B20/bounded-closed-timed-automaton-exact-zone-location-reachability
Verify every reachable location of a supplied two-clock bounded timed automaton under continuous-time closed-guard semantics.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / connected graph baker norine exact divisor rank
POSThttps://detect.halowerk.com/v1/F-REST-B20/connected-graph-baker-norine-exact-divisor-rank
Verify the exact divisor rank on an arbitrary admitted finite connected graph before using graph Riemann-Roch computations.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / connected graph complete minimum geodesic hull generators
POSThttps://detect.halowerk.com/v1/F-REST-B20/connected-graph-complete-minimum-geodesic-hull-generators
Verify the hull number and every smallest geodesically convex-hull generator of a supplied connected graph.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite distributive lattice birkhoff ideal representation
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-distributive-lattice-birkhoff-ideal-representation
Verify the full join-irreducible poset and element-to-ideal representation of a supplied finite distributive lattice.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite group complete transitive burnside ring multiplication
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-group-complete-transitive-burnside-ring-multiplication
Verify the full integral multiplication table of the Burnside ring of a supplied finite group.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite group double coset indicator convolution algebra
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-group-double-coset-indicator-convolution-algebra
Verify every multiplication structure constant of the double-coset indicator convolution algebra of a supplied finite group/subgroup pair.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite group trivial f2 normalized second cohomology basis
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-group-trivial-f2-normalized-second-cohomology-basis
Verify full representative cocycles and exact H2 dimension for central F2 extensions of a supplied finite group.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite perfect information game complete pure subgame equilibria
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-perfect-information-game-complete-pure-subgame-equilibria
Verify the entire pure subgame-perfect strategy family of a supplied finite two-player perfect-information tree.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite poset complete dedekind macneille cut lattice
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-poset-complete-dedekind-macneille-cut-lattice
Verify the entire smallest complete cut lattice and embedding of a supplied finite poset.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite poset order ideal rowmotion complete orbits
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-poset-order-ideal-rowmotion-complete-orbits
Verify every rowmotion image and orbit on the order ideals of a supplied finite poset.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite rational channel blackwell stochastic garbling witness
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-rational-channel-blackwell-stochastic-garbling-witness
Verify exact Blackwell postprocessing feasibility and a complete rational garbling kernel between two supplied finite conditional channels.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite rational distributions exact stochastic dominance curves
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-rational-distributions-exact-stochastic-dominance-curves
Verify exact first/second stochastic dominance and both complete rational difference curves for two supplied finite probability laws.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite s5 public announcement common knowledge model
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-s5-public-announcement-common-knowledge-model
Verify truth worlds of nested knowledge/common-knowledge and public-announcement formulas on an anonymous finite epistemic model.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite simplicial complex optimal acyclic morse matching
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-simplicial-complex-optimal-acyclic-morse-matching
Verify the optimal discrete Morse critical-cell count and every optimum critical-dimension vector of a supplied finite simplicial complex.
Technische Prüfungen & Formate0,003 USDC
F REST B20 / finite total kripke ctl branching time satisfaction sets
POSThttps://detect.halowerk.com/v1/F-REST-B20/finite-total-kripke-ctl-branching-time-satisfaction-sets
Verify every CTL state satisfaction set of a supplied total finite branching-time model.