{"id":"d040ca58-6377-44c7-9a48-3e8ca2f0b452","arxiv_id":"2411.16573","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An open-source MATLAB tool derives symbolic closed-form expressions for displacements, reactions, and axial forces in arbitrary 2D trusses under point loads.","lead":"This paper presents a free MATLAB program that automatically writes out exact algebraic formulas for how a 2D truss bends and carries loads, instead of only giving numbers. The formulas make it easy to see how changing a truss's length, stiffness, or load affects its behavior, which is useful for teaching and quick design checks.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Table 20 contradicts the full-agreement claim: elements 5 and 6 have opposite signs between the symbolic expressions and SAP2000, so the central validation evidence is internally inconsistent.","rationale":"The reader's weakest_assumption focuses on whether SAP2000 with a large shear-area modifier provides an exact reference solution under the same Euler-Bernoulli assumptions. That is a reasonable concern, but it is not the most load-bearing issue for this paper. For ideal truss elements, shear deformation is typically not active at all, so the shear-area modifier may be irrelevant, and the more direct problem is visible inside the paper's own validation table: Table 20 shows element 5 and element 6 with identical magnitudes but opposite signs between the symbolic results and the SAP2000 results, despite the text claiming perfect agreement. This is an internal inconsistency, not a disagreement with an external convention, and it directly undermines the 'full agreement' assertion that the abstract and conclusions repeat. The paper has genuine independent support: the method is textbook MSA, the code is openly available, and the Example 5 displacement matches Tinkov's closed-form formula, which is a strong check. Therefore the central methodological claim is plausible and likely correct. However, because the validation section as written contains a sign contradiction and a mislabeled table, the paper is not ready to be accepted as fully supporting its headline claim. The reader's CONDITIONAL verdict remains appropriate: the issues are concrete and fixable, but the validation evidence must be corrected or clarified before the claim of full agreement can be taken at face value. I therefore do not move the verdict; I retain CONDITIONAL and recommend the authors re-run and re-report the Table 20 comparison.","tokens_in":16741,"tokens_out":9903,"duration_ms":92176,"concrete_test":"Run the supplied MATLAB code for Example 3 with P=100, L=8, H=6, and EA=8e4, and independently compute N5 and N6 by hand from node equilibrium using the geometry in Figure 5; then compare with both columns of Table 20. If the program reproduces the symbolic column's signs while the hand equilibrium or SAP2000 gives opposite signs, the 'identical' validation claim is false and Section 7.1 must be corrected. If the program instead matches SAP2000's signs, the symbolic column in Table 20 is misreported. This single check distinguishes a presentation/transcription error from a genuine sign error in the code or formulas.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 7.1 states that SAP2000 results 'matched perfectly' and Table 20 presents 'identical' element axial forces, yet rows 5 and 6 show exactly opposite signs: the symbolic column gives -90.1388 and +90.1388, while the SAP2000 column gives +90.138 and -90.139. The magnitudes agree, but the signs are reversed. Because the paper defines positive axial force as tension and the other rows in the same table match in sign, this cannot be dismissed as a global convention difference. Either the symbolic expressions for one of these elements have the wrong sign, or the SAP2000 column entries are misreported or transposed. In either case, the displayed evidence does not support the assertion of full agreement, and the validation section as written cannot certify the symbolic results. Table 21 compounds the problem by labeling a comparison of Example 4 displacements as 'Example 3.' The underlying MSA formulation is standard and is likely correct—and the agreement with Tinkov's Eq. (7) is independent supporting evidence—but the paper's central claim rests on the validation tables, and those tables are internally inconsistent as printed.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents a MATLAB program that performs symbolic Matrix Structural Analysis (MSA) for plane trusses under point loads, producing analytical expressions for nodal displacements, support reactions, and element axial forces. The methodology is standard MSA: the element stiffness matrix is derived symbolically, assembled globally, and solved with MATLAB's Symbolic Math Toolbox. The program is open-source and validated against SAP2000, EngiLab Truss.2D, and a published analytical formula by Tinkov. The paper also discusses sensitivity analysis via symbolic differentiation and reflects on the trade-off between expression complexity and practical usability.","tokens_in":27,"tokens_out":6709,"duration_ms":100324,"significance":"If the results are correct, this open-source tool has genuine educational and parametric-study value: it provides exact, interpretable formulas for truss behavior and enables direct sensitivity analysis without re-running numerical simulations. The validation approach—comparison against two commercial FEM packages and a literature formula—is appropriate in principle, and the use of a symbolic toolbox provides a form of machine-checkable derivation. The contribution is incremental rather than groundbreaking, and the manuscript's central claim of 'full agreement' is currently undermined by inconsistencies in the validation tables as printed.","major_comments":[{"comment":"The central validation claim is not supported by Table 20. For elements 5 and 6, the numeric values of the symbolic expressions are -90.1388 and +90.1388, respectively, while the SAP2000 results are +90.138 and -90.139. The magnitudes agree but the signs are reversed in the same table, and the text states that 'the results are identical, apart from minor differences in decimals.' Because positive axial force is defined as tension and the other rows agree in sign, this cannot be dismissed as a global convention difference. As printed, the table either contains a transcription error, the SAP2000 data are misassigned, or the symbolic expressions for elements 5 and 6 have incorrect signs. In any case, the displayed evidence contradicts the full-agreement claim. The authors must correct the table or the surrounding text and re-verify Example 3 before the validation can be accepted.","section":"§7.1, Table 20"},{"comment":"Table 21 is captioned as 'Node displacements for Example 3 ... Comparison with EngiLab Truss.2D Pro,' but the text in §7.2 states that the validation is for the fourth example. The displacement values listed (Node 6, 7, 9, 11) match those in Table 14 for Example 4, so the caption is a mislabel. This cross-reference error, combined with the Table 20 problem, makes the validation section unreliable as written. The authors should correct the caption and audit all example numbers throughout §7.","section":"§7.2, Table 21"},{"comment":"Many analytical expressions are garbled by typesetting or OCR artifacts: square-root radicals are missing or misplaced in Tables 3, 7, 11, 13, 14, 17, and 19 (e.g., Table 13 element 5 appears as '224\\n2\\nP H L\\nL\\n+−' and Table 17 Node 6 Dy appears as '10( ) 2 3'), and the matrices in Tables 2, 6, and 10 are not rendered correctly. Because the paper's contribution is precisely these analytical expressions, this is not merely cosmetic: readers cannot verify or reuse the formulas. Please provide a clean, correctly typeset version of all equations and tables and check that every radical and fraction is unambiguous.","section":"§6, Tables 3–19 and §8, Eqs. (9)–(11)"}],"minor_comments":[{"comment":"The sentence 'The third numerical example is the truss shown in Figure 4' should refer to Figure 5, which depicts the 5-node, 7-element truss of Example 3. Also, 'Table 6 shows the details of the model' should be 'Table 10.'","section":"§6.3"},{"comment":"The sentence 'The truss is shown in Figure 6' should refer to Figure 7, the truss taken from Tinkov's work. The current text points the reader to the wrong figure.","section":"§6.5"},{"comment":"The caption of Figure 1 reads '2D Euler–Bernoulli beam element with 6 DOFs,' but the figure and the accompanying text describe a 2D truss element with two local axial DOFs. This caption is inconsistent with the element being defined in Eq. (1).","section":"§3, Figure 1 caption"},{"comment":"The statement that SAP2000 'includes shear deformations by default in all frame and truss models' is imprecise, and the role of the shear-area modifier (set to 10^6) deserves clarification, because axial forces in a truss are generally independent of shear flexibility and the modifier primarily affects displacements. Please specify which output quantities are sensitive to this adjustment.","section":"§7.1"},{"comment":"The self-citation to Part 1 (reference [4]) is used for continuity and is not load-bearing, but if Part 1 is still an arXiv preprint rather than a peer-reviewed publication, the paper should state its status so readers can find it.","section":"§2, Reference [4]"}],"recommendation":"major_revision","confidential_remarks":"This is a software- and education-oriented contribution whose novelty is modest relative to the existing symbolic-MSA literature, but the open-source code and the presented examples could be genuinely useful for teaching and parametric studies. The main blocker is the validation-section inconsistency in Tables 20 and 21: the printed evidence contradicts the 'full agreement' claim. The underlying MSA formulation is standard and likely correct, and the agreement with Tinkov's formula in §7.3 is independent supporting evidence, so the issues appear fixable rather than fatal. I would ask the authors to correct or re-run the SAP2000 and EngiLab comparisons, re-typeset all formulas cleanly, and then reconsider the paper for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou should know two things about this paper before reading it: it ships a genuinely usable open-source MATLAB tool for deriving closed-form truss solutions, and it has a validation table with a sign error that contradicts the paper's 'perfect agreement' claim. Both matter.\n\nThe contributions are real but modest. The symbolic stiffness matrix and assembly are textbook MSA, and the paper cites the relevant prior work in Maple, Mathematica, and Maxima. What is new is the clean MATLAB implementation, the automation of symbolic inversion and differentiation, and the five worked examples. The closed-form expressions in Tables 3, 7, 11, 14, and 16 are not in the cited literature as far as I can tell, and the match with Tinkov's formula for the central node displacement in Example 5 is independent supporting evidence that the engine is doing the right thing.\n\nThe soft spot is the validation section. Table 20 compares element axial forces for Example 3 with SAP2000. The text says the results are 'identical,' but rows 5 and 6 show opposite signs: the symbolic values are -90.1388 and +90.1388, while SAP2000 lists +90.138 and -90.139. The magnitudes match, but the signs are reversed. Because the paper defines positive as tension and the other rows agree in sign, this is not a global convention difference. Either the symbolic expressions for one of those two elements have the wrong sign, or the SAP2000 column entries were transposed or miscopied. In either case, the printed evidence does not support the 'full agreement' assertion. Table 21 also is labeled Example 3 when it is clearly the Example 4 displacement comparison. These are fixable, but they need to be fixed before publication, and the authors should re-check all validation tables, not just the ones shown.\n\nI want to be clear that I do not think the paper is actually wrong in its central claims. The MSA formulation is standard, the code is available for inspection, and the Tinkov match is a strong external check. The sign discrepancy is most likely a table entry error. But the paper asks the reader to trust its validation, and one visible inconsistency is enough to make a careful referee demand a revision.\n\nWho is this for? Mostly educators, students, and practitioners who want to teach or explore truss behavior with exact expressions. It is not a theoretical advance, and it does not solve an open problem. It is a well-documented tool with a few presentation flaws.\n\nMy recommendation: send it to peer review, but as a major revision. The authors need to correct the sign issue, verify the SAP2000 and EngiLab comparisons for all examples, and fix the table mislabeling. If they do that, it is a reasonable contribution to the engineering education/tools literature.","headline":"A useful open-source symbolic MSA tool, but the 'full agreement' validation claim is undercut by a sign mismatch in Table 20 that the authors need to fix.","tokens_in":17462,"tokens_out":2320,"would_cite":false,"duration_ms":19700,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["74S05","68W30"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that a single open-source symbolic analysis program can turn any 2D truss under point loads into exact closed-form expressions for displacements, reactions, and axial forces, with full agreement against commercial finite…","keywords":["matrix structural analysis","symbolic computation","plane trusses","closed-form solutions","sensitivity analysis","analytical solutions"],"falsifier":"Run the program on a truss with a known closed-form solution not among the five examples—say a Pratt truss with an odd number of panels—and compare the symbolic vertical deflection at midspan with the corresponding literature formula; any coefficient mismatch would falsify the generality claim.","tokens_in":16519,"feed_emoji":"📐","tokens_out":5574,"duration_ms":49632,"temperature":0.7,"pith_summary":"The paper extends an established symbolic matrix structural analysis workflow from continuous beams to plane trusses. It claims that any two-dimensional truss with arbitrary geometry, supports, and point loads can be solved symbolically, yielding exact expressions for nodal displacements, support reactions, and axial forces in terms of symbolic parameters such as $EA$, $L$, $H$, and $P$. Because the outputs are analytic, sensitivity analysis reduces to taking partial derivatives with respect to any input. The authors validate their program against two commercial finite element packages and a published closed-form benchmark, reporting full agreement.","feed_headline":"Symbolic solver turns any 2D truss into exact formulas","feed_subtitle":"Truss responses come out as closed-form expressions, with perfect agreement against two commercial solvers and a published benchmark.","key_machinery":"The load-bearing object is the symbolic element stiffness matrix $\\frac{EA}{L}\\begin{bmatrix} c^2 & cs \\\\ cs & s^2 \\end{bmatrix}$ in global coordinates, with $c=\\cos\\theta$ and $s=\\sin\\theta$, assembled through the standard matrix structural analysis procedure. The program's model description uses node coordinates and element connectivity to derive lengths and orientations automatically, which is what lets it handle arbitrary geometries without manual calculation. Symbolic solution of the reduced linear system then produces output expressions; the same symbolic representation makes partial derivatives with respect to any parameter available by simple symbolic differentiation.","core_discovery":"On the paper's own terms, the central discovery is that the standard matrix structural analysis procedure—element stiffness matrix, rotation transformation, global assembly, and solution of the reduced linear system—can be executed entirely symbolically for plane trusses, not just numerically. The program accepts symbolic node coordinates, element connectivities, member stiffness products, supports, and loads, and returns closed-form results for all outputs. The paper demonstrates this on five examples of increasing size, culminating in an 18-element symmetric truss where the derived vertical displacement of the central node exactly reproduces Eq. (7) from the literature. This is, according to the paper, the first time such analytical solutions are generated for arbitrary 2D truss configurations by a single open-source program.","pith_inferences":["The paper's hybrid symbolic-numerical suggestion implies a practical recipe for very large trusses: keep only the few parameters a designer can vary, replace the rest with numbers, and the expression size stays readable—a testable extension would be to measure expression complexity growth with panel count.","The shear-area-modifier validation trick suggests that the symbolic program's main assumption is not just truss behavior but shear-free beam kinematics; comparing against a solver that includes shear deformation would reveal how much the closed-form results change, a check the paper does not perform.","Because the closed-form displacement formulas are algebraic in $H$ and $L$, they could be used to spot singular configurations (for instance $H=0$ or $L=0$) that cause numerical solvers to behave poorly; a useful extension would be cataloguing such degeneracies.","The exact formulas provide a natural benchmark for verifying other numerical finite element codes, much as the literature formulas are used here."],"forward_implications":["If the claim holds, engineers can obtain a parameterized formula for any truss quantity of interest once, then explore the design space without re-running a solver for each parameter set.","Sensitivity analysis becomes a matter of reading off partial derivatives, so optimizers can use exact gradients instead of finite differences.","The same symbolic assembly should extend to 3D trusses and frames, as the paper itself suggests, since the core mechanism is unchanged.","Because $E$ and $A$ always appear together as a product, the formulas reveal which combined parameters actually matter, simplifying design insight.","Educational use: students can see exactly how load, span, height, and stiffness enter each displacement, rather than receiving black-box numerical outputs."],"supporting_citations":[{"why":"The companion paper on continuous beams establishes the symbolic MSA workflow that this work extends to plane trusses.","marker":"[4]"},{"why":"Supplies the literature closed-form formula for the vertical deflection of the symmetric truss used as the analytical benchmark in Example 5.","marker":"[38]"},{"why":"Source of the truss element stiffness matrix and rotation transformation used in Section 3.","marker":"[42]"},{"why":"General finite element treatment of planar bars and trusses underlying the MSA formulation.","marker":"[45]"},{"why":"Earlier demonstration that symbolic software can develop finite element procedures, motivating the approach.","marker":"[30]"}],"fun_headline_variants":["Exact formulas for any 2D truss via symbolic MSA","Closed-form truss outputs for any configuration","Symbolic MSA solves any plane truss exactly","First open-source program for exact truss formulas","Exact truss solutions from symbolic analysis"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The results are only as trustworthy as the assumption that the commercial software, after having its shear effects artificially minimized, solves exactly the same idealized axial-only, small-displacement truss model as the symbolic program; if the assumptions differ in any way the comparison misses, the perfect match could be coincidental.","fun_headline_variants_meta":{"raw":{"variants":["Exact formulas for any 2D truss via symbolic MSA","Closed-form truss outputs for any configuration","Symbolic MSA solves any plane truss exactly","First open-source program for exact truss formulas","Exact truss solutions from symbolic analysis"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000713,"raw_usage":{"total_tokens":3165,"prompt_tokens":861,"completion_tokens":2304,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":477,"completion_tokens_details":{"reasoning_tokens":2243}},"tokens_in":477,"tokens_out":2304,"duration_ms":16024,"temperature":1.0,"reasoning_tokens":2243,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:57:01.252701+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the program on a truss with a known closed-form solution not among the five examples—say a Pratt truss with an odd number of panels—and compare the symbolic vertical deflection at midspan with the corresponding literature formula; any coefficient mismatch would falsify the generality claim.","supporting_citations":[{"cited_title":"Deriving Analytical Solutions Using Symbolic Matrix Structural Analysis: Part 1 -- Continuous Beams","cited_arxiv_id":"2411.03514","evidence_quote":"The companion paper on continuous beams establishes the symbolic MSA workflow that this work extends to plane trusses."},{"cited_title":"Magazine of Civil Engineering, 2015","cited_arxiv_id":null,"evidence_quote":"Supplies the literature closed-form formula for the vertical deflection of the symmetric truss used as the analytical benchmark in Example 5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Source of the truss element stiffness matrix and rotation transformation used in Section 3."},{"cited_title":"Muftu, Editor","cited_arxiv_id":null,"evidence_quote":"General finite element treatment of planar bars and trusses underlying the MSA formulation."}],"review_version":1}