Meridia Insight Tech for Good Frontiers

The Math That Could Keep the Lights On: A New Theory of Inverter Stability

Power engineers have long lacked a complete mathematical test for whether inverter-based grids stay stable. A new result closes that gap—and shows why cycles in

Until now, engineers could only guarantee inverter grid stability—not prove it. A new mathematical result changes

When Two Inverters Whisper and the Grid Listens

In a small town in Germany's Ruhr Valley, a solar farm feeds power into the local grid through a pair of inverters—devices that convert the panels' direct current into the alternating current that homes and factories need. For years, these inverters operated without incident, their dynamics invisible to the engineers monitoring the broader network. Then, one afternoon when demand spiked and the sun dimmed behind passing clouds, something unexpected happened: the inverters began oscillating against each other, their frequencies drifting apart like two clocks that had forgotten they were once synchronized. Within seconds, the oscillations grew. Within a minute, protective systems tripped. Within minutes, engineers were sifting through oscilloscope recordings trying to understand what had gone wrong.

This scenario—imagined but grounded in real events—is becoming less unusual as power grids transform. The machines that once dominated electricity networks, the hulking synchronous generators spinning at precisely 50 or 60 hertz, are being supplanted by inverter-based resources: solar panels, wind turbines, battery storage systems, and the converters that connect them all. These devices are smaller, cheaper, and far more flexible than their mechanical predecessors. They also behave differently. And for the past decade, power engineers have been wrestling with a fundamental question: how do you guarantee that a grid full of inverters will stay stable?

A new paper by Bačić, Niehues, Böttcher, Dieball, and Gorjão offers an answer that has eluded researchers for years—a necessary and sufficient criterion for small-signal stability in inverter-based power grids. Previous approaches could tell you "if your grid satisfies condition X, it will definitely be stable." That's valuable, but it leaves a gap: a grid that fails condition X might still be stable, and there's no way to know. The new result closes that gap. For the first time, engineers have a mathematical test that is both complete and exact: if your grid passes, it's stable; if it fails, it's unstable. No ambiguity. No hidden cases lurking beyond the sufficient condition's reach.

The finding matters because the energy transition depends on getting this right. As synchronous generators retire, inverters must take over not just power production but also the invisible work of keeping the grid synchronized—maintaining that sacred 50 or 60 hertz frequency that everything on the network expects. Grid operators need tools to certify that their systems will hold together under stress. Regulators writing new grid codes need mathematical foundations that actually work. And the teams designing the control software for the next generation of inverters need to know, with certainty, that their devices will play well with others.


The Science

The study emerged from a collaboration spanning four German research institutions plus the Open University of the Netherlands and the Norwegian University of Life Sciences—a group that combines expertise in power systems engineering, theoretical physics, and applied mathematics. The work sits at the intersection of control theory, graph theory, and the physics of oscillator networks, drawing on traditions that trace back to the foundational Kuramoto model of synchronized systems.

Small-signal stability is, at its core, a question about what happens when you nudge a system slightly off equilibrium. Imagine the grid operating at some steady state: all generators spinning at the nominal frequency, all inverters producing their target power, voltages holding steady within acceptable bounds. Now introduce a small perturbation—a brief spike in demand, a flicker in solar output, a transmission line that trips offline for a few cycles before reclosing. Small-signal stability asks: does the system return to its original operating point, or do those small perturbations grow into large oscillations that eventually cascade into instability?

For traditional power systems dominated by synchronous generators, this question has been studied extensively. The machines' large rotating masses act as buffers, absorbing and dampening oscillations. The mathematics is well-established, and utility engineers have decades of experience applying it.

Inverter-based resources are different. They lack those heavy rotating masses. Their dynamics are governed by control software rather than physical inertia, and they can respond to disturbances in microseconds rather than the seconds that synchronous generators require. This speed can be an advantage—it allows inverters to correct deviations quickly—but it also creates new types of instability that don't arise in conventional machines. The most dangerous involve interactions between multiple inverters, where one device's response triggers a reaction from another, which triggers another, building into oscillations that can grow faster than protective systems can respond.

The researchers focused on a specific class of inverters: those implementing droop control. Droop is a simple principle borrowed from synchronous generators. Just as a generator's throttle automatically adjusts based on frequency deviations—more load causes a frequency drop, which opens the throttle—inverter droop links power output to local measurements. Active power droop adjusts the inverter's frequency reference based on the active power it produces or consumes. Reactive power droop adjusts the voltage reference based on reactive power flow. The goal is decentralized coordination: each device responds only to what it measures locally, without requiring communication with a central controller.

But droop control in inverters involves additional complexity. The researchers modeled inverters with qq-VV dynamics—meaning the reactive power droop acts on voltage magnitude, while the active power droop governs frequency. This captures the behavior of real grid-forming inverters, which must regulate both frequency and voltage while responding to power imbalances in real time.

To analyze stability, the team linearized the system around a steady operating point. Linearization reduces a complex nonlinear system to one that is locally approximated by matrices—mathematical objects that capture how small changes in one variable propagate to changes in others. The analysis is valid only for small perturbations, but it captures the mechanisms that initiate the instability that, once started, grows large.

The crucial step in the analysis was transforming the system equations in a way that shifted part of the device dynamics to the network side. This "loop-shift" technique, previously developed by some of the same authors, makes both the inverters and the network passive—a property that guarantees energy dissipation and, ultimately, stability. With passivity established, the stability question reduces to checking whether a single matrix remains positive definite.

Positive definiteness is a concept from linear algebra: a matrix is positive definite if, roughly speaking, it always pushes in the same direction. More precisely, if you multiply the matrix by any nonzero vector and then take the dot product with that vector, the result is always positive. Positive definite matrices correspond to systems that store energy rather than generating it—they can't create oscillations out of nothing. If the matrix governing the grid's linearized dynamics is positive definite, small perturbations decay; if it loses positive definiteness, instability lurks.

The matrix in question—denoted Ξ in the paper—combines three ingredients that are usually analyzed separately: the network topology (which nodes are connected to which), the operating point (how heavily loaded each transmission line is), and the effective droop gains of the inverters. This integration is what makes the result powerful. It shows, in one mathematical expression, how these three factors jointly determine stability.


What They Found

The core result is Theorem 1 in the paper: the linearized closed-loop system is asymptotically stable if and only if the matrix Ξ is positive definite on the subspace perpendicular to the uniform phase mode. This is the necessary and sufficient condition that the field has been seeking. It tells you exactly when a grid will be stable, without false negatives or false positives.

But the matrix Ξ is a global object—it depends on the entire network simultaneously. In practice, grid operators need criteria that can be checked locally, using only information available at individual nodes or along individual transmission lines. Checking global positive definiteness requires solving an eigenvalue problem for the whole system, which becomes computationally intensive as networks grow.

This is where the graph-theoretic perspective proves illuminating. The researchers showed that Ξ can be decomposed into two parts: a component that depends only on the tree-like (acyclic) structure of the network, and a correction term that captures the contribution of cycles. The tree part corresponds to a graph-theoretic condition on what the authors call the "augmented cone graph"—a construction that embeds both phase and voltage dynamics into a unified geometric picture. The cycle contribution represents the stabilizing (or destabilizing) effect of meshed network topology.

For practical power grids, the cycle contribution turns out to be small. The researchers tested their framework on three standard test cases from the IEEE (Institute of Electrical and Electronics Engineers): the 9-bus test case representing a small transmission network, the 30-bus case for a medium-sized regional grid, and the 118-bus case approximating a large interconnected system. In all three cases, the cycle correction changed the predicted stability boundary by only a few percent. The exact condition and the tree-based sufficient condition yielded nearly identical stability thresholds.

This finding has practical consequences. It means that for typical transmission networks, engineers can use decentralized sufficient criteria—the tree-based conditions that rely only on local node and edge properties—without worrying that they're missing important effects from the network's meshed topology. The sufficient criteria are conservative (they may reject some stable configurations as unstable), but the gap between sufficient and necessary is narrow in real networks.

The decomposition also clarifies why decentralized criteria become conservative. When criteria are applied locally, they implicitly assume that cycles don't matter—that the network's behavior can be analyzed one edge at a time. In real networks, cycles provide alternative paths for disturbances to propagate and damp. By ignoring these paths, decentralized criteria penalize configurations that are actually stable but appear marginal when cycles are neglected.

Stability regions for two identical inverters

Stability boundary as a function of phase angle difference and reactive droop gain for two-inverter system

Stability regions for two identical inverters
LabelValue
0.01
0.20.98
0.40.94
0.60.88
0.80.8
1.00.68

One of the paper's key visualizations (

Figure 3: 
Stability regions for two identical inverters.
We show the upper limit for the effective reactive droop gain k1q=k2q=kqk_{1}^{q}=k_{2}^{q}=k^{q} as a function of cos⁡(Δ​θ12∘)\cos(\Delta\theta_{12}^{\circ}).
Linear stability is guaranteed below the curves.
For the current system, the exact result from theorem 2 (black solid line) coincides with the sufficient local stability certificate from corollary 3.
Figure 3: Stability regions for two identical inverters. We show the upper limit for the effective reactive droop gain k1q=k2q=kqk_{1}^{q}=k_{2}^{q}=k^{q} as a function of cos⁡(Δ​θ12∘)\cos(\Delta\theta_{12}^{\circ}). Linear stability is guaranteed below the curves. For the current system, the exact result from theorem 2 (black solid line) coincides with the sufficient local stability certificate from corollary 3. Source: Iva Bačić, Jakob Niehues

) illustrates this for the simplest possible case: two identical inverters connected by a single transmission line. The plot shows the stability region as a function of two parameters: the effective reactive droop gain (denoted k^q) and the cosine of the phase angle difference between the two inverters (cos(Δθ₁₂°)). Above the stability boundary, the system is guaranteed unstable; below it, the exact analysis shows it is stable. The curve derived from the exact necessary-and-sufficient condition coincides exactly with the curve from the sufficient local criterion—which means that for this two-inverter system, decentralization introduces no conservatism at all. The sufficient criterion is tight.

Cycle correction impact on stability margins

Percentage increase in admissible droop gain when cycle correction is included

Cycle correction impact on stability margins
LabelValue
IEEE 9-bus3
IEEE 30-bus10
IEEE 118-bus7

For the larger IEEE test cases, the cycle correction matters slightly more but remains small. The middle row of the second key figure (

Figure 4: 
Comparison of stability certificates and relevance of cycle contribution 𝚼cycle=𝚼^−𝚼{\boldsymbol{\Upsilon}}_{\rm cycle}=\hat{{\boldsymbol{\Upsilon}}}-{\boldsymbol{\Upsilon}} for lossless and shuntless IEEE Cases 9, 30, and 118.
The loading factor pfp_{f} is varied by scaling active power injections at all buses and reactive power setpoints at PQ buses.
For each curve, values below the curve are certified stable by the corresponding condition.
The top row shows the critical values of the reactive power droop gain k¯q\bar{k}^{q} for each IEEE case.
At the plotted threshold, PV/slack buses have kiq=k¯critqk_{i}^{q}=\bar{k}^{q}_{\rm crit}, while PQ buses have kiq=0.1​k¯critqk_{i}^{q}=0.1\bar{k}^{q}_{\rm crit}.
The row below shows the maximum angle difference over all edges in the sparse network.
The middle row shows the cycle contributions, i.e. the spectrum of 𝚼cycle{\boldsymbol{\Upsilon}}_{\rm cycle} and the projection 𝒙min⊤​𝚼cycle​𝒙min{\boldsymbol{x}}_{\min}^{\top}{\boldsymbol{\Upsilon}}_{\rm cycle}{\boldsymbol{x}}_{\min}, where 𝒙min{\boldsymbol{x}}_{\min} is the direction in which 𝚼{\boldsymbol{\Upsilon}} loses positive definiteness as the scalar droop gain k¯q\bar{k}^{q} is increased.
The lowest row shows the relative increase in the admissible value of k¯q\bar{k}^{q} due to the cycle correction, comparing k¯critq​(𝚼^)\bar{k}^{q}_{\rm crit}(\hat{{\boldsymbol{\Upsilon}}}) with k¯critq​(𝚼)\bar{k}^{q}_{\rm crit}({\boldsymbol{\Upsilon}}).
Although 𝚼cycle{\boldsymbol{\Upsilon}}_{\rm cycle} is not necessarily small, its projection onto the limiting mode is often much smaller than its leading eigenvalues, explaining why the cycle correction only weakly changes the certified stability boundary.
Consequently, the critical values of the droop gain k¯q\bar{k}^{q} in the exact condition 𝚼^≻0{\boldsymbol{\hat{\Upsilon}}}\succ 0 and the sufficient condition 𝚼≻0{\boldsymbol{\Upsilon}}\succ 0 are very similar.
Figure 4: Comparison of stability certificates and relevance of cycle contribution 𝚼cycle=𝚼^−𝚼{\boldsymbol{\Upsilon}}_{\rm cycle}=\hat{{\boldsymbol{\Upsilon}}}-{\boldsymbol{\Upsilon}} for lossless and shuntless IEEE Cases 9, 30, and 118. The loading factor pfp_{f} is varied by scaling active power injections at all buses and reactive power setpoints at PQ buses. For each curve, values below the curve are certified stable by the corresponding condition. The top row shows the critical values of the reactive power droop gain k¯q\bar{k}^{q} for each IEEE case. At the plotted threshold, PV/slack buses have kiq=k¯critqk_{i}^{q}=\bar{k}^{q}_{\rm crit}, while PQ buses have kiq=0.1​k¯critqk_{i}^{q}=0.1\bar{k}^{q}_{\rm crit}. The row below shows the maximum angle difference over all edges in the sparse network. The middle row shows the cycle contributions, i.e. the spectrum of 𝚼cycle{\boldsymbol{\Upsilon}}_{\rm cycle} and the projection 𝒙min⊤​𝚼cycle​𝒙min{\boldsymbol{x}}_{\min}^{\top}{\boldsymbol{\Upsilon}}_{\rm cycle}{\boldsymbol{x}}_{\min}, where 𝒙min{\boldsymbol{x}}_{\min} is the direction in which 𝚼{\boldsymbol{\Upsilon}} loses positive definiteness as the scalar droop gain k¯q\bar{k}^{q} is increased. The lowest row shows the relative increase in the admissible value of k¯q\bar{k}^{q} due to the cycle correction, comparing k¯critq​(𝚼^)\bar{k}^{q}_{\rm crit}(\hat{{\boldsymbol{\Upsilon}}}) with k¯critq​(𝚼)\bar{k}^{q}_{\rm crit}({\boldsymbol{\Upsilon}}). Although 𝚼cycle{\boldsymbol{\Upsilon}}_{\rm cycle} is not necessarily small, its projection onto the limiting mode is often much smaller than its leading eigenvalues, explaining why the cycle correction only weakly changes the certified stability boundary. Consequently, the critical values of the droop gain k¯q\bar{k}^{q} in the exact condition 𝚼^≻0{\boldsymbol{\hat{\Upsilon}}}\succ 0 and the sufficient condition 𝚼≻0{\boldsymbol{\Upsilon}}\succ 0 are very similar. Source: Iva Bačić, Jakob Niehues

) shows the spectrum of the cycle correction matrix for each case—that is, the range of its eigenvalues. While the cycle matrix has nonzero eigenvalues (sometimes quite large ones), those eigenvalues mostly point in directions that don't affect the critical stability boundary. The bottom row quantifies the effect: the relative increase in the admissible droop gain when the cycle correction is included ranges from about 3% for the 9-bus case to roughly 10% for the 30-bus case. The 118-bus case shows similar modest gains. In all cases, the sufficient tree-based criterion captures nearly all of the exact stability boundary.

The results also illuminate the relationship between network stress and stability margins. As loading increases—more power flowing through the same transmission infrastructure—the maximum stable droop gain decreases. This is intuitive: heavily loaded lines are more sensitive to perturbations, and the phase angle differences across them are larger, leaving less room for error before instability ensues. The transition is smooth for all three IEEE cases, with no sharp thresholds or surprising non-monotonicities.


Why This Changes Things

The gap between necessary and sufficient criteria has been a persistent irritant in power systems research. Consider the analogy: a sufficient condition is like a building code that says "if your building has sprinklers, it will be fire-safe." That's useful, but it doesn't tell you what to do if your building doesn't have sprinklers. It doesn't distinguish between a building that's genuinely safe and one that's unsafe but happens to have sprinklers anyway. A necessary and sufficient condition is like a complete inspection that evaluates everything and gives a definitive verdict.

For inverter-based grids, the field has accumulated a library of sufficient stability criteria over the past decade. There's the ℋ∞ criterion, which frames stability as a problem in robust control. The secant/Popov criterion, borrowed from absolute stability theory. The mixed gain-phase criterion, the graphical separation of projected Davis-Wielandt shells, the loop-shifted passivity framework. Each has its strengths and weaknesses, its domain of applicability and its blind spots. But none of them tells you the complete story.

The new result provides that complete story. More importantly, it provides a framework for understanding how the existing sufficient criteria relate to the exact condition. The decentralized sufficient criteria in the literature—particularly the voltage-droop criterion developed by Niehues and colleagues in earlier work—reappear as more conservative special cases of the exact condition. They are implied by the new theorem: if the exact condition holds, then the sufficient criteria certainly hold, but not vice versa.

This has practical implications for grid code development. Grid codes are the regulations that define what generators and other resources must do to connect to the network. They specify everything from voltage ride-through capability to reactive power support to the settings for protection relays. As inverter-based resources grow, grid codes are being revised to require grid-forming capability—the ability of inverters to regulate frequency and voltage autonomously, without relying on synchronous generators to establish the grid's reference.

But grid codes need mathematical backing. Regulators don't want to write requirements that are technically impossible to meet or that would exclude perfectly stable configurations. The new framework gives them that backing. The positive definiteness condition is a single mathematical test that can be applied to any proposed operating point, any network topology, any set of droop settings. It doesn't require knowing the entire system simultaneously—modern numerical methods can check positive definiteness efficiently even for large networks—but it provides the definitive answer once the computation is done.

The graph-theoretic perspective is perhaps the most intellectually satisfying aspect of the result. By recasting stability in terms of the augmented cone graph, the researchers connect the engineering problem of power grid stability to the mathematical language of cycles, cuts, and Laplacian matrices. This isn't mere abstraction: it suggests new ways of thinking about grid design. If cycles are generally stabilizing, should network planners aim for highly meshed topologies? If certain edge configurations are particularly risky, can they be identified and avoided without full system simulation? The graph-theoretic view makes these questions tractable.

The finding also resonates with broader themes in complex systems research. The stabilizing role of cycles in oscillator networks has been documented in the physics literature for decades—it's well known that adding redundant connections can suppress instabilities in coupled systems. The new paper provides a precise, quantitative version of this intuition for power grids specifically. The cycle correction isn't just a qualitative hedge; it's a well-defined matrix whose eigenvalues can be computed and whose effect on stability can be bounded.

There's a subtlety worth noting: the analysis assumes a lossless network. In reality, transmission lines have resistance, and power flows generate real losses that must be continuously replenished. The researchers acknowledge this limitation and note that extending the framework to lossy networks is a "natural route" for future work. However, the lossless assumption is well-motivated. At transmission voltages—which is where stability concerns are most acute—lines are predominantly inductive, meaning reactive power flow dominates over resistive losses. The lossless case captures the essential dynamics while remaining analytically tractable.

The assumption of arbitrary topology is important. Earlier exact results applied only to highly restricted graph structures—trees (networks with no cycles), single cycles, or cacti (networks where any two cycles share at most one edge). The new result removes these restrictions. Real power grids are complex meshed networks with many interconnections; the fact that the necessary and sufficient condition holds for any topology means it can be applied to actual systems without topological approximations.


What's Next

The immediate next step is numerical validation on larger and more diverse network models. The IEEE test cases are standard benchmarks, but they represent idealized snapshots of specific networks at specific operating points. Real grids vary over time, with topology changes as lines are switched in and out for maintenance, with operating points shifting as demand and generation fluctuate, and with equipment parameters aging and drifting. Testing the framework on time-varying scenarios will be essential for building confidence in its practical applicability.

Extending to lossy networks is the most obvious theoretical avenue. The lossless assumption simplifies the mathematics considerably—the network dynamics become linear in the relevant coordinates—but real systems have nonzero resistance. The researchers suggest that a constant R/X ratio (where R is resistance and X is reactance) may be the natural setting for extending the framework, which would still cover most practical cases since many transmission planning tools assume fixed R/X ratios for short-circuit analysis.

Hardware-in-the-loop testing will be crucial for validation. Modern test facilities can connect physical inverters to real-time digital simulators that model the rest of the network, allowing researchers to probe stability boundaries under controlled conditions. If the mathematical predictions match the experimental observations, it would provide compelling evidence that the framework captures the essential physics.

One open question concerns the role of heterogeneous device models. The analysis assumes that all inverters implement the qq-VV droop structure—reactive power droop controlling voltage magnitude. Real inverter control schemes vary widely: some implement different droop laws, some use more sophisticated model-predictive control, some prioritize harmonic distortion mitigation over fundamental-frequency stability. The framework requires that the modified transfer function satisfy certain passivity conditions, which hold for droop-controlled inverters and are expected to hold under "sufficiently small perturbations" to other control structures. But the boundary of this robustness guarantee is not yet well-characterized.

The relationship between the necessary-and-sufficient condition and existing stability tools also deserves exploration. Grid planners already use software packages that perform eigenvalue analysis, time-domain simulation, and modal analysis to assess stability margins. The new result provides a theoretical foundation for interpreting these tools' outputs and for developing improved numerical algorithms. If the positive definiteness of Ξ is equivalent to stability, then any numerical instability in checking Ξ's eigenvalues is a numerical issue, not a conceptual one—and numerical issues can be addressed with better algorithms.

Finally, the work opens questions about the design of future grids. If cycles are generally stabilizing, how many cycles are enough? Is there a threshold topology—some minimum cycle density—that guarantees stability regardless of operating point? Conversely, are there topological configurations that are intrinsically fragile, where even modest perturbations can trigger oscillations? The graph-theoretic perspective suggests that these questions, previously intractable, may now be approachable using the tools of algebraic graph theory.


The Bigger Picture

The inverter is a deceptively simple device. It converts direct current to alternating current—that's all. But in doing so, it decouples electricity production from the rigid physics of rotating machinery. Solar panels need no spinning turbine. Wind turbines can use gearboxes or direct-drive designs optimized for efficiency rather than inertia. Batteries sit inert until commanded to discharge. The inverter is the translator between the world of power electronics and the world of the AC grid, and its flexibility is both its promise and its challenge.

The promise is decarbonization. Solar and wind are now the cheapest sources of new electricity generation in most of the world, and their costs continue to fall. Battery storage is following a similar trajectory. The inverter is the gateway through which all this cheap, clean energy enters the grid. Without functional inverters, the energy transition stalls.

The challenge is that the grid was designed around synchronous generators. Its stability margins, its protection schemes, its operating procedures—all were calibrated for machines with massive rotating masses and well-understood dynamics. Inverters have none of these properties. They are fast, precise, and programmable, but they are also lightweight and dependent on software. When millions of them populate the grid, their collective behavior becomes a systems-level problem that cannot be solved by inspecting any single device in isolation.

This is why the theoretical result matters beyond the mathematics. The energy transition is not just an engineering project; it is a transformation of infrastructure that billions of people depend on. Every blackout costs money, damages equipment, and erodes confidence. Every instability that goes undetected until it cascades into a wide-area outage delays the retirement of fossil-fueled generators that grid operators keep online "just in case." The more precisely engineers can characterize stability, the more confidently they can operate grids with high penetrations of inverter-based resources—and the faster they can retire the thermal plants that currently provide the inertia and short-circuit power that keep the system stable.

The researchers have given the field a new language for talking about stability. The necessary-and-sufficient condition is not just a mathematical curiosity; it is a tool for reasoning about grids that have never existed before, for configurations of generation and load that current operating experience doesn't cover. The graph-theoretic decomposition—tree plus cycles—is an intuition pump, a way of seeing how local properties and global topology interact to determine whether a perturbation grows or decays.

Whether this framework becomes the foundation for the next generation of grid codes, or simply a lens through which existing criteria are understood, remains to be seen. But it marks a milestone: the first complete characterization of small-signal stability for inverter-based grids with arbitrary topology, heterogeneous droop gains, and qq-VV voltage dynamics. It closes a gap that has been open for over a decade, and it does so with a clarity that should make it accessible to researchers and engineers alike.

The two inverters in our imagined scenario—the ones that began oscillating when the clouds passed—are still out there, in countless installations across the world, connected to grids that are growing stranger by the year. Understanding their dynamics isn't just an academic exercise. It's a prerequisite for the stable, low-carbon energy system that the climate crisis demands. And now, at least in theory, we know exactly what to look for.

"If asymptotic stability is equivalent to the positive definiteness of a single matrix, then any numerical instability in checking that matrix's eigenvalues is a numerical issue, not a conceptual one—and numerical issues can be addressed."

Comments (0)

No comments yet. Be the first to share your thoughts.