structurally decreasing fixpoint - SERP Analysis

https://stackoverflow.com/questions/47816742/decreasing-argument-and-what-is-a-program-fixpoint

https://rocq-prover.org/doc/v8.14/refman/using/libraries/funind.html

https://coq.inria.fr/doc/v8.15/refman/using/libraries/funind.html

https://math.stackexchange.com/questions/4347654/decreasing-function-and-fixed-point

https://proofassistants.stackexchange.com/questions/3938/my-inductive-function-over-a-pair-of-lists-gives-cannot-guess-decreasing-argume

https://www.reddit.com/r/Coq/comments/11mlu81/cannot_determine_decreasing_argument_for_fix/

https://systemf.epfl.ch/cs428/labs/ContainersAndHOFs_Tips.html

https://lean-lang.org/doc/reference/4.19.0/Definitions/Recursive-Definitions/

https://math-comp.github.io/htmldoc/mathcomp.ssreflect.finfun.html

https://coq.discourse.group/t/cannot-guess-decreasing-argument-of-fix/1348

http://lambda-the-ultimate.org/node/4658

https://www.reddit.com/r/Coq/comments/53dbho/coq_rejects_a_fixpoint_definition_that_i_think/

https://github.com/coq/coq/issues/8675

https://www.sciencedirect.com/science/article/pii/0165176594900728

https://www.lri.fr/~paulin/LASER/coq-slides3.pdf

https://www.cs.cornell.edu/courses/cs3110/2012sp/lectures/lec29-fixpoints/lec29.html

https://www.cs.ru.nl/bachelors-theses/2021/Kirsten_Hagenaars___1020609___Using_Equations_to_Define_Non-Structurally_Recursive_Functions_in_Coq.pdf

https://pauldownen.com/publications/structure-recursion.pdf

https://www.researchgate.net/publication/263375855_A_Fixed_Point_Theorem_for_Decreasing_Functions

https://hal.science/hal-02006442v1/document

https://rocq-prover.org/doc/V8.20.1/refman/language/core/inductive.html

https://en.wikipedia.org/wiki/Fixed-point_arithmetic

https://members.loria.fr/DLarchey/files/papers/expo_saarbrucken18.pdf

https://fzn.fr/teaching/coq/ecole11/summer/lectures/lec9.pdf

https://hal.science/hal-00734340

https://www.chargueraud.org/research/2009/fixwf/fixwf.pdf

https://www.sciencedirect.com/science/article/pii/S0890540124000981

https://link.springer.com/content/pdf/10.1007/978-3-030-71995-1_4.pdf

https://editorialexpress.com/jrust/nfxp.pdf

https://xavierleroy.org/publi/wf-recursion.pdf

https://www.nature.com/articles/s41598-020-66854-5

https://link.springer.com/article/10.1007/s10703-025-00471-8

https://academic.oup.com/bioinformatics/article/26/22/2874/226832

https://www.scirp.org/journal/paperinformation?paperid=102776

https://are.berkeley.edu/~fally/Papers/Poisson_JIE.pdf

https://arxiv.org/html/2401.12947v1

https://www.cse.iitm.ac.in/~krishna/courses/2015/odd-cs6848/sf/Basics.html

https://physoc.onlinelibrary.wiley.com/doi/full/10.1113/JP283399

https://www.esaim-m2an.org/articles/m2an/pdf/2003/04/m2anS03.pdf

https://www.frontiersin.org/journals/neuroscience/articles/10.3389/fnins.2022.808824/full

https://fzn.fr/teaching/coq/ecole10/summer/lectures/lec2.pdf

https://kodu.ut.ee/~kalmera/sf/vfa/Merge.html

https://pmc.ncbi.nlm.nih.gov/articles/PMC7316763/

https://www.brics.dk/RS/99/27/BRICS-RS-99-27.pdf

https://6826.csail.mit.edu/2019/lf/Basics.html

https://lmcs.episciences.org/11443/pdf

https://royalsocietypublishing.org/doi/10.1098/rsta.2019.0052

https://skyciv.com/docs/tutorials/beam-tutorials/types-of-supports-in-structural-analysis/

https://cs.nyu.edu/~pcousot/publications.www/CousotCousotSOS07.pdf

https://bridgemastersinc.com/breaking-down-essential-parts-of-a-bridges-structure/

https://www.sikla.co.nz/fast/600/Fixed%20Point%20Guidelines%20_%20EN.pdf

https://bmcmusculoskeletdisord.biomedcentral.com/articles/10.1186/s12891-024-08139-w

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2140617

https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html

https://www.cs.princeton.edu/courses/archive/spring21/cos510/sf/vfa/Selection.v

https://www.lix.polytechnique.fr/~dale/papers/lpar07final.pdf

https://www.irit.fr/FICS2015/ProceedingsFICS2015.pdf

https://www.atlantis-press.com/article/25866329.pdf

https://www.nature.com/articles/s41598-025-94681-z

https://www.math.ucdavis.edu/~hunter/book/ch3.pdf

https://leanprover.github.io/theorem_proving_in_lean4/induction_and_recursion.html

http://kth.diva-portal.org/smash/record.jsf?pid=diva2:406254

https://d-nb.info/969973772/34

https://www.math.unipd.it/~baldan/Papers/Soft-copy-pdf/LMCS-2023-FixpointUpsidedown.pdf

https://www.clearcalcs.com/blog/load-transfer-in-residential-structures-from-roof-to-foundation

https://epubs.siam.org/doi/10.1137/070698920

https://link.aps.org/doi/10.1103/PhysRevD.103.046015

https://pmc.ncbi.nlm.nih.gov/articles/PMC9085386/

https://www.fictiv.com/articles/stress-concentrations-how-to-identify-and-reduce-them-in-your-designs

https://projecteuclid.org/ebooks/lecture-notes-in-logic/Bounded-Variable-Logics-and-Counting--A-Study-in-Finite/chapter/Chapter-4-Fixed-Point-Logic-with-Counting/lnl/1235416498.pdf

https://www.aimsciences.org/article/doi/10.3934/naco.2025005

https://math.libretexts.org/Bookshelves/Differential_Equations/Applied_Linear_Algebra_and_Differential_Equations_(Chasnov)/03%3A_III._Differential_Equations/11%3A_Nonlinear_Differential_Equations/11.02%3A_Bifurcation_Theory

https://www.engineersedge.com/flat_plates_equations_calculators.htm

https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=ff5f5511be3823cd7d07d9ebef6697ebc9ec8fa4

https://en.wikibooks.org/wiki/Haskell/Fix_and_recursion

http://proceedings.mlr.press/v28/li13b.pdf

https://www.fhwa.dot.gov/bridge/pubs/nhi15044.pdf

https://www.mathworks.com/help/deeplearning/ug/reduce-memory-footprint-of-deep-neural-networks.html

https://www.researchgate.net/publication/226851156_Fixed-point_fluid-structure_interaction_solvers_with_dynamic_relaxation

https://escholarship.org/uc/item/16b2x1ww

https://www.mat.univie.ac.at/~bruin/DynSysODE_StrucStable.pdf

https://umimpact.umt.edu/en/publications/dynamical-systems-theory-approach-to-the-wall-region

https://www.federalbrace.com/content/306-point-load-vs-uniform-distributed-load?srsltid=AfmBOoru0ftIxbdo9ObZ-wFjiaK5BRCvRsGygzj_fJ-qpiApjhzWPG45

https://cca.informatik.uni-freiburg.de/sat/ss23/06/

https://en.wikipedia.org/wiki/Fold_(higher-order_function)

https://pubs.acs.org/doi/10.1021/acsomega.2c02492

https://portal.research.lu.se/files/177089038/Linus_Andersson_Thesis_web_TVSM1034.pdf

https://dl.acm.org/doi/10.1145/3524051

https://softwarefoundations.cis.upenn.edu/vfa-current/Merge.html

http://aguirregabiria.net/wpapers/kccp_final.pdf

https://homepage.divms.uiowa.edu/~slonnegr/plf/Book/Chapter10.pdf

https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0208503

https://www.sciencegate.app/document/10.1090/trans2/200/10

https://dewesoft.com/blog/what-is-modal-analysis

https://scholar.harvard.edu/files/stock/files/unitrootsstructuralbreaks.pdf

https://www.youtube.com/watch?v=laC11NIQq8E

https://www.csc.kth.se/~dilian/Papers/vmcai09.pdf

http://web.eecs.umich.edu/~bchandra/courses/papers/Turbak_6.821/fixed-points.pdf

https://www.academia.edu/101130360/Enhancing_Top_Down_Solving_with_Widening_and_Narrowing